author | wenzelm |
Mon, 17 Feb 1997 18:12:03 +0100 | |
changeset 2655 | 9420efbb868e |
parent 2650 | 96234bf96bf9 |
child 2754 | 59bd96046ad6 |
permissions | -rwxr-xr-x |
#!/bin/sh # # $Id$ # # configure - adapt Isabelle distribution to system environment ## patch scripts if bash -norc -c "" then bash lib/scripts/patch-scripts.bash else echo "FATAL ERROR: bash not found!" exit 2 fi ## manual steps PWD=`pwd` echo echo "***********************************************************" echo "* Please check the ML compiler settings in ./etc/settings *" echo "* before compiling Isabelle. *" echo "***********************************************************" echo