Add specs for ns datahike.api (#596)

* Add Clojure Specs for the `datahike.api` namespace --------- Co-authored-by: Fabrizio Ferrai <[email protected]>
replikativ · Feb 23, 2023 · 3625234 · 3625234
1 parent 11adbeb
commit 3625234
Show file tree

Hide file tree

Showing 22 changed files with 365 additions and 132 deletions.
diff --git a/deps.edn b/deps.edn
@@ -11,8 +11,10 @@
         io.replikativ/datalog-parser                {:mvn/version "0.2.25"}
         io.replikativ/zufall                        {:mvn/version "0.1.0"}
         junit/junit                                 {:mvn/version "4.13.2"}
-        medley/medley                               {:mvn/version "1.4.0"}
-        mvxcvi/clj-cbor                             {:mvn/version "1.1.0"}}
+        medley/medley                               {:mvn/version "1.4.0"} 
+        metosin/spec-tools                          {:mvn/version "0.10.5"}
+        mvxcvi/clj-cbor                             {:mvn/version "1.1.0"}
+        orchestra/orchestra                         {:mvn/version "2021.01.01-1"}}
 
  :paths ["src" "target/classes"]
 

diff --git a/libdatahike/compile-libdatahike b/libdatahike/compile-libdatahike
@@ -8,7 +8,7 @@ if [ -z "$GRAALVM_HOME" ]; then
 fi
 
 echo "Building uber jar for native library."
-clj -T:build native-shared-library
+bb ni-build
 DATAHIKE_VERSION=$(cat resources/DATAHIKE_VERSION)
 DATAHIKE_JAR=target/datahike-$DATAHIKE_VERSION-native-shared-library.jar