There appears to be no way to set c_library_flags in an env stanza. I’m trying to add -L/usr/local/lib for linker execution in all subdirectories. Is there a good way to do this at the top level and avoid the need to patch dune files in subdirectories?’

Such flags should not usually be part of a project (especially if it is meant for distribution, other hosts can have libraries installed in other places), they belong to host configuration. You can use C compiler specific environment variables to control that, e.g. LIBRARY_PATH for gcc.

I don’t think there’s a fundamental reason why we can’t add this to dune however. Seems like it would be quite convenient to add this. The bigger issue with this flag is that it’s not sufficient to specify a dependency on the files in this dir.

Set c_library_flags in env

Learning

nojb August 8, 2020, 5:19pm 2

Hello,
Unfortunately, I don’t think this is currently possible, and I don’t know of any easy workaround.
Best wishes,
Nicolás

Topic		Replies	Views
Moving to Dune 2.0 for C stubs Learning dune	1	726	September 17, 2020
Dune 'flags' & 'library_flags' Learning dune	2	1690	March 7, 2019
How to properly define a library with C bindings? Learning ctypes , dune , library	5	621	April 3, 2024
Dune exec, C stubs and CAML_LD_LIBRARY_PATH Learning dune	2	1473	November 12, 2018
Question about C dependencies Learning c , dune , dependencies	0	325	January 12, 2024

Set c_library_flags in env

Related topics