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.
more explicit system dependencies;
authorwenzelm
Fri, 24 Jan 2025 19:35:55 +0100
changeset 81971 bd8e174b6f95
parent 81970 6a2f889fa3b9
child 81972 fc557fc4ffc4
more explicit system dependencies;
src/Pure/Admin/component_hol_light.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Admin/component_hol_light.scala	Fri Jan 24 19:25:31 2025 +0100
+++ b/src/Pure/Admin/component_hol_light.scala	Fri Jan 24 19:35:55 2025 +0100
@@ -35,6 +35,8 @@
 
     if (!only_offline) {
       Linux.check_system()
+      Isabelle_System.require_command("bzip2")
+      Isabelle_System.require_command("m4")
       Isabelle_System.require_command("patch")
       Isabelle_System.require_command("zstd")
     }
@@ -231,6 +233,9 @@
 
     isabelle component_hol_light_import -L Logic/make.ml
     isabelle component_hol_light_import -L 100/thales.ml -L 100/ceva.ml
+
+  The HOL Light build process uses OCaml/OPAM from Isabelle; this requires
+  C development tools with libgmp-dev.
 """,
           "D:" -> (arg => target_dir = Path.explode(arg)),
           "L:" -> (arg => load_more = load_more ::: List(Path.explode(arg))),
isabelle