wenzelm@2650: #!/bin/sh wenzelm@2650: # wenzelm@2650: # $Id$ wenzelm@2650: # wenzelm@2650: # configure - adapt Isabelle distribution to system environment wenzelm@2650: wenzelm@2655: ## patch scripts wenzelm@2655: wenzelm@2650: if bash -norc -c "" wenzelm@2650: then wenzelm@2650: bash lib/scripts/patch-scripts.bash wenzelm@2650: else wenzelm@2650: echo "FATAL ERROR: bash not found!" wenzelm@2650: exit 2 wenzelm@2650: fi wenzelm@2655: wenzelm@2655: wenzelm@2655: ## manual steps wenzelm@2655: wenzelm@2655: PWD=`pwd` wenzelm@2655: echo wenzelm@2655: echo "***********************************************************" wenzelm@2655: echo "* Please check the ML compiler settings in ./etc/settings *" wenzelm@2655: echo "* before compiling Isabelle. *" wenzelm@2655: echo "***********************************************************" wenzelm@2655: echo