--- a/Admin/Release/build_library Thu Apr 09 22:53:26 2015 +0200
+++ b/Admin/Release/build_library Thu Apr 09 22:56:31 2015 +0200
@@ -75,7 +75,6 @@
cd *
ISABELLE_NAME="$(basename "$PWD")"
-echo "Z3_NON_COMMERCIAL=yes" >> etc/settings
echo "ISABELLE_FULL_TEST=true" >> etc/settings
echo -n > src/Doc/ROOT
--- a/Admin/isatest/settings/mac-poly-M2-alternative Thu Apr 09 22:53:26 2015 +0200
+++ b/Admin/isatest/settings/mac-poly-M2-alternative Thu Apr 09 22:56:31 2015 +0200
@@ -30,6 +30,3 @@
ISABELLE_FULL_TEST=true
ISABELLE_GHC=ghc
-
-Z3_NON_COMMERCIAL="yes"
-
--- a/Admin/isatest/settings/mac-poly-M4 Thu Apr 09 22:53:26 2015 +0200
+++ b/Admin/isatest/settings/mac-poly-M4 Thu Apr 09 22:56:31 2015 +0200
@@ -35,6 +35,3 @@
ISABELLE_POLYML="$ML_HOME/poly"
#ISABELLE_SCALA="$SCALA_HOME/bin"
ISABELLE_SMLNJ="/mnt/nfsbroy/home/smlnj/bin/sml"
-
-Z3_NON_COMMERCIAL="yes"
-
--- a/Admin/isatest/settings/mac-poly-M8 Thu Apr 09 22:53:26 2015 +0200
+++ b/Admin/isatest/settings/mac-poly-M8 Thu Apr 09 22:56:31 2015 +0200
@@ -35,6 +35,3 @@
ISABELLE_POLYML="$ML_HOME/poly"
#ISABELLE_SCALA="$SCALA_HOME/bin"
ISABELLE_SMLNJ="/mnt/nfsbroy/home/smlnj/bin/sml"
-
-Z3_NON_COMMERCIAL="yes"
-
--- a/Admin/isatest/settings/mac-poly-M8-quick_and_dirty Thu Apr 09 22:53:26 2015 +0200
+++ b/Admin/isatest/settings/mac-poly-M8-quick_and_dirty Thu Apr 09 22:56:31 2015 +0200
@@ -27,6 +27,3 @@
ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
ISABELLE_BUILD_OPTIONS="threads=8 quick_and_dirty"
-
-Z3_NON_COMMERCIAL="yes"
-
--- a/Admin/isatest/settings/mac-poly-M8-skip_proofs Thu Apr 09 22:53:26 2015 +0200
+++ b/Admin/isatest/settings/mac-poly-M8-skip_proofs Thu Apr 09 22:56:31 2015 +0200
@@ -27,6 +27,3 @@
ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info"
ISABELLE_BUILD_OPTIONS="threads=8 skip_proofs"
-
-Z3_NON_COMMERCIAL="yes"
-
--- a/Admin/mira.py Thu Apr 09 22:53:26 2015 +0200
+++ b/Admin/mira.py Thu Apr 09 22:56:31 2015 +0200
@@ -24,7 +24,6 @@
# patch settings
extra_settings = '''
-Z3_NON_COMMERCIAL="yes"
init_components "/home/isabelle/contrib" "$ISABELLE_HOME/Admin/components/main"
init_components "/home/isabelle/contrib" "$ISABELLE_HOME/Admin/components/optional"