more standard init_components -- particularly important to pick up correct jdk/scala version;
authorwenzelm
Thu Sep 13 11:13:00 2012 +0200 (2012-09-13)
changeset 49345f182f7fa158f
parent 49344 ce1ccb78ecda
child 49346 977cf0788b30
more standard init_components -- particularly important to pick up correct jdk/scala version;
Admin/isatest/settings/afp-poly
Admin/isatest/settings/at-poly
Admin/isatest/settings/at-poly-e
Admin/isatest/settings/at-poly-test
Admin/isatest/settings/at-sml-dev-e
Admin/isatest/settings/at64-poly
Admin/isatest/settings/mac-poly-M4
Admin/isatest/settings/mac-poly-M8
Admin/isatest/settings/mac-poly64-M2
Admin/isatest/settings/mac-poly64-M4
Admin/isatest/settings/mac-poly64-M8
     1.1 --- a/Admin/isatest/settings/afp-poly	Thu Sep 13 10:28:48 2012 +0200
     1.2 +++ b/Admin/isatest/settings/afp-poly	Thu Sep 13 11:13:00 2012 +0200
     1.3 @@ -1,8 +1,8 @@
     1.4  # -*- shell-script -*- :mode=shellscript:
     1.5  
     1.6 -CONTRIB=~/afp/contrib
     1.7 +init_components /home/isabelle/contrib "$HOME/admin/components/main"
     1.8  
     1.9 -  POLYML_HOME=$CONTRIB/polyml-5.4.1
    1.10 +  POLYML_HOME="$HOME/afp/contrib/polyml-5.4.1"
    1.11    ML_SYSTEM="polyml-5.4.1"
    1.12    ML_PLATFORM="x86_64-darwin"
    1.13    ML_HOME="$POLYML_HOME/$ML_PLATFORM"
    1.14 @@ -29,4 +29,3 @@
    1.15  
    1.16  ISABELLE_BUILD_OPTIONS="browser_info=false document=false threads=4 parallel_proofs=2"
    1.17  
    1.18 -init_component "$CONTRIB/kodkodi-1.2.16"
     2.1 --- a/Admin/isatest/settings/at-poly	Thu Sep 13 10:28:48 2012 +0200
     2.2 +++ b/Admin/isatest/settings/at-poly	Thu Sep 13 11:13:00 2012 +0200
     2.3 @@ -1,5 +1,7 @@
     2.4  # -*- shell-script -*- :mode=shellscript:
     2.5  
     2.6 +init_components /home/isabelle/contrib "$HOME/admin/components/main"
     2.7 +
     2.8    POLYML_HOME="/home/polyml/polyml-5.3.0"
     2.9    ML_SYSTEM="polyml-5.3.0"
    2.10    ML_PLATFORM="x86-linux"
    2.11 @@ -24,5 +26,3 @@
    2.12  
    2.13  ISABELLE_BUILD_OPTIONS="browser_info=true document=pdf"
    2.14  
    2.15 -init_component "$HOME/contrib_devel/kodkodi-1.2.16"
    2.16 -
     3.1 --- a/Admin/isatest/settings/at-poly-e	Thu Sep 13 10:28:48 2012 +0200
     3.2 +++ b/Admin/isatest/settings/at-poly-e	Thu Sep 13 11:13:00 2012 +0200
     3.3 @@ -1,5 +1,7 @@
     3.4  # -*- shell-script -*- :mode=shellscript:
     3.5  
     3.6 +init_components /home/isabelle/contrib "$HOME/admin/components/main"
     3.7 +
     3.8    POLYML_HOME="/home/polyml/polyml-5.3.0"
     3.9    ML_SYSTEM="polyml-5.3.0"
    3.10    ML_PLATFORM="x86-linux"
    3.11 @@ -24,4 +26,3 @@
    3.12  
    3.13  ISABELLE_BUILD_OPTIONS="browser_info=true document=pdf"
    3.14  
    3.15 -init_component "$HOME/contrib_devel/kodkodi-1.2.16"
     4.1 --- a/Admin/isatest/settings/at-poly-test	Thu Sep 13 10:28:48 2012 +0200
     4.2 +++ b/Admin/isatest/settings/at-poly-test	Thu Sep 13 11:13:00 2012 +0200
     4.3 @@ -1,5 +1,7 @@
     4.4  # -*- shell-script -*- :mode=shellscript:
     4.5  
     4.6 +init_components /home/isabelle/contrib "$HOME/admin/components/main"
     4.7 +
     4.8    POLYML_HOME="/home/polyml/polyml-svn"
     4.9    ML_SYSTEM="polyml-5.5.0"
    4.10    ML_PLATFORM="x86-linux"
    4.11 @@ -28,4 +30,3 @@
    4.12  ISABELLE_OCAML="/usr/bin/ocaml"
    4.13  ISABELLE_SWIPL="/home/isabelle/contrib_devel/swipl/bin/swipl"
    4.14  
    4.15 -init_component "$HOME/contrib_devel/kodkodi-1.2.16"
     5.1 --- a/Admin/isatest/settings/at-sml-dev-e	Thu Sep 13 10:28:48 2012 +0200
     5.2 +++ b/Admin/isatest/settings/at-sml-dev-e	Thu Sep 13 11:13:00 2012 +0200
     5.3 @@ -1,5 +1,7 @@
     5.4  # -*- shell-script -*- :mode=shellscript:
     5.5  
     5.6 +init_components /home/isabelle/contrib "$HOME/admin/components/main"
     5.7 +
     5.8  ML_SYSTEM=smlnj
     5.9  ML_HOME="/home/smlnj/110.74/bin"
    5.10  ML_OPTIONS="@SMLdebug=/dev/null @SMLalloc=1024"
     6.1 --- a/Admin/isatest/settings/at64-poly	Thu Sep 13 10:28:48 2012 +0200
     6.2 +++ b/Admin/isatest/settings/at64-poly	Thu Sep 13 11:13:00 2012 +0200
     6.3 @@ -1,5 +1,7 @@
     6.4  # -*- shell-script -*- :mode=shellscript:
     6.5  
     6.6 +init_components /home/isabelle/contrib "$HOME/admin/components/main"
     6.7 +
     6.8    POLYML_HOME="/home/polyml/polyml-5.4.1"
     6.9    ML_SYSTEM="polyml-5.4.1"
    6.10    ML_PLATFORM="x86_64-linux"
    6.11 @@ -24,4 +26,3 @@
    6.12  
    6.13  ISABELLE_BUILD_OPTIONS="browser_info=true document=pdf"
    6.14  
    6.15 -init_component "$HOME/contrib_devel/kodkodi-1.2.16"
     7.1 --- a/Admin/isatest/settings/mac-poly-M4	Thu Sep 13 10:28:48 2012 +0200
     7.2 +++ b/Admin/isatest/settings/mac-poly-M4	Thu Sep 13 11:13:00 2012 +0200
     7.3 @@ -1,5 +1,7 @@
     7.4  # -*- shell-script -*- :mode=shellscript:
     7.5  
     7.6 +init_components /home/isabelle/contrib "$HOME/admin/components/main"
     7.7 +
     7.8    POLYML_HOME="/home/polyml/polyml-svn"
     7.9    ML_SYSTEM="polyml-5.5.0"
    7.10    ML_PLATFORM="x86-darwin"
    7.11 @@ -25,4 +27,3 @@
    7.12  
    7.13  ISABELLE_BUILD_OPTIONS="browser_info=false document=false threads=4 parallel_proofs=2"
    7.14  
    7.15 -init_component "$HOME/contrib_devel/kodkodi-1.2.16"
     8.1 --- a/Admin/isatest/settings/mac-poly-M8	Thu Sep 13 10:28:48 2012 +0200
     8.2 +++ b/Admin/isatest/settings/mac-poly-M8	Thu Sep 13 11:13:00 2012 +0200
     8.3 @@ -1,5 +1,7 @@
     8.4  # -*- shell-script -*- :mode=shellscript:
     8.5  
     8.6 +init_components /home/isabelle/contrib "$HOME/admin/components/main"
     8.7 +
     8.8    POLYML_HOME="/home/polyml/polyml-svn"
     8.9    ML_SYSTEM="polyml-5.5.0"
    8.10    ML_PLATFORM="x86-darwin"
    8.11 @@ -25,5 +27,3 @@
    8.12  
    8.13  ISABELLE_BUILD_OPTIONS="browser_info=false document=false threads=8 parallel_proofs=2"
    8.14  
    8.15 -init_component "$HOME/contrib_devel/kodkodi-1.2.16"
    8.16 -
     9.1 --- a/Admin/isatest/settings/mac-poly64-M2	Thu Sep 13 10:28:48 2012 +0200
     9.2 +++ b/Admin/isatest/settings/mac-poly64-M2	Thu Sep 13 11:13:00 2012 +0200
     9.3 @@ -1,5 +1,7 @@
     9.4  # -*- shell-script -*- :mode=shellscript:
     9.5  
     9.6 +init_components /home/isabelle/contrib "$HOME/admin/components/main"
     9.7 +
     9.8    POLYML_HOME="/home/polyml/polyml-5.4.0"
     9.9    ML_SYSTEM="polyml-5.4.0"
    9.10    ML_PLATFORM="x86_64-darwin"
    9.11 @@ -25,5 +27,3 @@
    9.12  
    9.13  ISABELLE_BUILD_OPTIONS="browser_info=false document=false threads=2 parallel_proofs=2"
    9.14  
    9.15 -init_component "$HOME/contrib_devel/kodkodi-1.2.16"
    9.16 -
    10.1 --- a/Admin/isatest/settings/mac-poly64-M4	Thu Sep 13 10:28:48 2012 +0200
    10.2 +++ b/Admin/isatest/settings/mac-poly64-M4	Thu Sep 13 11:13:00 2012 +0200
    10.3 @@ -1,5 +1,7 @@
    10.4  # -*- shell-script -*- :mode=shellscript:
    10.5  
    10.6 +init_components /home/isabelle/contrib "$HOME/admin/components/main"
    10.7 +
    10.8    POLYML_HOME="/home/polyml/polyml-5.4.1"
    10.9    ML_SYSTEM="polyml-5.4.1"
   10.10    ML_PLATFORM="x86_64-darwin"
   10.11 @@ -27,4 +29,3 @@
   10.12  
   10.13  ISABELLE_FULL_TEST=true
   10.14  
   10.15 -init_component "$HOME/contrib_devel/kodkodi-1.2.16"
    11.1 --- a/Admin/isatest/settings/mac-poly64-M8	Thu Sep 13 10:28:48 2012 +0200
    11.2 +++ b/Admin/isatest/settings/mac-poly64-M8	Thu Sep 13 11:13:00 2012 +0200
    11.3 @@ -1,5 +1,7 @@
    11.4  # -*- shell-script -*- :mode=shellscript:
    11.5  
    11.6 +init_components /home/isabelle/contrib "$HOME/admin/components/main"
    11.7 +
    11.8    POLYML_HOME="/home/polyml/polyml-5.4.1"
    11.9    ML_SYSTEM="polyml-5.4.1"
   11.10    ML_PLATFORM="x86_64-darwin"
   11.11 @@ -27,5 +29,3 @@
   11.12  
   11.13  ISABELLE_FULL_TEST=true
   11.14  
   11.15 -init_component "$HOME/contrib_devel/kodkodi-1.2.16"
   11.16 -