Fix CI (#560)

* JS: add missing primitives

* Set upper bound 5.0.1 for js_of_ocaml

alt-ergo-js.opam

@@ -16,7 +16,7 @@ depends: [
   "dune" {>= "3.0"}
   "alt-ergo-lib" {= version}
   "alt-ergo-parsers" {= version}
-  "js_of_ocaml" {>= "4.0.1"}
+  "js_of_ocaml" {>= "4.0.1" & <= "5.0.1"}
   "js_of_ocaml-lwt"
   "js_of_ocaml-ppx"
   "data-encoding"

dune-project

@@ -46,7 +46,7 @@ See more details on https://alt-ergo.ocamlpro.com/")
   dune
   (alt-ergo-lib (= :version))
   (alt-ergo-parsers (= :version))
-  (js_of_ocaml (>= 4.0.1))
+  (js_of_ocaml (and (>= 4.0.1) (<= 5.0.1)))
   js_of_ocaml-lwt
   js_of_ocaml-ppx
   data-encoding

src/bin/js/dune

@@ -9,6 +9,7 @@
  )
  (modules main_text_js)
  (modes byte js)
+ (js_of_ocaml (flags --no-source-map +toplevel.js +dynlink.js))
 )
 
 (library
@@ -33,6 +34,7 @@
  )
  (modules worker_js options_interface)
  (modes byte js)
+ (js_of_ocaml (flags --no-source-map +toplevel.js +dynlink.js))
 )
 
 ; Rule to build a small js example running the Alt-Ergo web worker

src/lib/missing_primitives.js

@@ -29,3 +29,13 @@ function camlzip_inflate_bytecode () {
 function camlzip_update_crc32 () {
   return BLOCK(0, 0, 0, 0)
 }
+
+//Provides: unix_getpid
+function unix_getpid() {
+  return 0;
+}
+
+//Provides: unix_kill
+function unix_kill() {
+  return 0;
+}