Сделать совместимыми ocaml, camlp4, ppx, node, js_of_ocaml, ocamlbuild

Question

После установки npm а также node, компилируя файлы OCaml с js_of_ocaml дал ошибки, таким образом я сделал opam switch reinstall system:

:testweb $ opam switch reinstall system
Your system compiler has been changed. Do you want to upgrade your OPAM installation ? [Y/n] y

=-=- Upgrading system -=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=   
[WARNING] base-ocamlbuild.base is not available because it requires OCaml >= 3.10 & < 4.03. Skipping.
[WARNING] camlp4.4.02+system is not available because your system doesn't comply with preinstalled &
      ocaml-version >= "4.02" & ocaml-version < "4.03". Skipping.
[WARNING] ppx_tools.4.02.3 is not available because your system doesn't comply with ocaml-version >=
      "4.02.0" & ocaml-version < "4.03.0". Skipping.
The following dependencies couldn't be met:
  - deriving -> camlp4
Your request can't be satisfied:
  - camlp4 is not available because your system doesn't comply with ocaml-version >= "4.04".

No solution found, exiting
The former package state can be restored with opam switch import "/Users/softtimur/.opam/backup/state-20160418124642.export" --switch system

Затем я понял, ocamlfind больше не работал

:testweb $ ocamlfind ocamlc -package js_of_ocaml.ppx -linkpkg cubes.ml -o T
-bash: /Users/softtimur/.opam/system/bin/ocamlfind: No such file or directory

PS: node --version дает v6.1.0; npm --version дает 3.8.6; ocaml -version дает The OCaml toplevel, version 4.03.0, js_of_ocaml --version было 2.7, но после opam swtich reinstall system, это дает -bash: /Users/softtimur/.opam/system/bin/js_of_ocaml: No such file or directory,

Кто-нибудь знает, что нужно сделать, чтобы все эти пакеты были совместимы?

---

Ранее: Здесь были ошибки компиляции после установки npm а также nodeи прежде чем делать opam switch reinstall system:

:testweb $ ocamlfind ocamlc -package js_of_ocaml.ppx -linkpkg cubes.ml -o T
Failure("Ast_mapper: OCaml version mismatch or malformed input")
File "cubes.ml", line 1:
Error: Error while running external preprocessor
Command line: /Users/softtimur/.opam/system/lib/js_of_ocaml/./ppx_js '/var/folders/fn/0rmvqqbs4k76lg5g6b7kll100000gn/T/camlppxffe989' '/var/folders/fn/0rmvqqbs4k76lg5g6b7kll100000gn/T/camlppx02e06a'

Другой способ также дал ошибку:

:testweb $ ocamlfind ocamlc -package js_of_ocaml -syntax camlp4o -package js_of_ocaml.syntax -linkpkg -o cubes.byte cubes.ml
Fatal error: unknown C primitive `caml_is_printable'
File "cubes.ml", line 1:
Error: Error while running external preprocessor
Command line: camlp4 '-I' '/usr/local/lib/ocaml/camlp4' '-I' '/Users/softtimur/.opam/system/lib/js_of_ocaml' '-parser' 'o' '-parser' 'op' '-printer' 'p' 'pa_js.cmo'  'cubes.ml' > /var/folders/fn/0rmvqqbs4k76lg5g6b7kll100000gn/T/ocamlpp8b28e8

---

Первоначально: моя первоначальная цель - написать и скомпилировать cubes.ml такой, что 1) он оборачивает функцию OCaml для создания функции JS, которую можно вызывать в сети; 2) функция OCaml и байт-код могут быть протестированы в командной строке под Linux.

cubes.ml как следует:

let () =
  let oneArgument (a: int) = a + 100 in
  Js.Unsafe.global##.jsOneArgument := Js.wrap_callback oneArgument;
  print_string "hello\n";
  exit 0

Затем, ocamlfind ocamlc -package js_of_ocaml.ppx -linkpkg cubes.ml -o T должен генерировать T такой, что ./T должен вернуться hello, А также js_of_ocaml T -o cubes.js должен генерировать cubes.js такой, что функция jsOneArgument из cubes.js может быть вызван другими файлами JS или HTML.

Прежде чем я испортил пакеты, ./T возвращенный Unimplemented Javascript primitive caml_pure_js_expr!вот почему я установил npm, node, так далее...

Answer 1

Я переключился обратно на OCaml 4.02.3:

opam switch 4.02.3

Затем,

eval `opam config env`

Затем,

opam install ppx_tools js_of_ocaml

В следствии, ocamlfind ocamlc -package js_of_ocaml.ppx -linkpkg cubes.ml -o T генерирует T, а также js_of_ocaml T -o cubes.js генерирует cubes.js, node cubes.js возвращается hello,

Тем не мение, ./T все еще возвращается Unimplemented Javascript primitive caml_pure_js_expr!Я собираюсь открыть еще один пост для этого...