1 files changed, 0 insertions, 28 deletions
diff --git a/lib/dune b/lib/dune
deleted file mode 100644
index 0ef1c18..0000000
--- a/lib/dune
+++ /dev/null
@@ -1,28 +0,0 @@
-(library
- (name relational_engine)
- (libraries ctypes ctypes-foreign data-encoding)
- ;; (c_library_flags -lssl -lcrypto -L %{env:LIBRESSL_LIB_PATH=})
- ;; (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=})))
- (ctypes
-  (external_library_name relational_engine)
-  (headers
-   (include %{env:LIBRELATIONAL_ENGINE_INCLUDE_PATH=}/library.h))
-  (build_flags_resolver
-   (vendored
-    (c_flags -L %{env:LIBRELATIONAL_ENGINE_LIB_PATH=})))
-  (type_description
-   (instance Types)
-   (functor core_types))
-  (function_description
-   (concurrency unlocked)
-   (instance Functions)
-   (functor core_functions))
-  (generated_types Types_generated)
-  (generated_entry_point C)))