src/Pure/Admin/isabelle_cronjob.scala
8 weeks ago wenzelm 2019-03-21 less ambitious test: lapbroy68 lacks libgmp-dev that is required for ocaml setup of zarith;
2 months ago wenzelm 2019-03-20 prefer ISABELLE_OCAML_SETUP: Cygwin lacks libzarith;
2 months ago wenzelm 2019-03-20 updated settings: ISABELLE_OCAMLFIND, ISABELLE_OCAML_SETUP, but retain compatibility with historic versions that require ISABELLE_OCAMLC;
4 months ago wenzelm 2019-01-19 tuned output;
4 months ago wenzelm 2019-01-19 more official AFP.groups; clarified bulky sessions;
5 months ago wenzelm 2018-12-08 discontinued somewhat point dmg: plain .tar.gz is smaller and more convenient to install;
5 months ago wenzelm 2018-12-05 eliminated old makedist_bundle and remote_dmg: build_release does everything in Scala; more robust components and classpath via Other_Isabelle; updated macos_app to include full dmg template; misc tuning and clarification;
5 months ago wenzelm 2018-11-30 use older Mac OS X system, for the sake of portability (amending bf5cbefb5c1f);
6 months ago wenzelm 2018-11-17 prefer more powerful machine;
6 months ago wenzelm 2018-11-16 renovated macOS tests;
6 months ago wenzelm 2018-11-14 more robust hostname for Isabelle cronjobs: do not rely on target OS installation for resulting build_log database content;
6 months ago wenzelm 2018-11-07 proper ghc_setup / ocaml_setup on target Isabelle distribution (amending 2a17c481d05e);
6 months ago wenzelm 2018-11-05 proper self_update for isolated host;
6 months ago wenzelm 2018-11-05 renovated macOS tests;
6 months ago wenzelm 2018-11-05 support remote_build_history with optional ghc_setup / ocaml_setup;
6 months ago wenzelm 2018-10-27 more robust: allow log to be a symlink;
10 months ago wenzelm 2018-07-18 evade odd connection problems to https://isabelle.in.tum.de from some remote hosts;
10 months ago Lars Hupel 2018-06-29 remove trailing commas
11 months ago wenzelm 2018-06-05 more parallelism to cope with 8h30 CPU time;
11 months ago wenzelm 2018-06-05 full benchmarks, including all conditional theories;
12 months ago wenzelm 2018-05-18 support Store with options;
14 months ago wenzelm 2018-03-15 updated user name;
14 months ago wenzelm 2018-03-13 publish current log file, e.g. for easy error detection;
14 months ago wenzelm 2018-03-06 clarified signature;
14 months ago wenzelm 2018-03-06 build_history_base as remote build on lxbroy10: thus self_update has already happened once, and thus avoids conflicts with parallel builds on shared home directory;
14 months ago wenzelm 2018-03-06 proxy setup for lrzcloud1;
14 months ago wenzelm 2018-03-06 proper target directory;
14 months ago wenzelm 2018-03-04 consolidated main cronjob server on virtual machine together with build_log database; eliminated special tricks for Gentoo; import plain_identify logs, export all logs for backup; run build_release, build_history_base in parallel to remote_build_history tasks;
14 months ago wenzelm 2018-03-03 proper remote_mac according to Admin/Release/CHECKLIST;
14 months ago wenzelm 2018-03-03 accomodate smaller build machine;
14 months ago wenzelm 2018-03-03 clarified signature;
14 months ago wenzelm 2018-03-03 self_update implies push_isabelle_home (see also 4c253e84ae62);
14 months ago wenzelm 2018-03-03 uniform setup_repository (pull/clone without update); tuned signature;
14 months ago wenzelm 2018-03-03 clarified signature: facilitate interactive experimentation;
14 months ago wenzelm 2018-03-03 clarified tasks;
14 months ago wenzelm 2018-03-03 tuned signature;
14 months ago wenzelm 2018-03-02 more ssh options;
15 months ago wenzelm 2018-02-13 retain remote_builds_old for build_status;
15 months ago wenzelm 2018-02-13 lxbroy7 no longer exists;
15 months ago wenzelm 2018-02-03 more external tools for AFP test;
17 months ago wenzelm 2017-12-10 avoid println with its extra CR on Windows;
17 months ago wenzelm 2017-11-27 clarified description for mixed Mavericks / El Capitan system;
18 months ago wenzelm 2017-11-25 macbroy2 is back, still pretending to be on Mavericks for better comparison of performance;
18 months ago wenzelm 2017-11-19 macbroy2 is inactive: system update;
18 months ago wenzelm 2017-11-14 avoid lxbroy7, which is presently inaccessible, but retain its build history in db queries;
18 months ago wenzelm 2017-11-14 removed pointless user_home: no measurable impact;
18 months ago wenzelm 2017-11-11 avoid download of components;
18 months ago wenzelm 2017-11-11 local user_home for improved performance, but only after given changeset for stability of measurement history;
18 months ago wenzelm 2017-11-04 superseded by plain_identify;
18 months ago wenzelm 2017-11-01 tuned output;
18 months ago wenzelm 2017-10-28 deactivated old tests;
18 months ago wenzelm 2017-10-27 tuned;
19 months ago wenzelm 2017-10-22 tuned output;
19 months ago wenzelm 2017-10-22 updated test version;
19 months ago wenzelm 2017-10-22 parallel remote_builds2 for the sake of "AFP slow" (with theoretical data race on build_log_dirs);
19 months ago wenzelm 2017-10-22 tuned;
19 months ago wenzelm 2017-10-22 clarified signature;
19 months ago wenzelm 2017-10-22 tuned: build hg_graph only once; tuned signature;
19 months ago wenzelm 2017-10-20 more ambitious test;
19 months ago wenzelm 2017-10-19 proper integer option for Admin/build_history;