wneuper/isa: INSTALL-isa-env@fac82f29f143

     1 WN109728 created by

     2 /usr/local/isabisac/bin$ sudo ./isabelle env > INSTALL-isa-env

     3 /usr/local/isabisac/bin$ sudo mv INSTALL-isa-env ../

     4 ===========================================================================

     6 POLY_HOME=/usr/local/bin

     7 ISABELLE_TMP_PREFIX=/tmp/isabelle-root

     8 REMOTE_SMT_URL=http://smt.in.tum.de/smt

     9 JEDIT_APPLE_PROPERTIES=-Dapple.laf.useScreenMenuBar=true -Dcom.apple.mrj.application.apple.menu.about.name=Isabelle/jEdit

    10 ML_IDENTIFIER=polyml-5.3.0_x86-linux

    11 JEDIT_HOME=/usr/local/isabisac/contrib/jedit-4.3.2

    12 MIRABELLE_THEORY=Main

    13 KODKODI_PLATFORM=x86-linux

    14 TERM=xterm

    15 SHELL=/bin/bash

    16 ISABELLE_IDENTIFIER=

    17 ISABELLE_MAKEINDEX=makeindex

    18 ISABELLE_PROCESS=/usr/local/isabisac/bin/isabelle-process

    19 MIRABELLE_TIMEOUT=30

    20 REMOTE_SMT=/usr/local/isabisac/src/HOL/Tools/SMT/lib/scripts/remote_smt

    21 ISABELLE_BIBTEX=bibtex

    22 DVI_VIEWER=xdvi

    23 REPLY=

    24 ISABELLE_SETTINGS_PRESENT=true

    25 HOME_JVM=/home/neuper

    26 WWWFINDDIR=/usr/local/isabisac/src/Tools/WWW_Find

    27 ISABELLE_FILE_IDENT=

    28 ISABELLE_PATH=/home/neuper/.isabelle/heaps/:/usr/local/isabisac/heaps

    29 USER=root

    30 ML_SYSTEM=polyml-5.3.0

    31 LS_COLORS=rs=0:di=01;34:ln=01;36:hl=44;37:pi=40;33:so=01;35:do=01;35:bd=40;33;01:cd=40;33;01:or=40;31;01:su=37;41:sg=30;43:ca=30;41:tw=30;42:ow=34;42:st=37;44:ex=01;32:*.tar=01;31:*.tgz=01;31:*.arj=01;31:*.taz=01;31:*.lzh=01;31:*.lzma=01;31:*.zip=01;31:*.z=01;31:*.Z=01;31:*.dz=01;31:*.gz=01;31:*.bz2=01;31:*.bz=01;31:*.tbz2=01;31:*.tz=01;31:*.deb=01;31:*.rpm=01;31:*.jar=01;31:*.rar=01;31:*.ace=01;31:*.zoo=01;31:*.cpio=01;31:*.7z=01;31:*.rz=01;31:*.jpg=01;35:*.jpeg=01;35:*.gif=01;35:*.bmp=01;35:*.pbm=01;35:*.pgm=01;35:*.ppm=01;35:*.tga=01;35:*.xbm=01;35:*.xpm=01;35:*.tif=01;35:*.tiff=01;35:*.png=01;35:*.svg=01;35:*.svgz=01;35:*.mng=01;35:*.pcx=01;35:*.mov=01;35:*.mpg=01;35:*.mpeg=01;35:*.m2v=01;35:*.mkv=01;35:*.ogm=01;35:*.mp4=01;35:*.m4v=01;35:*.mp4v=01;35:*.vob=01;35:*.qt=01;35:*.nuv=01;35:*.wmv=01;35:*.asf=01;35:*.rm=01;35:*.rmvb=01;35:*.flc=01;35:*.avi=01;35:*.fli=01;35:*.flv=01;35:*.gl=01;35:*.dl=01;35:*.xcf=01;35:*.xwd=01;35:*.yuv=01;35:*.axv=01;35:*.anx=01;35:*.ogv=01;35:*.ogx=01;35:*.aac=00;36:*.au=00;36:*.flac=00;36:*.mid=00;36:*.midi=00;36:*.mka=00;36:*.mp3=00;36:*.mpc=00;36:*.ogg=00;36:*.ra=00;36:*.wav=00;36:*.axa=00;36:*.oga=00;36:*.spx=00;36:*.xspf=00;36:

    32 ISABELLE_DVIPS=dvips -D 600

    33 SUDO_USER=neuper

    34 ISABELLE_EPSTOPDF=epstopdf

    35 SUDO_UID=1000

    36 LIGHTTPD=/usr/sbin/lighttpd

    37 ISABELLE_SITE_SETTINGS_PRESENT=true

    38 ISABELLE_COMPONENTS=/usr/local/isabisac:/usr/local/isabisac/src/Pure:/usr/local/isabisac/src/FOL:/usr/local/isabisac/src/HOL:/usr/local/isabisac/src/ZF:/usr/local/isabisac/src/CCL:/usr/local/isabisac/src/CTT:/usr/local/isabisac/src/Cube:/usr/local/isabisac/src/FOLP:/usr/local/isabisac/src/HOLCF:/usr/local/isabisac/src/LCF:/usr/local/isabisac/src/Sequents:/usr/local/isabisac/src/Tools/Code:/usr/local/isabisac/src/Tools/WWW_Find:/usr/local/isabisac/src/HOL/Tools/ATP_Manager:/usr/local/isabisac/src/HOL/Mirabelle:/usr/local/isabisac/src/HOL/Library/Sum_Of_Squares:/usr/local/isabisac/src/HOL/Tools/SMT:/usr/local/isabisac/contrib/e-1.0-004:/usr/local/isabisac/contrib/jedit-4.3.2:/usr/local/isabisac/contrib/kodkodi-1.2.13:/usr/local/isabisac/contrib/scala-2.8.0.RC5:/usr/local/isabisac/contrib/spass-3.7:/home/neuper/.isabelle

    39 ISABELLE_DOC_FORMAT=pdf

    40 KODKODI_JAVA_LIBRARY_PATH=/usr/local/isabisac/contrib/kodkodi-1.2.13/jni/x86-linux

    41 ISABELLE_HOME_USER=/home/neuper/.isabelle

    42 USERNAME=root

    43 X=/usr/local/isabisac/contrib/jedit-4.3.2/lib/Tools

    44 ISABELLE_BROWSER_INFO=/home/neuper/.isabelle/browser_info

    45 ML_PLATFORM=x86-linux

    46 WWWCONFIG=/usr/local/isabisac/src/Tools/WWW_Find/lighttpd.conf

    47 ML_OPTIONS=-H 200

    48 MIRABELLE_LOGIC=HOL

    49 PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/X11R6/bin

    50 ISABELLE_TOOL=/usr/local/isabisac/bin/isabelle

    51 ISABELLE_SUM_OF_SQUARES=/usr/local/isabisac/src/HOL/Library/Sum_Of_Squares

    52 PWD=/usr/local/isabisac/bin

    53 JEDIT_OPTIONS=-reuseview -noserver -nobackground

    54 KODKODI_CLASSPATH=/usr/local/isabisac/contrib/kodkodi-1.2.13/jar/antlr-runtime-3.1.1.jar:/usr/local/isabisac/contrib/kodkodi-1.2.13/jar/kodkod-20091117.jar:/usr/local/isabisac/contrib/kodkodi-1.2.13/jar/kodkodi-1.2.13.jar:/usr/local/isabisac/contrib/kodkodi-1.2.13/jar/sat4j-alloy-4.1.9.jar

    55 ISABELLE_SMT=/usr/local/isabisac/src/HOL/Tools/SMT

    56 ISABELLE_HOME=/usr/local/isabisac

    57 LANG=en_US.UTF-8

    58 ISABELLE_LINE_EDITOR=

    59 E_VERSION=1.0-004

    60 ISABELLE_OUTPUT=/home/neuper/.isabelle/heaps//polyml-5.3.0_x86-linux

    61 ML_HOME=/usr/local/isabisac/contrib/polyml/x86-linux

    62 KODKODI=/usr/local/isabisac/contrib/kodkodi-1.2.13

    63 PDF_VIEWER=xpdf

    64 KODKODI_JAR=/usr/local/isabisac/contrib/kodkodi-1.2.13/jar

    65 ISABELLE_LOGIC=HOL

    66 HOME=/home/neuper

    67 SUDO_COMMAND=./isabelle env

    68 SHLVL=0

    69 ISABELLE_PLATFORM64=x86_64-linux

    70 MIRABELLE_OUTPUT_PATH=/tmp/mirabelle

    71 E_HOME=/usr/local/isabisac/contrib/e-1.0-004/x86-linux

    72 KODKODI_JNI=/usr/local/isabisac/contrib/kodkodi-1.2.13/jni

    73 SPASS_HOME=/usr/local/isabisac/contrib/spass-3.7/x86-linux/bin

    74 KODKODI_VERSION=1.2.13

    75 SPASS_VERSION=3.7

    76 ISABELLE_LATEX=latex

    77 JEDIT_JAVA_OPTIONS=-Xms128m -Xmx512m -Xss2m -Dapple.laf.useScreenMenuBar=true -Dcom.apple.mrj.application.apple.menu.about.name=Isabelle/jEdit

    78 LOGNAME=root

    79 ISABELLE_TOOLS=/usr/local/isabisac/lib/Tools:/usr/local/isabisac/src/Tools/Code/lib/Tools:/usr/local/isabisac/src/Tools/WWW_Find/lib/Tools:/usr/local/isabisac/src/HOL/Mirabelle/lib/Tools:/usr/local/isabisac/contrib/jedit-4.3.2/lib/Tools

    80 ISABELLE_ATP_MANAGER=/usr/local/isabisac/src/HOL/Tools/ATP_Manager

    81 MIRABELLE_HOME=/usr/local/isabisac/src/HOL/Mirabelle

    82 ML_SOURCES=/usr/local/isabisac/contrib/polyml/x86-linux/../src

    83 CLASSPATH=/usr/local/isabisac/lib/classes/Pure.jar

    84 PROOFGENERAL_OPTIONS=

    85 ISABELLE_PLATFORM=x86-linux

    86 ISABELLE_PDFLATEX=pdflatex

    87 PROOFGENERAL_HOME=/usr/local/isabisac/contrib/ProofGeneral

    88 ISABELLE_FONT_FAMILY=IsabelleText

    89 SCALA_HOME=/usr/local/isabisac/contrib/scala-2.8.0.RC5

    90 DISPLAY=:0.0

    91 SUDO_GID=1000

    92 ISABELLE_JAVA=java

    93 XSYMBOL_INSTALLFONTS=

    94 ISABELLE_DOCS=/usr/local/isabisac/doc

    95 PRINT_COMMAND=lp

    96 JEDIT_STYLE_SHEETS=/usr/local/isabisac/lib/html/isabelle.css:/usr/local/isabisac/contrib/jedit-4.3.2/etc/isabelle-jedit.css:/home/neuper/.isabelle/etc/isabelle.css:/home/neuper/.isabelle/etc/isabelle-jedit.css

    97 ISABELLE_SYMBOLS=/usr/local/isabisac/etc/symbols:/home/neuper/.isabelle/etc/symbols

    98 JEDIT_SETTINGS=/home/neuper/.isabelle/jedit

    99 XAUTHORITY=/var/run/gdm/auth-for-neuper-5cfutV/database

   100 COLORTERM=gnome-terminal

   101 ISABELLE_USEDIR_OPTIONS=-M max -p 1 -q 2 -v true -V outline=/proof,/ML

   102 ISABELLE_JEDIT_OPTIONS=-m xsymbols -m no_brackets -m no_type_brackets

   103 splitarray=() {  SPLITARRAY=();

   104  local IFS="$1";

   105  shift;

   106  for X in $*;

   107  do

   108  SPLITARRAY["${#SPLITARRAY[@]}"]="$X";

   109  done

   110 }

   111 classpath=() {  for X in "$@";

   112  do

   113  if [ -z "$CLASSPATH" ]; then

   114  CLASSPATH="$X";

   115  else

   116  CLASSPATH="$CLASSPATH:$X";

   117  fi;

   118  done

   119 }

   120 jvmpath=() {  echo "$@"

   121 }

   122 choosefrom=() {  local RESULT="";

   123  local FILE="";

   124  for FILE in "$@";

   125  do

   126  [ -z "$RESULT" -a -e "$FILE" ] && RESULT="$FILE";

   127  done;

   128  [ -z "$RESULT" ] && RESULT="$FILE";

   129  echo "$RESULT"

   130 }

   131 init_component=() {  local COMPONENT="$1";

   132  if [ ! -d "$COMPONENT" ]; then

   133  echo "Bad Isabelle component: \"$COMPONENT\"" 1>&2;

   134  exit 2;

   135  else

   136  if [ -z "$ISABELLE_COMPONENTS" ]; then

   137  ISABELLE_COMPONENTS="$COMPONENT";

   138  else

   139  ISABELLE_COMPONENTS="$ISABELLE_COMPONENTS:$COMPONENT";

   140  fi;

   141  fi;

   142  if [ -f "$COMPONENT/etc/settings" ]; then

   143  source "$COMPONENT/etc/settings" || exit 2;

   144  fi;

   145  if [ -f "$COMPONENT/etc/components" ]; then

   146  {

   147  while {

   148  unset REPLY;

   149  read -r;

   150  test "$?" = 0 -o -n "$REPLY"

   151  }; do

   152  case "$REPLY" in

   153  \#* | "")

   155  ;;

   156  /*)

   157  init_component "$REPLY"

   158  ;;

   159  *)

   160  init_component "$COMPONENT/$REPLY"

   161  ;;

   162  esac;

   163  done

   164  } < "$COMPONENT/etc/components";

   165  fi

   166 }

   167 isabelle=() {  "$ISABELLE_TOOL" "$@"

   168 }

author	Walther Neuper <neuper@ist.tugraz.at>
	Wed, 08 Sep 2010 17:49:36 +0200
branch	isac-update-Isa09-2
changeset 37995	fac82f29f143
parent 37890	7bd74df18bca
permissions	-rw-r--r--