Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
more standard init_components -- particularly important to pick up correct jdk/scala version;
authorwenzelm
Thu, 13 Sep 2012 11:13:00 +0200
changeset 49345 f182f7fa158f
parent 49344 ce1ccb78ecda
child 49346 977cf0788b30
more standard init_components -- particularly important to pick up correct jdk/scala version;
Admin/isatest/settings/afp-poly file | annotate | diff | comparison | revisions
Admin/isatest/settings/at-poly file | annotate | diff | comparison | revisions
Admin/isatest/settings/at-poly-e file | annotate | diff | comparison | revisions
Admin/isatest/settings/at-poly-test file | annotate | diff | comparison | revisions
Admin/isatest/settings/at-sml-dev-e file | annotate | diff | comparison | revisions
Admin/isatest/settings/at64-poly file | annotate | diff | comparison | revisions
Admin/isatest/settings/mac-poly-M4 file | annotate | diff | comparison | revisions
Admin/isatest/settings/mac-poly-M8 file | annotate | diff | comparison | revisions
Admin/isatest/settings/mac-poly64-M2 file | annotate | diff | comparison | revisions
Admin/isatest/settings/mac-poly64-M4 file | annotate | diff | comparison | revisions
Admin/isatest/settings/mac-poly64-M8 file | annotate | diff | comparison | revisions 
--- a/Admin/isatest/settings/afp-poly	Thu Sep 13 10:28:48 2012 +0200
+++ b/Admin/isatest/settings/afp-poly	Thu Sep 13 11:13:00 2012 +0200
@@ -1,8 +1,8 @@
 # -*- shell-script -*- :mode=shellscript:
 
-CONTRIB=~/afp/contrib
+init_components /home/isabelle/contrib "$HOME/admin/components/main"
 
-  POLYML_HOME=$CONTRIB/polyml-5.4.1
+  POLYML_HOME="$HOME/afp/contrib/polyml-5.4.1"
   ML_SYSTEM="polyml-5.4.1"
   ML_PLATFORM="x86_64-darwin"
   ML_HOME="$POLYML_HOME/$ML_PLATFORM"
@@ -29,4 +29,3 @@
 
 ISABELLE_BUILD_OPTIONS="browser_info=false document=false threads=4 parallel_proofs=2"
 
-init_component "$CONTRIB/kodkodi-1.2.16"
--- a/Admin/isatest/settings/at-poly	Thu Sep 13 10:28:48 2012 +0200
+++ b/Admin/isatest/settings/at-poly	Thu Sep 13 11:13:00 2012 +0200
@@ -1,5 +1,7 @@
 # -*- shell-script -*- :mode=shellscript:
 
+init_components /home/isabelle/contrib "$HOME/admin/components/main"
+
   POLYML_HOME="/home/polyml/polyml-5.3.0"
   ML_SYSTEM="polyml-5.3.0"
   ML_PLATFORM="x86-linux"
@@ -24,5 +26,3 @@
 
 ISABELLE_BUILD_OPTIONS="browser_info=true document=pdf"
 
-init_component "$HOME/contrib_devel/kodkodi-1.2.16"
-
--- a/Admin/isatest/settings/at-poly-e	Thu Sep 13 10:28:48 2012 +0200
+++ b/Admin/isatest/settings/at-poly-e	Thu Sep 13 11:13:00 2012 +0200
@@ -1,5 +1,7 @@
 # -*- shell-script -*- :mode=shellscript:
 
+init_components /home/isabelle/contrib "$HOME/admin/components/main"
+
   POLYML_HOME="/home/polyml/polyml-5.3.0"
   ML_SYSTEM="polyml-5.3.0"
   ML_PLATFORM="x86-linux"
@@ -24,4 +26,3 @@
 
 ISABELLE_BUILD_OPTIONS="browser_info=true document=pdf"
 
-init_component "$HOME/contrib_devel/kodkodi-1.2.16"
--- a/Admin/isatest/settings/at-poly-test	Thu Sep 13 10:28:48 2012 +0200
+++ b/Admin/isatest/settings/at-poly-test	Thu Sep 13 11:13:00 2012 +0200
@@ -1,5 +1,7 @@
 # -*- shell-script -*- :mode=shellscript:
 
+init_components /home/isabelle/contrib "$HOME/admin/components/main"
+
   POLYML_HOME="/home/polyml/polyml-svn"
   ML_SYSTEM="polyml-5.5.0"
   ML_PLATFORM="x86-linux"
@@ -28,4 +30,3 @@
 ISABELLE_OCAML="/usr/bin/ocaml"
 ISABELLE_SWIPL="/home/isabelle/contrib_devel/swipl/bin/swipl"
 
-init_component "$HOME/contrib_devel/kodkodi-1.2.16"
--- a/Admin/isatest/settings/at-sml-dev-e	Thu Sep 13 10:28:48 2012 +0200
+++ b/Admin/isatest/settings/at-sml-dev-e	Thu Sep 13 11:13:00 2012 +0200
@@ -1,5 +1,7 @@
 # -*- shell-script -*- :mode=shellscript:
 
+init_components /home/isabelle/contrib "$HOME/admin/components/main"
+
 ML_SYSTEM=smlnj
 ML_HOME="/home/smlnj/110.74/bin"
 ML_OPTIONS="@SMLdebug=/dev/null @SMLalloc=1024"
--- a/Admin/isatest/settings/at64-poly	Thu Sep 13 10:28:48 2012 +0200
+++ b/Admin/isatest/settings/at64-poly	Thu Sep 13 11:13:00 2012 +0200
@@ -1,5 +1,7 @@
 # -*- shell-script -*- :mode=shellscript:
 
+init_components /home/isabelle/contrib "$HOME/admin/components/main"
+
   POLYML_HOME="/home/polyml/polyml-5.4.1"
   ML_SYSTEM="polyml-5.4.1"
   ML_PLATFORM="x86_64-linux"
@@ -24,4 +26,3 @@
 
 ISABELLE_BUILD_OPTIONS="browser_info=true document=pdf"
 
-init_component "$HOME/contrib_devel/kodkodi-1.2.16"
--- a/Admin/isatest/settings/mac-poly-M4	Thu Sep 13 10:28:48 2012 +0200
+++ b/Admin/isatest/settings/mac-poly-M4	Thu Sep 13 11:13:00 2012 +0200
@@ -1,5 +1,7 @@
 # -*- shell-script -*- :mode=shellscript:
 
+init_components /home/isabelle/contrib "$HOME/admin/components/main"
+
   POLYML_HOME="/home/polyml/polyml-svn"
   ML_SYSTEM="polyml-5.5.0"
   ML_PLATFORM="x86-darwin"
@@ -25,4 +27,3 @@
 
 ISABELLE_BUILD_OPTIONS="browser_info=false document=false threads=4 parallel_proofs=2"
 
-init_component "$HOME/contrib_devel/kodkodi-1.2.16"
--- a/Admin/isatest/settings/mac-poly-M8	Thu Sep 13 10:28:48 2012 +0200
+++ b/Admin/isatest/settings/mac-poly-M8	Thu Sep 13 11:13:00 2012 +0200
@@ -1,5 +1,7 @@
 # -*- shell-script -*- :mode=shellscript:
 
+init_components /home/isabelle/contrib "$HOME/admin/components/main"
+
   POLYML_HOME="/home/polyml/polyml-svn"
   ML_SYSTEM="polyml-5.5.0"
   ML_PLATFORM="x86-darwin"
@@ -25,5 +27,3 @@
 
 ISABELLE_BUILD_OPTIONS="browser_info=false document=false threads=8 parallel_proofs=2"
 
-init_component "$HOME/contrib_devel/kodkodi-1.2.16"
-
--- a/Admin/isatest/settings/mac-poly64-M2	Thu Sep 13 10:28:48 2012 +0200
+++ b/Admin/isatest/settings/mac-poly64-M2	Thu Sep 13 11:13:00 2012 +0200
@@ -1,5 +1,7 @@
 # -*- shell-script -*- :mode=shellscript:
 
+init_components /home/isabelle/contrib "$HOME/admin/components/main"
+
   POLYML_HOME="/home/polyml/polyml-5.4.0"
   ML_SYSTEM="polyml-5.4.0"
   ML_PLATFORM="x86_64-darwin"
@@ -25,5 +27,3 @@
 
 ISABELLE_BUILD_OPTIONS="browser_info=false document=false threads=2 parallel_proofs=2"
 
-init_component "$HOME/contrib_devel/kodkodi-1.2.16"
-
--- a/Admin/isatest/settings/mac-poly64-M4	Thu Sep 13 10:28:48 2012 +0200
+++ b/Admin/isatest/settings/mac-poly64-M4	Thu Sep 13 11:13:00 2012 +0200
@@ -1,5 +1,7 @@
 # -*- shell-script -*- :mode=shellscript:
 
+init_components /home/isabelle/contrib "$HOME/admin/components/main"
+
   POLYML_HOME="/home/polyml/polyml-5.4.1"
   ML_SYSTEM="polyml-5.4.1"
   ML_PLATFORM="x86_64-darwin"
@@ -27,4 +29,3 @@
 
 ISABELLE_FULL_TEST=true
 
-init_component "$HOME/contrib_devel/kodkodi-1.2.16"
--- a/Admin/isatest/settings/mac-poly64-M8	Thu Sep 13 10:28:48 2012 +0200
+++ b/Admin/isatest/settings/mac-poly64-M8	Thu Sep 13 11:13:00 2012 +0200
@@ -1,5 +1,7 @@
 # -*- shell-script -*- :mode=shellscript:
 
+init_components /home/isabelle/contrib "$HOME/admin/components/main"
+
   POLYML_HOME="/home/polyml/polyml-5.4.1"
   ML_SYSTEM="polyml-5.4.1"
   ML_PLATFORM="x86_64-darwin"
@@ -27,5 +29,3 @@
 
 ISABELLE_FULL_TEST=true
 
-init_component "$HOME/contrib_devel/kodkodi-1.2.16"
-
isabelle