ocaml-in-python icon indicating copy to clipboard operation
ocaml-in-python copied to clipboard
verified publisher icon thierry-martinez

Linking error

Open ejgallego opened this issue 1 year ago • 0 comments

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?

ejgallego avatar Mar 15 '24 10:03 ejgallego