I am trying to distribute an repl embedding some libraries so it can be run on a computer without ocaml/opam. Typically, I want to allow users using a driver to execute ocaml scripts. e.g. let () = let b = My_lib.open_base "/foo/bar" in (* ... *) My_lib.close_base b I created a dummy librar…

First, thank you all for your time. Unfortunately, I can’t make it work. I push a dummy project here : GitHub - sagotch/testop First, I tried with method used in dune documentation. $ dune build $ echo "open Driver ;;" |_build/default/bin/testop.bc OCaml version 4.11.1 Findlib has been …

You need to make sure the toplevel sees driver.cmi either by invoking it with an appopriate -I flag, or by invoking #directory at the beginning of the session or in a file provided via -init.

[image] sagotch: $ ocamlmktop -o foo.exe -linkall -custom -I _build/default/lib/.driver.objs/byte _build/default/lib/driver.cma Ok sorry about that, you mentionned it earlier but I was expecting module to be openable even without the .mlicmi. Don’t ask me why, or what should be the behavior i…

[image] sagotch: Ok sorry about that, you mentionned it earlier but I was expecting module to be openable even without the .mli. Note, it’s the .cmi. [image] sagotch: I guess, since I do not really understand what it means for a module to be loaded (as ocamlmktop is supposed to do) but n…

I think it might work soon. I ended with a long ocamlmktop invocation: ocamlmktop -o gwrepl.exe -linkall -custom -I /home/jsagot/.opam/4.11.1/lib/ocaml -I /home/jsagot/.opam/4.11.1/lib/bytes -I /home/jsagot/.opam/4.11.1/lib/calendars -I /home/jsagot/.opam/4.11.1/lib/re -I /home/jsagot/.opam/4.11.1…

Hum… but there should be no stdlib.cmi at all since there is no OCaml on the targeted machine (isn’t it the purpose of -custom option?). Also, note that while I give complete path in the log, but it is actually meaningless since interfaces are served directly from embedded values (marshalled Cmi_for…

Are you sure you included stdlib.cmi in your Mktoplevel_data magic ?

I do, it’s the first cmi to be unmarshalled and recorded (that is what the following line means): Loading Stdlib -- /home/geneweb/.opam/4.09.1+flambda+no-flat-float-array/lib/ocaml/stdlib.cmi And it is actually hardcoded in that script generating Mktoplevel_data. Here is the data generator: mk_dat…

Next thing I tried: my initial idea, with the binary embedding .cmi and .cma (and .so) files: https://github.com/geneweb/geneweb/pull/1217/files When launched, the executable extract all the files in a temporary directory and load/configure before entering the main toploop. It works, but I feel li…

Distribute ocaml binary and cma files

Learning

dbuenzli August 18, 2021, 1:02pm 10

It likely looks for stdlib.cmi at the wrong place or there is no such file.

Topic		Replies	Views
(tuareg, ocaml REPL) Request for feedback about a proper way to auto-require packages Community merlin , ocaml , tuareg , repl	20	2029	September 2, 2021
Access a library from within an ocamlmktop top level Ecosystem	7	670	January 12, 2022
Dynamically link native code into utop? Ecosystem build , utop	19	3207	September 4, 2017
OPAM/packaging questions around OCaml bindings to custom C library Ecosystem ffi , build , package , ctypes , linking	15	1752	February 17, 2020
Setting up a new OCaml environment in 2026 is not yet a fluid experience Ecosystem	107	1900	January 15, 2026

Distribute ocaml binary and cma files

Related topics