aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dune
diff options
context:
space:
mode:
Diffstat (limited to 'lib/dune')
-rw-r--r--lib/dune10
1 files changed, 9 insertions, 1 deletions
diff --git a/lib/dune b/lib/dune
index 5d95cc5..3bc492f 100644
--- a/lib/dune
+++ b/lib/dune
@@ -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=}))))