manual steps comment;
authorwenzelm
Mon Feb 17 18:12:03 1997 +0100 (1997-02-17)
changeset 26559420efbb868e
parent 2654 6efa602921d1
child 2656 71097a167f0b
manual steps comment;
configure
     1.1 --- a/configure	Mon Feb 17 17:55:45 1997 +0100
     1.2 +++ b/configure	Mon Feb 17 18:12:03 1997 +0100
     1.3 @@ -4,6 +4,8 @@
     1.4  #
     1.5  # configure - adapt Isabelle distribution to system environment
     1.6  
     1.7 +## patch scripts
     1.8 +
     1.9  if bash -norc -c ""
    1.10  then
    1.11    bash lib/scripts/patch-scripts.bash
    1.12 @@ -11,3 +13,14 @@
    1.13    echo "FATAL ERROR: bash not found!"
    1.14    exit 2
    1.15  fi
    1.16 +
    1.17 +
    1.18 +## manual steps
    1.19 +
    1.20 +PWD=`pwd`
    1.21 +echo
    1.22 +echo "***********************************************************"
    1.23 +echo "* Please check the ML compiler settings in ./etc/settings *"
    1.24 +echo "* before compiling Isabelle.                              *"
    1.25 +echo "***********************************************************"
    1.26 +echo