Merge pull request #6 from coq-io/without-the-ocaml-code

Remove the ocaml/ folder

.travis.yml

@@ -7,8 +7,9 @@ services:
 
 env:
   global:
-  - OPAMJOBS="2"
+  - PACKAGE_NAME="coq-io-system"
   matrix:
+  - COQ_IMAGE="coqorg/coq:8.4"
   - COQ_IMAGE="coqorg/coq:8.5"
   - COQ_IMAGE="coqorg/coq:8.6"
   - COQ_IMAGE="coqorg/coq:8.7"
@@ -24,11 +25,8 @@ install: |
     echo \"Build triggered by ${TRAVIS_EVENT_TYPE}\"
     export PS4='+ \e[33;1m(\$0 @ line \$LINENO) \$\e[0m '
     set -ex  # -e = exit on failure; -x = trace for debug
-    if [ -n \"\${COMPILER_EDGE}\" ]; then opam switch \${COMPILER_EDGE}; eval \$(opam env); fi
-    opam update -y
-    opam pin add coq-io-system.opam . --kind=path -y --no-action
-    opam pin add coq-io-system-ocaml.opam . --kind=path -y --no-action
-    opam install coq-io-system --deps-only -y --ignore-constraints-on=coq-io-system-ocaml
+    opam update
+    opam pin add ${PACKAGE_NAME}.opam . --kind=path --no-action
     opam config list
     opam repo list
     opam pin list
@@ -42,7 +40,14 @@ script:
     export PS4='+ \e[33;1m(\$0 @ line \$LINENO) \$\e[0m '
     set -ex
     sudo chown -R coq:coq /home/project
-    opam install coq-io-system -v --ignore-constraints-on=coq-io-system-ocaml
+    # Check if the package is compatible with the current environment
+    if opam install ${PACKAGE_NAME} --show-action; then
+      # First install the dependencies
+      opam install ${PACKAGE_NAME} --deps-only -y
+      opam list
+      # Then install the package itself in verbose mode
+      opam install ${PACKAGE_NAME} -v
+    fi;
     " script
 - docker stop COQ  # optional
 - echo -en 'travis_fold:end:script\\r'

coq-io-system.opam

@@ -18,7 +18,7 @@ depends: [
   "coq-function-ninjas"
   "coq-list-string" {>= "2.0.0"}
   "coq-io" {>= "4.0.0"}
-  "coq-io-system-ocaml" {= "2.5.0"}
+  "coq-io-system-ocaml" {>= "2.3.0"}
 ]
 tags: [
   "keyword:effects"