From dd8a93eebd945b219348019edf98662bef6273eb Mon Sep 17 00:00:00 2001
From: Jay Lee <jaeho.lee@snu.ac.kr>
Date: Sun, 2 Jun 2024 15:55:54 +0900
Subject: [PATCH] :heavy_plus_sign: Add OWL

---
 bin/dune             | 4 +---
 dune-project         | 1 +
 lib/dune             | 2 +-
 stappl.opam          | 4 ++++
 stappl.opam.template | 3 +++
 5 files changed, 10 insertions(+), 4 deletions(-)
 create mode 100644 stappl.opam.template

diff --git a/bin/dune b/bin/dune
index d6e2341..a817757 100644
--- 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
index ea15aa2..d19e01b 100644
--- 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
index 63defe0..d5e8c9d 100644
--- 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
index 81883c8..457fbb8 100644
--- 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
new file mode 100644
index 0000000..146b23d
--- /dev/null
+++ b/stappl.opam.template
@@ -0,0 +1,3 @@
+pin-depends: [
+  [ "owl.1.1" "git+https://github.com/owlbarn/owl#06943b0267e7e80dd0eba94ebf63ca4d25c71910" ]
+]