author | paulson |
Wed, 05 Mar 1997 10:07:04 +0100 | |
changeset 2727 | 230f2643107e |
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