within the Isabelle environment, main executables are always within PATH;
authorwenzelm
Thu Feb 25 18:08:23 2016 +0100 (2016-02-25)
changeset 624141abd90afe387
parent 62413 c6111df4a4f8
child 62415 62c03eb38e49
within the Isabelle environment, main executables are always within PATH;
lib/scripts/getfunctions
lib/scripts/getsettings
     1.1 --- a/lib/scripts/getfunctions	Thu Feb 25 18:05:04 2016 +0100
     1.2 +++ b/lib/scripts/getfunctions	Thu Feb 25 18:08:23 2016 +0100
     1.3 @@ -28,25 +28,6 @@
     1.4    export -f tar
     1.5  fi
     1.6  
     1.7 -#main executables
     1.8 -function isabelle ()
     1.9 -{
    1.10 -  "$ISABELLE_TOOL" "$@"
    1.11 -}
    1.12 -export -f isabelle
    1.13 -
    1.14 -function isabelle_process ()
    1.15 -{
    1.16 -  "$ISABELLE_PROCESS" "$@"
    1.17 -}
    1.18 -export -f isabelle_process
    1.19 -
    1.20 -function isabelle_scala_script ()
    1.21 -{
    1.22 -  "$ISABELLE_SCALA_SCRIPT" "$@"
    1.23 -}
    1.24 -export -f isabelle_scala_script
    1.25 -
    1.26  #shared library convenience
    1.27  function librarypath ()
    1.28  {
     2.1 --- a/lib/scripts/getsettings	Thu Feb 25 18:05:04 2016 +0100
     2.2 +++ b/lib/scripts/getsettings	Thu Feb 25 18:08:23 2016 +0100
     2.3 @@ -56,6 +56,7 @@
     2.4  ISABELLE_TOOL="$ISABELLE_HOME/bin/isabelle"
     2.5  ISABELLE_PROCESS="$ISABELLE_HOME/bin/isabelle_process"
     2.6  ISABELLE_SCALA_SCRIPT="$ISABELLE_HOME/bin/isabelle_scala_script"
     2.7 +PATH="$ISABELLE_HOME/bin:$PATH"
     2.8  
     2.9  #platform
    2.10  source "$ISABELLE_HOME/lib/scripts/isabelle-platform"