chore: add sidekick-parser opam package

This commit is contained in:
Simon Cruanes 2022-10-06 22:04:43 -04:00
parent 6e423e3f75
commit edc96cc9c1
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4
4 changed files with 18 additions and 1 deletions

View file

@ -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))

View file

@ -1,4 +1,5 @@
(tests
(names t1)
(flags :standard -open Sidekick_util)
(package sidekick)
(libraries containers sidekick.util sidekick.core-logic))

View file

@ -1,4 +1,5 @@
(tests
(names t_trace)
(flags :standard -open Sidekick_core -open Sidekick_util)
(package sidekick)
(libraries containers sidekick.core sidekick.trace))

View file

@ -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))