author | Walther Neuper <neuper@ist.tugraz.at> |
Mon, 13 Sep 2010 17:21:22 +0200 | |
branch | isac-update-Isa09-2 |
changeset 38006 | 16d56796f5a0 |
parent 37890 | 7bd74df18bca |
permissions | -rw-r--r-- |
neuper@37890 | 1 |
WN109728 created by |
neuper@37890 | 2 |
/usr/local/isabisac/bin$ sudo ./isabelle env > INSTALL-isa-env |
neuper@37890 | 3 |
/usr/local/isabisac/bin$ sudo mv INSTALL-isa-env ../ |
neuper@37890 | 4 |
=========================================================================== |
neuper@37890 | 5 |
|
neuper@37890 | 6 |
POLY_HOME=/usr/local/bin |
neuper@37890 | 7 |
ISABELLE_TMP_PREFIX=/tmp/isabelle-root |
neuper@37890 | 8 |
REMOTE_SMT_URL=http://smt.in.tum.de/smt |
neuper@37890 | 9 |
JEDIT_APPLE_PROPERTIES=-Dapple.laf.useScreenMenuBar=true -Dcom.apple.mrj.application.apple.menu.about.name=Isabelle/jEdit |
neuper@37890 | 10 |
ML_IDENTIFIER=polyml-5.3.0_x86-linux |
neuper@37890 | 11 |
JEDIT_HOME=/usr/local/isabisac/contrib/jedit-4.3.2 |
neuper@37890 | 12 |
MIRABELLE_THEORY=Main |
neuper@37890 | 13 |
KODKODI_PLATFORM=x86-linux |
neuper@37890 | 14 |
TERM=xterm |
neuper@37890 | 15 |
SHELL=/bin/bash |
neuper@37890 | 16 |
ISABELLE_IDENTIFIER= |
neuper@37890 | 17 |
ISABELLE_MAKEINDEX=makeindex |
neuper@37890 | 18 |
ISABELLE_PROCESS=/usr/local/isabisac/bin/isabelle-process |
neuper@37890 | 19 |
MIRABELLE_TIMEOUT=30 |
neuper@37890 | 20 |
REMOTE_SMT=/usr/local/isabisac/src/HOL/Tools/SMT/lib/scripts/remote_smt |
neuper@37890 | 21 |
ISABELLE_BIBTEX=bibtex |
neuper@37890 | 22 |
DVI_VIEWER=xdvi |
neuper@37890 | 23 |
REPLY= |
neuper@37890 | 24 |
ISABELLE_SETTINGS_PRESENT=true |
neuper@37890 | 25 |
HOME_JVM=/home/neuper |
neuper@37890 | 26 |
WWWFINDDIR=/usr/local/isabisac/src/Tools/WWW_Find |
neuper@37890 | 27 |
ISABELLE_FILE_IDENT= |
neuper@37890 | 28 |
ISABELLE_PATH=/home/neuper/.isabelle/heaps/:/usr/local/isabisac/heaps |
neuper@37890 | 29 |
USER=root |
neuper@37890 | 30 |
ML_SYSTEM=polyml-5.3.0 |
neuper@37890 | 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: |
neuper@37890 | 32 |
ISABELLE_DVIPS=dvips -D 600 |
neuper@37890 | 33 |
SUDO_USER=neuper |
neuper@37890 | 34 |
ISABELLE_EPSTOPDF=epstopdf |
neuper@37890 | 35 |
SUDO_UID=1000 |
neuper@37890 | 36 |
LIGHTTPD=/usr/sbin/lighttpd |
neuper@37890 | 37 |
ISABELLE_SITE_SETTINGS_PRESENT=true |
neuper@37890 | 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 |
neuper@37890 | 39 |
ISABELLE_DOC_FORMAT=pdf |
neuper@37890 | 40 |
KODKODI_JAVA_LIBRARY_PATH=/usr/local/isabisac/contrib/kodkodi-1.2.13/jni/x86-linux |
neuper@37890 | 41 |
ISABELLE_HOME_USER=/home/neuper/.isabelle |
neuper@37890 | 42 |
USERNAME=root |
neuper@37890 | 43 |
X=/usr/local/isabisac/contrib/jedit-4.3.2/lib/Tools |
neuper@37890 | 44 |
ISABELLE_BROWSER_INFO=/home/neuper/.isabelle/browser_info |
neuper@37890 | 45 |
ML_PLATFORM=x86-linux |
neuper@37890 | 46 |
WWWCONFIG=/usr/local/isabisac/src/Tools/WWW_Find/lighttpd.conf |
neuper@37890 | 47 |
ML_OPTIONS=-H 200 |
neuper@37890 | 48 |
MIRABELLE_LOGIC=HOL |
neuper@37890 | 49 |
PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/X11R6/bin |
neuper@37890 | 50 |
ISABELLE_TOOL=/usr/local/isabisac/bin/isabelle |
neuper@37890 | 51 |
ISABELLE_SUM_OF_SQUARES=/usr/local/isabisac/src/HOL/Library/Sum_Of_Squares |
neuper@37890 | 52 |
PWD=/usr/local/isabisac/bin |
neuper@37890 | 53 |
JEDIT_OPTIONS=-reuseview -noserver -nobackground |
neuper@37890 | 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 |
neuper@37890 | 55 |
ISABELLE_SMT=/usr/local/isabisac/src/HOL/Tools/SMT |
neuper@37890 | 56 |
ISABELLE_HOME=/usr/local/isabisac |
neuper@37890 | 57 |
LANG=en_US.UTF-8 |
neuper@37890 | 58 |
ISABELLE_LINE_EDITOR= |
neuper@37890 | 59 |
E_VERSION=1.0-004 |
neuper@37890 | 60 |
ISABELLE_OUTPUT=/home/neuper/.isabelle/heaps//polyml-5.3.0_x86-linux |
neuper@37890 | 61 |
ML_HOME=/usr/local/isabisac/contrib/polyml/x86-linux |
neuper@37890 | 62 |
KODKODI=/usr/local/isabisac/contrib/kodkodi-1.2.13 |
neuper@37890 | 63 |
PDF_VIEWER=xpdf |
neuper@37890 | 64 |
KODKODI_JAR=/usr/local/isabisac/contrib/kodkodi-1.2.13/jar |
neuper@37890 | 65 |
ISABELLE_LOGIC=HOL |
neuper@37890 | 66 |
HOME=/home/neuper |
neuper@37890 | 67 |
SUDO_COMMAND=./isabelle env |
neuper@37890 | 68 |
SHLVL=0 |
neuper@37890 | 69 |
ISABELLE_PLATFORM64=x86_64-linux |
neuper@37890 | 70 |
MIRABELLE_OUTPUT_PATH=/tmp/mirabelle |
neuper@37890 | 71 |
E_HOME=/usr/local/isabisac/contrib/e-1.0-004/x86-linux |
neuper@37890 | 72 |
KODKODI_JNI=/usr/local/isabisac/contrib/kodkodi-1.2.13/jni |
neuper@37890 | 73 |
SPASS_HOME=/usr/local/isabisac/contrib/spass-3.7/x86-linux/bin |
neuper@37890 | 74 |
KODKODI_VERSION=1.2.13 |
neuper@37890 | 75 |
SPASS_VERSION=3.7 |
neuper@37890 | 76 |
ISABELLE_LATEX=latex |
neuper@37890 | 77 |
JEDIT_JAVA_OPTIONS=-Xms128m -Xmx512m -Xss2m -Dapple.laf.useScreenMenuBar=true -Dcom.apple.mrj.application.apple.menu.about.name=Isabelle/jEdit |
neuper@37890 | 78 |
LOGNAME=root |
neuper@37890 | 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 |
neuper@37890 | 80 |
ISABELLE_ATP_MANAGER=/usr/local/isabisac/src/HOL/Tools/ATP_Manager |
neuper@37890 | 81 |
MIRABELLE_HOME=/usr/local/isabisac/src/HOL/Mirabelle |
neuper@37890 | 82 |
ML_SOURCES=/usr/local/isabisac/contrib/polyml/x86-linux/../src |
neuper@37890 | 83 |
CLASSPATH=/usr/local/isabisac/lib/classes/Pure.jar |
neuper@37890 | 84 |
PROOFGENERAL_OPTIONS= |
neuper@37890 | 85 |
ISABELLE_PLATFORM=x86-linux |
neuper@37890 | 86 |
ISABELLE_PDFLATEX=pdflatex |
neuper@37890 | 87 |
PROOFGENERAL_HOME=/usr/local/isabisac/contrib/ProofGeneral |
neuper@37890 | 88 |
ISABELLE_FONT_FAMILY=IsabelleText |
neuper@37890 | 89 |
SCALA_HOME=/usr/local/isabisac/contrib/scala-2.8.0.RC5 |
neuper@37890 | 90 |
DISPLAY=:0.0 |
neuper@37890 | 91 |
SUDO_GID=1000 |
neuper@37890 | 92 |
ISABELLE_JAVA=java |
neuper@37890 | 93 |
XSYMBOL_INSTALLFONTS= |
neuper@37890 | 94 |
ISABELLE_DOCS=/usr/local/isabisac/doc |
neuper@37890 | 95 |
PRINT_COMMAND=lp |
neuper@37890 | 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 |
neuper@37890 | 97 |
ISABELLE_SYMBOLS=/usr/local/isabisac/etc/symbols:/home/neuper/.isabelle/etc/symbols |
neuper@37890 | 98 |
JEDIT_SETTINGS=/home/neuper/.isabelle/jedit |
neuper@37890 | 99 |
XAUTHORITY=/var/run/gdm/auth-for-neuper-5cfutV/database |
neuper@37890 | 100 |
COLORTERM=gnome-terminal |
neuper@37890 | 101 |
ISABELLE_USEDIR_OPTIONS=-M max -p 1 -q 2 -v true -V outline=/proof,/ML |
neuper@37890 | 102 |
ISABELLE_JEDIT_OPTIONS=-m xsymbols -m no_brackets -m no_type_brackets |
neuper@37890 | 103 |
splitarray=() { SPLITARRAY=(); |
neuper@37890 | 104 |
local IFS="$1"; |
neuper@37890 | 105 |
shift; |
neuper@37890 | 106 |
for X in $*; |
neuper@37890 | 107 |
do |
neuper@37890 | 108 |
SPLITARRAY["${#SPLITARRAY[@]}"]="$X"; |
neuper@37890 | 109 |
done |
neuper@37890 | 110 |
} |
neuper@37890 | 111 |
classpath=() { for X in "$@"; |
neuper@37890 | 112 |
do |
neuper@37890 | 113 |
if [ -z "$CLASSPATH" ]; then |
neuper@37890 | 114 |
CLASSPATH="$X"; |
neuper@37890 | 115 |
else |
neuper@37890 | 116 |
CLASSPATH="$CLASSPATH:$X"; |
neuper@37890 | 117 |
fi; |
neuper@37890 | 118 |
done |
neuper@37890 | 119 |
} |
neuper@37890 | 120 |
jvmpath=() { echo "$@" |
neuper@37890 | 121 |
} |
neuper@37890 | 122 |
choosefrom=() { local RESULT=""; |
neuper@37890 | 123 |
local FILE=""; |
neuper@37890 | 124 |
for FILE in "$@"; |
neuper@37890 | 125 |
do |
neuper@37890 | 126 |
[ -z "$RESULT" -a -e "$FILE" ] && RESULT="$FILE"; |
neuper@37890 | 127 |
done; |
neuper@37890 | 128 |
[ -z "$RESULT" ] && RESULT="$FILE"; |
neuper@37890 | 129 |
echo "$RESULT" |
neuper@37890 | 130 |
} |
neuper@37890 | 131 |
init_component=() { local COMPONENT="$1"; |
neuper@37890 | 132 |
if [ ! -d "$COMPONENT" ]; then |
neuper@37890 | 133 |
echo "Bad Isabelle component: \"$COMPONENT\"" 1>&2; |
neuper@37890 | 134 |
exit 2; |
neuper@37890 | 135 |
else |
neuper@37890 | 136 |
if [ -z "$ISABELLE_COMPONENTS" ]; then |
neuper@37890 | 137 |
ISABELLE_COMPONENTS="$COMPONENT"; |
neuper@37890 | 138 |
else |
neuper@37890 | 139 |
ISABELLE_COMPONENTS="$ISABELLE_COMPONENTS:$COMPONENT"; |
neuper@37890 | 140 |
fi; |
neuper@37890 | 141 |
fi; |
neuper@37890 | 142 |
if [ -f "$COMPONENT/etc/settings" ]; then |
neuper@37890 | 143 |
source "$COMPONENT/etc/settings" || exit 2; |
neuper@37890 | 144 |
fi; |
neuper@37890 | 145 |
if [ -f "$COMPONENT/etc/components" ]; then |
neuper@37890 | 146 |
{ |
neuper@37890 | 147 |
while { |
neuper@37890 | 148 |
unset REPLY; |
neuper@37890 | 149 |
read -r; |
neuper@37890 | 150 |
test "$?" = 0 -o -n "$REPLY" |
neuper@37890 | 151 |
}; do |
neuper@37890 | 152 |
case "$REPLY" in |
neuper@37890 | 153 |
\#* | "") |
neuper@37890 | 154 |
|
neuper@37890 | 155 |
;; |
neuper@37890 | 156 |
/*) |
neuper@37890 | 157 |
init_component "$REPLY" |
neuper@37890 | 158 |
;; |
neuper@37890 | 159 |
*) |
neuper@37890 | 160 |
init_component "$COMPONENT/$REPLY" |
neuper@37890 | 161 |
;; |
neuper@37890 | 162 |
esac; |
neuper@37890 | 163 |
done |
neuper@37890 | 164 |
} < "$COMPONENT/etc/components"; |
neuper@37890 | 165 |
fi |
neuper@37890 | 166 |
} |
neuper@37890 | 167 |
isabelle=() { "$ISABELLE_TOOL" "$@" |
neuper@37890 | 168 |
} |