aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dune
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--lib/dune7
1 files changed, 3 insertions, 4 deletions
diff --git a/lib/dune b/lib/dune
index a5d0378..0ef1c18 100644
--- a/lib/dune
+++ b/lib/dune
@@ -10,14 +10,13 @@
;; (-L %{env:LIBRESSL_LIB_PATH=})
;; (-I %{env:LIBRESSL_INCLUDE_PATH=})
;; (-I %{env:MERKLECPP_INCLUDE_PATH=})))
-
(ctypes
(external_library_name relational_engine)
- (headers (include %{env:LIBRELATIONAL_ENGINE_INCLUDE_PATH=}/library.h))
+ (headers
+ (include %{env:LIBRELATIONAL_ENGINE_INCLUDE_PATH=}/library.h))
(build_flags_resolver
(vendored
- (c_flags
- -L %{env:LIBRELATIONAL_ENGINE_LIB_PATH=})))
+ (c_flags -L %{env:LIBRELATIONAL_ENGINE_LIB_PATH=})))
(type_description
(instance Types)
(functor core_types))