diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml index b376807..ec8c852 100644 --- 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 index 04ea03e..c522667 100644 --- 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 index 2bc70a0..c9d1e25 100644 --- a/dune-project +++ b/dune-project @@ -1,4 +1,3 @@ (lang dune 2.7) (name sworn) (version 0.4.0) -(using menhir 2.0)