# HG changeset patch # User wenzelm # Date 1290855739 -3600 # Node ID 6bff052e4f48bd45beb1ec7bf91d1c4053c9a6b4 # Parent 9c84b562620d7970d8d253e9e4267e6108f1f64e removed some old settings; diff -r 9c84b562620d -r 6bff052e4f48 Admin/isatest/settings/at-sml --- a/Admin/isatest/settings/at-sml Sat Nov 27 11:51:05 2010 +0100 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,28 +0,0 @@ -# -*- shell-script -*- :mode=shellscript: - -# Standard ML of New Jersey 110 or later -ML_SYSTEM=smlnj-110.0.7 -ML_HOME="/home/smlnj/110.0.7/bin" -ML_OPTIONS="@SMLdebug=/dev/null" -ML_PLATFORM=$(eval $("$ML_HOME/.arch-n-opsys" 2>/dev/null); echo "$HEAP_SUFFIX") - -ISABELLE_HOME_USER=~/isabelle-at-sml - -# Where to look for isabelle tools (multiple dirs separated by ':'). -ISABELLE_TOOLS="$ISABELLE_HOME/lib/Tools" - -# Location for temporary files (should be on a local file system). -ISABELLE_TMP_PREFIX="/tmp/isabelle-$USER" - - -# Heap input locations. ML system identifier is included in lookup. -ISABELLE_PATH="$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps" - -# Heap output location. ML system identifier is appended automatically later on. -ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps" -ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info" - -ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true" - -unset KODKODI - diff -r 9c84b562620d -r 6bff052e4f48 Admin/isatest/settings/at-sml-dev-p --- a/Admin/isatest/settings/at-sml-dev-p Sat Nov 27 11:51:05 2010 +0100 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,28 +0,0 @@ -# -*- shell-script -*- :mode=shellscript: - -# Standard ML of New Jersey 110 or later -ML_SYSTEM=smlnj -ML_HOME="/home/smlnj/110.60/bin" -ML_OPTIONS="@SMLdebug=/dev/null" -ML_PLATFORM=$(eval $("$ML_HOME/.arch-n-opsys" 2>/dev/null); echo "$HEAP_SUFFIX") - -ISABELLE_HOME_USER="$HOME/isabelle-at-sml-dev" # /tmp/isatest/isabelle-at-sml-dev - -# Where to look for isabelle tools (multiple dirs separated by ':'). -ISABELLE_TOOLS="$ISABELLE_HOME/lib/Tools" - -# Location for temporary files (should be on a local file system). -ISABELLE_TMP_PREFIX="/tmp/isabelle-$USER" - - -# Heap input locations. ML system identifier is included in lookup. -ISABELLE_PATH="$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps" - -# Heap output location. ML system identifier is appended automatically later on. -ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps" -ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info" - -ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true" - -unset KODKODI - diff -r 9c84b562620d -r 6bff052e4f48 Admin/isatest/settings/at64-poly-5.1-para --- a/Admin/isatest/settings/at64-poly-5.1-para Sat Nov 27 11:51:05 2010 +0100 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,28 +0,0 @@ -# -*- shell-script -*- :mode=shellscript: - - POLYML_HOME="/home/polyml/polyml-5.3.0" - ML_SYSTEM="polyml-5.3.0" - ML_PLATFORM="x86_64-linux" - ML_HOME="$POLYML_HOME/$ML_PLATFORM" - ML_OPTIONS="-H 1000" - -ISABELLE_HOME_USER=~/isabelle-at64-poly-para-e - -# Where to look for isabelle tools (multiple dirs separated by ':'). -ISABELLE_TOOLS="$ISABELLE_HOME/lib/Tools" - -# Location for temporary files (should be on a local file system). -ISABELLE_TMP_PREFIX="/tmp/isabelle-$USER" - - -# Heap input locations. ML system identifier is included in lookup. -ISABELLE_PATH="$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps" - -# Heap output location. ML system identifier is appended automatically later on. -ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps" -ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info" - -ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true -M 2" - -unset KODKODI - diff -r 9c84b562620d -r 6bff052e4f48 Admin/isatest/settings/at64-sml-dev --- a/Admin/isatest/settings/at64-sml-dev Sat Nov 27 11:51:05 2010 +0100 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,28 +0,0 @@ -# -*- shell-script -*- :mode=shellscript: - -# Standard ML of New Jersey 110 or later -ML_SYSTEM=smlnj -ML_HOME="/home/smlnj/110.60/bin" -ML_OPTIONS="@SMLdebug=/dev/null" -ML_PLATFORM=$(eval $("$ML_HOME/.arch-n-opsys" 2>/dev/null); echo "$HEAP_SUFFIX") - -ISABELLE_HOME_USER=~/isabelle-at64-sml-dev - -# Where to look for isabelle tools (multiple dirs separated by ':'). -ISABELLE_TOOLS="$ISABELLE_HOME/lib/Tools" - -# Location for temporary files (should be on a local file system). -ISABELLE_TMP_PREFIX="/tmp/isabelle-$USER" - - -# Heap input locations. ML system identifier is included in lookup. -ISABELLE_PATH="$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps" - -# Heap output location. ML system identifier is appended automatically later on. -ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps" -ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info" - -ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true" - -unset KODKODI - diff -r 9c84b562620d -r 6bff052e4f48 Admin/isatest/settings/mac-sml-dev --- a/Admin/isatest/settings/mac-sml-dev Sat Nov 27 11:51:05 2010 +0100 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,28 +0,0 @@ -# -*- shell-script -*- :mode=shellscript: - -# Standard ML of New Jersey 110 or later -ML_SYSTEM=smlnj -ML_HOME="/home/proj/smlnj/110.60/bin" -ML_OPTIONS="@SMLdebug=/dev/null" -ML_PLATFORM=$(eval $("$ML_HOME/.arch-n-opsys" 2>/dev/null); echo "$HEAP_SUFFIX") - -ISABELLE_HOME_USER="$HOME/isabelle-mac-sml-dev" - -# Where to look for isabelle tools (multiple dirs separated by ':'). -ISABELLE_TOOLS="$ISABELLE_HOME/lib/Tools" - -# Location for temporary files (should be on a local file system). -ISABELLE_TMP_PREFIX="/tmp/isabelle-$USER" - - -# Heap input locations. ML system identifier is included in lookup. -ISABELLE_PATH="$ISABELLE_HOME_USER/heaps:$ISABELLE_HOME/heaps" - -# Heap output location. ML system identifier is appended automatically later on. -ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps" -ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info" - -ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true" - -unset KODKODI -