author | wenzelm |
Mon, 03 Mar 1997 13:50:40 +0100 | |
changeset 2708 | c3b86dcd340a |
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