Merge pull request #135 from clarus/coq-optional

Set Coq as an optional dependency

.travis.yml

@@ -46,10 +46,11 @@ script:
     sudo chown -R opam:opam /home/project
     export OPAMWITHTEST=true
     # Check if the package is compatible with the current environment
-    if [ "${SHOULD_SUPPORT}" = "true" ] || opam install ${PACKAGE_NAME} --show-action; then
+    if [ "${SHOULD_SUPPORT}" = "true" ] || opam install coq ${PACKAGE_NAME} --show-action; then
       # First, install the dependencies
       sudo apt-get update
       opam depext ${PACKAGE_NAME} -y
+      opam install coq -y
       opam install ${PACKAGE_NAME} --deps-only -y
       opam list
       # Then, install the package itself in verbose mode

coq-of-ocaml.opam

@@ -8,23 +8,28 @@ bug-reports: "https://github.com/clarus/coq-of-ocaml/issues"
 authors: ["Guillaume Claret"]
 license: "MIT"
 build: [
-  ["sh" "-c" "cd OCaml && ./configure.sh"]
-  [make "-C" "OCaml" "-j%{jobs}%"]
+  ["sh" "-c" "cd OCaml && ./configure.sh"] {coq:installed}
+  [make "-C" "OCaml" "-j%{jobs}%"] {coq:installed}
   [make "-j%{jobs}%"]
   [make "test"] {with-test}
 ]
 install: [
-  [make "-C" "OCaml" "install"]
+  [make "-C" "OCaml" "install"] {coq:installed}
 ]
 depends: [
   "conf-ruby" {with-test}
-  "coq" {>= "8.11"}
   "dune" {build}
   "menhir" {build}
   "ocaml" {>= "4.09" & < "4.10"}
   "smart-print"
   "yojson" {>= "1.6.0"}
 ]
+depopts: [
+  "coq"
+]
+conflicts: [
+  "coq" {< "8.11"}
+]
 tags: [
   "keyword:compilation"
   "keyword:ocaml"