# HG changeset patch
# User wenzelm
# Date 1534531485 -7200
# Node ID 67d6f1708ea47be14501e81c2d42e1cc37ddf555
# Parent  8999f9143e5fad9f35a550025abd70d6a94f2d24
enforce ML_system_64: more robust as cold build, without command_timings;

diff -r 8999f9143e5f -r 67d6f1708ea4 src/Pure/Admin/build_release.scala
--- a/src/Pure/Admin/build_release.scala	Fri Aug 17 20:44:00 2018 +0200
+++ b/src/Pure/Admin/build_release.scala	Fri Aug 17 20:44:45 2018 +0200
@@ -166,6 +166,9 @@
               Other_Isabelle(tmp_dir + Path.explode(name),
                 isabelle_identifier = name + "-build", progress = progress)
 
+            Isabelle_System.mkdirs(other_isabelle.etc)
+            File.write(other_isabelle.etc_preferences, "ML_system_64 = true\n")
+
             other_isabelle.bash("bin/isabelle build" + jobs_option +
                 " -o browser_info -o document=pdf -o document_variants=document:outline=/proof,/ML" +
                 " -s -c -a -d '~~/src/Benchmarks'", echo = true).check