author | wenzelm |
Mon, 17 Feb 1997 18:12:03 +0100 | |
changeset 2655 | 9420efbb868e |
parent 2650 | 96234bf96bf9 |
child 2754 | 59bd96046ad6 |
permissions | -rwxr-xr-x |
wenzelm@2650 | 1 |
#!/bin/sh |
wenzelm@2650 | 2 |
# |
wenzelm@2650 | 3 |
# $Id$ |
wenzelm@2650 | 4 |
# |
wenzelm@2650 | 5 |
# configure - adapt Isabelle distribution to system environment |
wenzelm@2650 | 6 |
|
wenzelm@2655 | 7 |
## patch scripts |
wenzelm@2655 | 8 |
|
wenzelm@2650 | 9 |
if bash -norc -c "" |
wenzelm@2650 | 10 |
then |
wenzelm@2650 | 11 |
bash lib/scripts/patch-scripts.bash |
wenzelm@2650 | 12 |
else |
wenzelm@2650 | 13 |
echo "FATAL ERROR: bash not found!" |
wenzelm@2650 | 14 |
exit 2 |
wenzelm@2650 | 15 |
fi |
wenzelm@2655 | 16 |
|
wenzelm@2655 | 17 |
|
wenzelm@2655 | 18 |
## manual steps |
wenzelm@2655 | 19 |
|
wenzelm@2655 | 20 |
PWD=`pwd` |
wenzelm@2655 | 21 |
echo |
wenzelm@2655 | 22 |
echo "***********************************************************" |
wenzelm@2655 | 23 |
echo "* Please check the ML compiler settings in ./etc/settings *" |
wenzelm@2655 | 24 |
echo "* before compiling Isabelle. *" |
wenzelm@2655 | 25 |
echo "***********************************************************" |
wenzelm@2655 | 26 |
echo |