➕ Add OWL

Zeta611 · Jun 2, 2024 · dd8a93e · dd8a93e
1 parent f65925c
commit dd8a93e
Show file tree

Hide file tree

Showing 5 changed files with 10 additions and 4 deletions.
diff --git a/bin/dune b/bin/dune
@@ -4,6 +4,4 @@
  (libraries core core_unix.command_unix core_unix.filename_unix stappl)
  (modes byte exe)
  (preprocess
-  (pps ppx_jane))
- (flags
-  (:standard -g)))
+  (pps ppx_jane)))
diff --git a/dune-project b/dune-project
@@ -26,6 +26,7 @@
  (depends
   (core (>= 0.16.2))
   (core_unix (>= 0.16.0))
+  (owl (>= 1.1))
   (string_dict (>= 0.16.0))
   (ppx_jane (>= 0.16.0))
   (menhir (>= 20231231))))

diff --git a/lib/dune b/lib/dune
@@ -1,6 +1,6 @@
 (library
  (name stappl)
- (libraries str core string_dict)
+ (libraries core owl string_dict)
  (preprocess
   (pps ppx_jane)))
 

diff --git a/stappl.opam b/stappl.opam
@@ -12,6 +12,7 @@ depends: [
   "dune" {>= "3.4"}
   "core" {>= "0.16.2"}
   "core_unix" {>= "0.16.0"}
+  "owl" {>= "1.1"}
   "string_dict" {>= "0.16.0"}
   "ppx_jane" {>= "0.16.0"}
   "menhir" {>= "20231231"}
@@ -32,3 +33,6 @@ build: [
   ]
 ]
 dev-repo: "git+https://github.com/shapespeare/stappl.git"
+pin-depends: [
+  [ "owl.1.1" "git+https://github.com/owlbarn/owl#06943b0267e7e80dd0eba94ebf63ca4d25c71910" ]
+]
diff --git a/stappl.opam.template b/stappl.opam.template
@@ -0,0 +1,3 @@
+pin-depends: [
+  [ "owl.1.1" "git+https://github.com/owlbarn/owl#06943b0267e7e80dd0eba94ebf63ca4d25c71910" ]
+]