diff options
Diffstat (limited to 'lib/dune')
| -rw-r--r-- | lib/dune | 7 |
1 files changed, 3 insertions, 4 deletions
@@ -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)) |
