Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
clarified directory location;
authorwenzelm
Thu, 02 May 2019 11:43:56 +0200
changeset 70227 ce9134bdc1d4
parent 70226 accbd801fefa
child 70228 2d5b122aa0ff
child 70229 c03f381fd373
clarified directory location;
src/Pure/Admin/isabelle_cronjob.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Admin/isabelle_cronjob.scala	Wed May 01 10:40:42 2019 +0000
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Thu May 02 11:43:56 2019 +0200
@@ -271,7 +271,7 @@
             " -e ISABELLE_GHC=ghc -e ISABELLE_MLTON=mlton -e ISABELLE_OCAML=ocaml" +
             " -e ISABELLE_OCAMLC=ocamlc -e ISABELLE_OCAML_SETUP=true" +
             " -e ISABELLE_OPAM_ROOT=\"$ISABELLE_HOME/opam\"" +
-            " -e ISABELLE_SMLNJ=/mnt/nfsbroy/home/smlnj/bin/sml",
+            " -e ISABELLE_SMLNJ=/mnt/nfsbroy/home/isabelle/smlnj/bin/sml",
           args = "-a",
           detect = Build_Log.Prop.build_tags.undefined,
           history_base = "2c0f24e927dd"),
@@ -317,7 +317,7 @@
             " -e ISABELLE_GHC=ghc" +
             " -e ISABELLE_MLTON=mlton" +
             " -e ISABELLE_OCAML=ocaml -e ISABELLE_OCAMLC=ocamlc -e ISABELLE_OCAMLFIND=ocamlfind" +
-            " -e ISABELLE_SMLNJ=/home/smlnj/bin/sml",
+            " -e ISABELLE_SMLNJ=/home/isabelle/smlnj/bin/sml",
           args = "-N -X large -X slow",
           afp = true,
           detect = Build_Log.Prop.build_tags + " = " + SQL.string("AFP")))
isabelle