# HG changeset patch # User wenzelm # Date 1736687282 -3600 # Node ID e06819faea88048f85ef826f1492dfc988e891e6 # Parent e9f3dbcf854f060728dce21e910f1c2f0f93de1e tuned; diff -r e9f3dbcf854f -r e06819faea88 src/Tools/Find_Facts/src/elm.scala --- a/src/Tools/Find_Facts/src/elm.scala Sun Jan 12 13:54:44 2025 +0100 +++ b/src/Tools/Find_Facts/src/elm.scala Sun Jan 12 14:08:02 2025 +0100 @@ -18,8 +18,6 @@ object Elm { - private lazy val exec = Path.explode("$ISABELLE_ELM_HOME/elm").expand - object Project { def apply( name: String, @@ -73,7 +71,8 @@ progress.echo("### Building " + name + " (" + output.canonical.implode + ") ...") val cmd = - File.bash_path(exec) + " make " + File.bash_path(main) + " --optimize --output=" + output + File.bash_path(Path.explode("$ISABELLE_ELM_HOME/elm")) + " make " + + File.bash_path(main) + " --optimize --output=" + output val res = Isabelle_System.bash(cmd, cwd = dir) if (!res.ok) {