Hello, I’m having an issue : I’m using the z3 library with bindings for OCaml, however, whenever I compile a program, and I execute it I get : dyld: Library not loaded: libz3.dylib Referenced from: /path/to/binary/./binary.exe Reason: image not found That is due to z3 depending on dynamic libs ……

Usually, such libraries are statically linked into native OCaml executables. It’s only C libraries installed system-wide that are dynamically loaded. For bytecode OCaml executables, they are commonly dynamically loaded, however the dynamic libraries are installed at a central place. z3 seems to use…

Hello, Thanks for your answer. I pushed a little deeper into the subject, and I asked directly to the z3 team. They don’t maintain the opam package, someone else does. (From Aesthetic Integration, which seems to be cloud-native stuff, so I guess that they have a custom way of distributing the dyl…

Well z3’s ocaml bindings come with the main source code, using a very complicated build script in python (there’s an ongoing effort to port to cmake but the OCaml bindings part is not done yet). It’s not a simple case that would fit dune, imho. Using the .a instead of .so might be possible but it’s …

Yes, I have reached the same conclusion I think :confused: I eventually decided on using the opam version of z3 and having a esy init script that copies the dylib in the right place. That can be done easily because esy knows at any where z3 lives. A pure-opam version would include some ocamlfind I …

Dynamically setting some environment variables with Dune

Ecosystem

giltho April 2, 2019, 3:46pm 2

Also if there was a way just juste statically include libz3.dylib into my final binary/library that would be actually simpler, but I don’t know if that’s possible

Topic		Replies	Views
My fix of the linking problem on z3 OCaml binding Ecosystem z3	6	3235	October 27, 2021
Compiling ocaml dune project dynamically with 3rd party code Learning opam , build , dune	1	142	November 10, 2024
Foreign_archives: no static libraries, .dylib on mac Ecosystem dune , macos	9	238	February 2, 2026
Trouble with Z3 on OCaml 4.10 on Linux and OCaml 4.x on macOS Learning opam , build , dune	16	2852	May 27, 2020
How to statically link archive files with dune? Learning dune	3	265	June 2, 2025

Dynamically setting some environment variables with Dune

Related topics