# HG changeset patch # User wenzelm # Date 1476352446 -7200 # Node ID 49816908ae4207c70dcc005923003dd2317665b8 # Parent f4d5eb78b8a5b1f07daa0d3050ed2b3d424bcc1a support for separate sub-system options, independent of main Isabelle options; tuned; diff -r f4d5eb78b8a5 -r 49816908ae42 Admin/cronjob/cronjob.options --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/Admin/cronjob/cronjob.options Thu Oct 13 11:54:06 2016 +0200 @@ -0,0 +1,7 @@ +(* :mode=isabelle-options: *) + +option isabelle_repos : string = "http://isabelle.in.tum.de/repos/isabelle" + +option isabelle_release_repos : string = "http://bitbucket.org/isabelle_project/isabelle-release" + +option afp_repos : string = "https://bitbucket.org/isa-afp/afp-devel" diff -r f4d5eb78b8a5 -r 49816908ae42 src/Pure/Admin/isabelle_cronjob.scala --- a/src/Pure/Admin/isabelle_cronjob.scala Thu Oct 13 11:43:40 2016 +0200 +++ b/src/Pure/Admin/isabelle_cronjob.scala Thu Oct 13 11:54:06 2016 +0200 @@ -125,6 +125,8 @@ /** cronjob **/ + def init_options(): Options = Options.load(Path.explode("~~/Admin/cronjob/cronjob.options")) + def cronjob(progress: Progress) { /* soft lock */ diff -r f4d5eb78b8a5 -r 49816908ae42 src/Pure/System/options.scala --- a/src/Pure/System/options.scala Thu Oct 13 11:43:40 2016 +0200 +++ b/src/Pure/System/options.scala Thu Oct 13 11:54:06 2016 +0200 @@ -124,6 +124,9 @@ } } + def load(file: Path): Options = + Parser.parse_file(options_syntax, Parser.option_entry, empty, file) + def init_defaults(): Options = { var options = empty @@ -197,7 +200,7 @@ val options: Map[String, Options.Opt] = Map.empty, val section: String = "") { - override def toString: String = options.iterator.mkString("Options (", ",", ")") + override def toString: String = options.iterator.mkString("Options(", ",", ")") private def print_opt(opt: Options.Opt): String = if (opt.public) "public " + opt.print else opt.print