fix(build) issue with camlp5

Signed-off-by: Jerome Simeon <jeromesimeon@me.com>
accordproject · Jul 17, 2020 · fd5f437 · fd5f437
1 parent a9499c6
commit fd5f437
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/.circleci/config.yml b/.circleci/config.yml
@@ -39,7 +39,7 @@ common_steps: &common_steps
     - run:
         name: "Install OCaml deps"
         command: |
-          opam install -y -v --jobs=2 ocamlbuild menhir camlp5 base64 js_of_ocaml js_of_ocaml-ppx yojson atdgen re calendar uri
+          opam install -y -v --jobs=2 ocamlbuild menhir base64 js_of_ocaml js_of_ocaml-ppx yojson atdgen re calendar uri
     - run:
         name: "Install Coq"
         command: |

diff --git a/DEVELOPERS.md b/DEVELOPERS.md
@@ -53,7 +53,7 @@ To rebuild the compiler from the source, you will need Coq 8.8.2 and OCaml 4.07.
 
 ```sh
 $ opam repo add coq-released https://coq.inria.fr/opam/released
-$ opam install ocamlbuild menhir camlp5 base64 js_of_ocaml js_of_ocaml-ppx yojson atdgen re calendar uri
+$ opam install ocamlbuild menhir base64 js_of_ocaml js_of_ocaml-ppx yojson atdgen re calendar uri
 $ opam install coq.8.8.2 coq-qcert.1.4.1
 ```