Merge pull request DeepSpec#162 from liyishuai/master

opam: Compatible with 8.11

.circleci/config.yml

@@ -0,0 +1,58 @@
+version: 2.1
+
+defaults: &defaults
+  environment:
+    OPAMBESTEFFORT: true
+    OPAMJOBS: 2
+    OPAMVERBOSE: 1
+    OPAMWITHTEST: true
+    OPAMYES: true
+    TERM: xterm
+  resource_class: medium
+  steps:
+  - checkout
+  - run:
+      name: Configure environment
+      command: echo . ~/.profile >> $BASH_ENV
+  - run:
+      name: Install dependencies
+      command: |
+          opam repo -a add coq-extra-dev https://coq.inria.fr/opam/extra-dev
+          opam update
+          opam install --deps-only .
+  - run:
+      name: List installed packages
+      command: opam list
+  - run:
+      name: Build, test, and install package
+      command: opam install .
+  - run:
+      name: Uninstall package
+      command: opam remove .
+
+jobs:
+  coq 8_8:
+    <<: *defaults
+    docker:
+    - image: coqorg/coq:8.8
+  coq 8_9:
+    <<: *defaults
+    docker:
+    - image: coqorg/coq:8.9
+  coq 8_10:
+    <<: *defaults
+    docker:
+    - image: coqorg/coq:8.10
+  coq 8_11:
+    <<: *defaults
+    docker:
+    - image: coqorg/coq:8.11
+
+workflows:
+  version: 2
+  build:
+    jobs:
+    - coq 8_8
+    - coq 8_9
+    - coq 8_10
+    - coq 8_11

coq-itree.opam

@@ -15,7 +15,7 @@ run-test: [ make "-j%{jobs}%" "all" ]
 
 depends: [
   "ocaml"
-  "coq" {>= "8.8" & < "8.11~"}
+  "coq" {>= "8.8" & < "8.12~"}
   "coq-ext-lib" {>= "0.11.1" & < "0.12"}
   "coq-paco" {>= "4.0.0" & < "4.1.0"}
   "ocamlbuild" {with-test}