Quellcode-Bibliothek

^© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: README.md Sprache: REXX

Original von: Coq^©

#!/bin/sh

## This micro-configure shell script is here only to
## launch the real configuration via ocaml

ocaml=ocaml
script=./configure.ml

if [ ! -f $script ]; then
    echo "Error: file $script not found in the current directory."
    echo "Please run the configure script from the root of the coq sources."
    echo "Configuration script failed!"
    exit 1
fi

## Parse the args, only looking for -camldir
## We avoid using shift to keep "$@" intact

cmd=$ocaml
last=
for i; do
   case $last in
       -camldir) cmd="$i/$ocaml"; break;;
   esac
   last=$i
done

## We check that $cmd is ok before the real exec $cmd

`$cmd -version > /dev/null 2>&1` && exec $cmd -w "-3" $script "$@"

## If we're still here, something is wrong with $cmd

echo "Error: failed to run $cmd"
echo "Please use the option -camldir <dir> if 'ocaml' is installed"
echo "in directory <dir>, or add <dir> to your path."
echo "Configuration script failed!"
exit 1

¤ Dauer der Verarbeitung: 0.0 Sekunden (vorverarbeitet) ¤

Download des Quellennavigators
Download des sprechenden Kalenders
in der Quellcodebibliothek suchen

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung ist noch experimentell.