diff options
| author | Marcos Magueta <maguetamarcos@gmail.com> | 2024-10-16 01:31:05 -0300 |
|---|---|---|
| committer | Marcos Magueta <maguetamarcos@gmail.com> | 2024-10-16 01:31:05 -0300 |
| commit | e339fa975e21c1b589a8dfc6ac083aba2b0a6394 (patch) | |
| tree | 556b4fd1873fd7ec900ccd736543b04a68b02572 /lib/dune | |
| parent | 0d01055df0b99bb696fb6a2e480513cebf8890a3 (diff) | |
| download | Sakura-e339fa975e21c1b589a8dfc6ac083aba2b0a6394.tar.gz Sakura-e339fa975e21c1b589a8dfc6ac083aba2b0a6394.zip | |
dune environment vars with flake and C++ interop with stubs
Diffstat (limited to 'lib/dune')
| -rw-r--r-- | lib/dune | 10 |
1 files changed, 9 insertions, 1 deletions
@@ -1,2 +1,10 @@ (library - (name relational_engine)) + (name relational_engine) + (foreign_stubs + (language cxx) + (names merklecpp_stubs) + (flags + (:standard -lssl -lcrypto) + (-L %{env:LIBRESSL_LIB_PATH=}) + (-I %{env:LIBRESSL_INCLUDE_PATH=}) + (-I %{env:MERKLECPP_INCLUDE_PATH=})))) |