some dev doc

LPCIC · Oct 3, 2023 · b2be79b · b2be79b
1 parent ba0426e
commit b2be79b
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -73,6 +73,10 @@ opam pin add coq-elpi https://github.com/LPCIC/coq-elpi.git
 One can also clone this repository and type `make`, but check you have
 all the dependencies installed first (see [coq-elpi.opam](coq-elpi.opam)).
 
+We recommend to look at the [CI setup](.github/workflows) for
+ocaml versions being tested. Also, we recommend to install `dot-merlin-reader`
+and `ocaml-lsp-server` (version 1.15).
+
 </p></details>
 
 ## Documentation

diff --git a/coq-elpi.opam b/coq-elpi.opam
@@ -16,6 +16,8 @@ depends: [
   "stdlib-shims"
   "elpi" {>= "1.16.5" & < "1.18.0~"}
   "coq" {>= "8.18" & < "8.19~" }
+  "dot-merlin-reader" {with-dev}
+  "ocaml-lsp-server" {with-dev}
 ]
 tags: [
   "category:Miscellaneous/Coq Extensions"