Removed the unnecessary direct Menhir dependency.

weavery · Oct 9, 2020 · 009a990 · 009a990
1 parent b764506
commit 009a990
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 6 deletions.
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -30,7 +30,7 @@ jobs:
         run: opam install -y dune
       - name: Install dependencies
         run: |
-          opam install -y alcotest cmdliner cppo iso8601 menhir num ocolor wasm
+          opam install -y alcotest cmdliner cppo iso8601 num ocolor wasm
           opam pin add -y clarity-lang https://github.com/weavery/clarity.ml -k git
       - name: Build `sworn`
         run: opam exec -- dune build

diff --git a/README.md b/README.md
@@ -311,9 +311,6 @@ Sworn from source code:
 - [ISO8601](https://opam.ocaml.org/packages/ISO8601/)
   for date handling
 
-- [Menhir](https://opam.ocaml.org/packages/menhir/)
-  for parsing
-
 - [Num](https://opam.ocaml.org/packages/num/)
   for 128-bit integers
 
@@ -326,7 +323,7 @@ Sworn from source code:
 These aforementioned dependencies are all best installed via OPAM:
 
 ```bash
-opam install -y alcotest cmdliner cppo iso8601 menhir num ocolor wasm
+opam install -y alcotest cmdliner cppo iso8601 num ocolor wasm
 opam pin add -y clarity-lang https://github.com/weavery/clarity.ml -k git
 ```
 

diff --git a/dune-project b/dune-project
@@ -1,4 +1,3 @@
 (lang dune 2.7)
 (name sworn)
 (version 0.4.0)
-(using menhir 2.0)