diff --git a/dune-project b/dune-project index 4ec7b415..d91a0d89 100644 --- a/dune-project +++ b/dune-project @@ -17,7 +17,7 @@ (bug_reports "https://github.com/c-cube/sidekick/issues/") -(using menhir 1.0) +(using menhir 2.0) (package (name sidekick) @@ -80,3 +80,17 @@ (sidekick-base (= :version)) menhir)) + +(package + (name sidekick-parser) + (synopsis "High-level parser and syntax for sidekick-base") + (depends + zarith + (sidekick + (= :version)) + (sidekick-base + (= :version)) + (pp_loc + (>= 0.2)) + (odoc :with-doc) + menhir)) diff --git a/unittest/core-logic/dune b/unittest/core-logic/dune index 1969c8d2..63bdc503 100644 --- a/unittest/core-logic/dune +++ b/unittest/core-logic/dune @@ -1,4 +1,5 @@ (tests (names t1) (flags :standard -open Sidekick_util) + (package sidekick) (libraries containers sidekick.util sidekick.core-logic)) diff --git a/unittest/core/dune b/unittest/core/dune index ef4ca208..4a676f5c 100644 --- a/unittest/core/dune +++ b/unittest/core/dune @@ -1,4 +1,5 @@ (tests (names t_trace) (flags :standard -open Sidekick_core -open Sidekick_util) + (package sidekick) (libraries containers sidekick.core sidekick.trace)) diff --git a/unittest/mini-cc/dune b/unittest/mini-cc/dune index 9c211a70..d6799160 100644 --- a/unittest/mini-cc/dune +++ b/unittest/mini-cc/dune @@ -1,4 +1,5 @@ (test (name sidekick_test_minicc) (libraries sidekick.mini-cc sidekick-base alcotest) + (package sidekick-base) (flags :standard -warn-error -a+8))