Merge pull request #6 from coq-io/fix-parallel-builds

Set the number of parallel buils with the opam variable

Author: clarus

.travis.yml

@@ -7,8 +7,7 @@ services:
 
 env:
   global:
-  - NJOBS="2"
-  - CONTRIB_NAME="demo"
+  - OPAMJOBS="2"
   matrix:
   - COQ_IMAGE="coqorg/coq:8.5"
   - COQ_IMAGE="coqorg/coq:8.6"
@@ -27,21 +26,22 @@ install: |
     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.opam . --kind=path -y
+    opam pin add coq-io.opam . --kind=path -y --no-action
     opam install coq-io --deps-only
     opam config list
     opam repo list
+    opam pin list
     opam list
     " install
 
 script:
-- echo -e "${ANSI_YELLOW}Building ${CONTRIB_NAME}...${ANSI_RESET}" && echo -en 'travis_fold:start:script\\r'
+- echo -e "${ANSI_YELLOW}Building...${ANSI_RESET}" && echo -en 'travis_fold:start:script\\r'
 - |
   docker exec COQ /bin/bash --login -c "
     export PS4='+ \e[33;1m(\$0 @ line \$LINENO) \$\e[0m '
     set -ex
     sudo chown -R coq:coq /home/project
-    opam install coq-io
+    opam install coq-io -v
     " script
 - docker stop COQ  # optional
 - echo -en 'travis_fold:end:script\\r'