Add js_of_ocaml upper bound due to some linkall dynlink issue

goblint · Jul 24, 2024 · 03b0682 · 03b0682
1 parent 4069f32
commit 03b0682
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 4 deletions.
diff --git a/dune-project b/dune-project
@@ -38,6 +38,7 @@
   ppx_yojson_conv ; TODO: switch to ppx_deriving_yojson like Goblint itself
   conduit-lwt-unix
   jsoo-react
+  (js_of_ocaml (< 5.1.0)) ; on newer versions: exception Failure("caml_register_global: cannot locate Dynlink_compilerlibs.Binutils")
   js_of_ocaml-lwt
   js_of_ocaml-ppx
   (goblint-cil (>= 2.0.0))

diff --git a/gobview.opam b/gobview.opam
@@ -27,6 +27,7 @@ depends: [
   "ppx_yojson_conv"
   "conduit-lwt-unix"
   "jsoo-react"
+  "js_of_ocaml" {< "5.1.0"}
   "js_of_ocaml-lwt"
   "js_of_ocaml-ppx"
   "goblint-cil" {>= "2.0.0"}

diff --git a/gobview.opam.locked b/gobview.opam.locked
@@ -63,10 +63,10 @@ depends: [
   "integers_stubs_js" {= "1.0"}
   "ipaddr" {= "5.6.0"}
   "ipaddr-sexp" {= "5.6.0"}
-  "js_of_ocaml" {= "5.8.2"}
-  "js_of_ocaml-compiler" {= "5.8.2"}
-  "js_of_ocaml-lwt" {= "5.8.2"}
-  "js_of_ocaml-ppx" {= "5.8.2"}
+  "js_of_ocaml" {= "5.0.1"}
+  "js_of_ocaml-compiler" {= "5.0.1"}
+  "js_of_ocaml-lwt" {= "5.0.1"}
+  "js_of_ocaml-ppx" {= "5.0.1"}
   "jsonm" {= "1.0.2"}
   "jsonrpc" {= "1.17.0"}
   "jsoo-react" {= "0.1"}