author | wenzelm |
Mon, 03 Mar 1997 13:53:29 +0100 | |
changeset 2709 | 241fffc25284 |
parent 2655 | 9420efbb868e |
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