# HG changeset patch
# User wenzelm
# Date 1271841102 -7200
# Node ID d65f943b9f0704a2ec29236dbdba7ddfa2efd28b
# Parent  2a4cec6bcae2cb775f1a0e708e4e7d5a5f394601
marked cygwin-poly as "e" test, which means further stages do not depend on it (website etc.);

diff -r 2a4cec6bcae2 -r d65f943b9f07 Admin/isatest/isatest-makedist
--- a/Admin/isatest/isatest-makedist	Tue Apr 20 13:44:28 2010 -0700
+++ b/Admin/isatest/isatest-makedist	Wed Apr 21 11:11:42 2010 +0200
@@ -55,7 +55,7 @@
 
 echo "### cleaning up old isabelle-* directories" >> $DISTLOG 2>&1
 rm -rf $HOME/isabelle-*
-ssh atbroy102 "rm -rf /home/isatest/isabelle-cygwin-poly"
+ssh atbroy102 "rm -rf /home/isatest/isabelle-cygwin-poly-e"
 
 echo "### building distribution"  >> $DISTLOG 2>&1
 mkdir -p $DISTPREFIX
@@ -110,7 +110,7 @@
 sleep 15
 $SSH macbroy6 "sleep 10800; $MAKEALL $HOME/settings/at-mac-poly-5.1-para"
 sleep 15
-$SSH atbroy102 "$MAKEALL $HOME/settings/cygwin-poly"
+$SSH atbroy102 "$MAKEALL $HOME/settings/cygwin-poly-e"
 #sleep 15
 #$SSH atbroy51 "$HOME/admin/isatest/isatest-annomaly"
 #sleep 15
diff -r 2a4cec6bcae2 -r d65f943b9f07 Admin/isatest/settings/cygwin-poly
--- a/Admin/isatest/settings/cygwin-poly	Tue Apr 20 13:44:28 2010 -0700
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,27 +0,0 @@
-# -*- shell-script -*- :mode=shellscript:
-
-  POLYML_HOME="/home/isatest/homebroy/home/polyml/polyml-5.3.0"
-  ML_SYSTEM="polyml-5.3.0"
-  ML_PLATFORM="x86-cygwin"
-  ML_HOME="$POLYML_HOME/$ML_PLATFORM"
-  ML_OPTIONS="-H 200"
-
-ISABELLE_HOME_USER=~/isabelle-cygwin-poly
-
-# 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="-M 1 -i false -d false"
-
-init_component "$HOME/contrib_devel/kodkodi"
diff -r 2a4cec6bcae2 -r d65f943b9f07 Admin/isatest/settings/cygwin-poly-e
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/isatest/settings/cygwin-poly-e	Wed Apr 21 11:11:42 2010 +0200
@@ -0,0 +1,27 @@
+# -*- shell-script -*- :mode=shellscript:
+
+  POLYML_HOME="/home/isatest/homebroy/home/polyml/polyml-5.3.0"
+  ML_SYSTEM="polyml-5.3.0"
+  ML_PLATFORM="x86-cygwin"
+  ML_HOME="$POLYML_HOME/$ML_PLATFORM"
+  ML_OPTIONS="-H 200"
+
+ISABELLE_HOME_USER=~/isabelle-cygwin-poly-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="-M 1 -i false -d false"
+
+init_component "$HOME/contrib_devel/kodkodi"