build
changeset 15844 6b1e5f703246
parent 15779 aed221aff642
child 15877 c9efc3e3fd44
     1.1 --- a/build	Tue Apr 26 19:49:39 2005 +0200
     1.2 +++ b/build	Tue Apr 26 19:49:58 2005 +0200
     1.3 @@ -5,10 +5,15 @@
     1.4  #
     1.5  # build - compile the Isabelle system and object-logics
     1.6  
     1.7 +if [ -L "$0" ]; then
     1.8 +  TARGET="$(LC_ALL=C ls -l "$0" | sed 's/.* -> //')"
     1.9 +  exec $(cd "$(dirname "$0")"; cd "$(dirname "$TARGET")"; pwd)/$(basename "$TARGET") "$@"
    1.10 +fi
    1.11 +
    1.12  
    1.13  ## global settings
    1.14  
    1.15 -ALL_LOGICS="CCL CTT Cube FOL FOLP HOL HOLCF LCF Pure Sequents ZF"
    1.16 +ALL_LOGICS="Pure FOL HOL ZF CCL CTT Cube FOLP HOLCF LCF Sequents"
    1.17  
    1.18  
    1.19  ## settings
    1.20 @@ -16,6 +21,7 @@
    1.21  PRG="$(basename "$0")"
    1.22  
    1.23  export THIS_IS_ISABELLE_BUILD=true
    1.24 +
    1.25  ISABELLE_HOME="$(dirname "$0")"
    1.26  . "$ISABELLE_HOME/lib/scripts/getsettings" || \
    1.27    { echo "$PRG probably not called from its original place!"; exit 2; }
    1.28 @@ -56,7 +62,7 @@
    1.29  BATCH=""
    1.30  TARGETS=""
    1.31  
    1.32 -while getopts "abim:p:t" OPT
    1.33 +while getopts "abim:t" OPT
    1.34  do
    1.35    case "$OPT" in
    1.36      a)
    1.37 @@ -112,8 +118,6 @@
    1.38    echo "  ML_HOME=$ML_HOME"
    1.39    echo "  ML_OPTIONS=$ML_OPTIONS"
    1.40    echo "  ML_PLATFORM=$ML_PLATFORM"
    1.41 -  echo "  ISABELLE_INTERFACE=$ISABELLE_INTERFACE"
    1.42 -  echo "ISABELLE_OUTPUT=$ISABELLE_OUTPUT"
    1.43    echo
    1.44    echo "  ISABELLE_USEDIR_OPTIONS=$ISABELLE_USEDIR_OPTIONS"
    1.45  fi
    1.46 @@ -156,7 +160,6 @@
    1.47    echo "ML_HOME=$ML_HOME"
    1.48    echo "ML_OPTIONS=$ML_OPTIONS"
    1.49    echo "ML_PLATFORM=$ML_PLATFORM"
    1.50 -  echo "ISABELLE_OUTPUT=$ISABELLE_OUTPUT"
    1.51    echo
    1.52    echo "ISABELLE_USEDIR_OPTIONS=$ISABELLE_USEDIR_OPTIONS"
    1.53    echo