Commit 268b622a authored by Gabriel Scherer's avatar Gabriel Scherer
Browse files

add Menhir as a client dependency

parent e3c4607a
Pipeline #249032 passed with stage
in 14 minutes and 41 seconds
......@@ -15,5 +15,13 @@ build: [
depends: [
"ocaml" { >= "4.08" }
"dune" { >= "1.11" }
# These dependencies are only used by the client,
# which is currently only used when running tests.
# We don't want to impose them as extra dependencies to any
# user of Inferno as a library.
# In the future we should separate the client to a separate opam
# package to make the distinction clearer.
"menhir" {with-test}
"pprint" {with-test}
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment