Add ocaml-base-compiler to dependency of hol_light

aqjune · aqjune · commit bcb10b534f84 · 2025-05-17T13:55:12.000-05:00
This is necessary because hol_light uses ocamlmktop and Topfind may not work on top of it. https://discuss.ocaml.org/t/which-opam-package-is-needed-to-use-ocamlmktop/16665/8 This only applies to OCaml >= 4.14 because HOL Light uses Topfind for OCaml >= 4.14 only.
diff --git a/packages/hol_light/hol_light.3.0.0/opam b/packages/hol_light/hol_light.3.0.0/opam
@@ -50,6 +50,7 @@ depends: [
    "ledit")
   |
   ("ocaml" {>= "4.14.0"} &
+   "ocaml-base-compiler" {} &
    "camlp5" {>= "8.0"} &
    "zarith" {>= "1.5"} &
    "ledit")

Original file line number	Diff line number	Diff line change
`@@ -50,6 +50,7 @@ depends: [`
`50`	`50`	`"ledit")`
`51`	`51`	`\|`
`52`	`52`	`("ocaml" {>= "4.14.0"} &`
	`53`	`+ "ocaml-base-compiler" {} &`
`53`	`54`	`"camlp5" {>= "8.0"} &`
`54`	`55`	`"zarith" {>= "1.5"} &`
`55`	`56`	`"ledit")`