--- a/src/Pure/Admin/component_hol_light.scala Fri Jan 24 14:35:47 2025 +0100
+++ b/src/Pure/Admin/component_hol_light.scala Fri Jan 24 19:25:31 2025 +0100
@@ -121,7 +121,7 @@
Isabelle_System.copy_dir(hol_import_dir + offline_path, offline_dir, direct = true)
- progress.bash("ocamlopt offline.ml -o offline",
+ progress.bash("ocamlc.opt offline.ml -o offline",
cwd = offline_dir, echo = progress.verbose).check
Isabelle_System.copy_file(offline_dir + offline_exe, platform_dir + offline_exe)
File.set_executable(platform_dir + offline_exe)