From ba0426e8f035e597785252e6c7b313409331e294 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@Inria.fr>
Date: Tue, 3 Oct 2023 15:03:08 +0200
Subject: [PATCH 1/2] test ocaml 5

---
 .github/workflows/main.yml | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 9d869f295..e871b223f 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -37,6 +37,16 @@ jobs:
       env:
         OPAMWITHTEST: 'true'
 
+  play:
+    runs-on: ubuntu-latest
+    steps:
+    - uses: actions/checkout@v2
+    - uses: avsm/setup-ocaml@v2
+      with:
+        ocaml-compiler: 5.1.x
+    - run: |
+        opam install ./coq-elpi.opam
+
   release:
     runs-on: ubuntu-latest
     if: startsWith(github.ref, 'refs/tags/')

From b2be79ba6c4d2a20aacf40cf827148f879d7355f Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@Inria.fr>
Date: Tue, 3 Oct 2023 15:37:32 +0200
Subject: [PATCH 2/2] some dev doc

---
 README.md     | 4 ++++
 coq-elpi.opam | 2 ++
 2 files changed, 6 insertions(+)

diff --git a/README.md b/README.md
index 483769296..92869edfa 100644
--- 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
index 1682397f4..5fb2abfba 100644
--- 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"