Linking error #6
Description
Dear @thierry-martinez ,
once I workaround #4 and #5 , I still get an error:
>>> import ocaml
>>> ocaml.require("coq-lsp.petanque")
>>> from ocaml import Agent
Traceback (most recent call last):
File "<stdin>", line 1, in <module>
ImportError: Py.Err(10, "Py.Err(10, \"Dynlink.Error (Dynlink.Cannot_open_dll \\\"Dynlink.Error (Dynlink.Cannot_open_dll \\\\\\\"Failure(\\\\\\\\\\\\\\\"/tmp/ocaml-in-python727f11.so: undefined symbol: camlAgent\\\\\\\\\\\\\\\")\\\\\\\")\\\")\")")
the setup is a regular Dune library that links to Coq, nothing too special about it that I can see. Is ocaml-in-python respecting OCAMLPATH tho?