diff options
| author | Yves Bertot | 2018-11-07 08:21:02 +0100 |
|---|---|---|
| committer | GitHub | 2018-11-07 08:21:02 +0100 |
| commit | a5116a4ad9689af0906e463786f2a5ccca4a35be (patch) | |
| tree | 7e39439474c42a2ccc80de1cfe87fb808952513b | |
| parent | a3e1acb50be3b700b7c36daef4d56f6c6d3ded6a (diff) | |
| parent | 9e5447b196804fd9ce754931e21802e5d02031d9 (diff) | |
Merge pull request #15 from ejgallego/add_travis
[travis] Add Travis File.
| -rw-r--r-- | .travis.yml | 38 |
1 files changed, 38 insertions, 0 deletions
diff --git a/.travis.yml b/.travis.yml new file mode 100644 index 0000000000..556e0ac45a --- /dev/null +++ b/.travis.yml @@ -0,0 +1,38 @@ +dist: trusty +sudo: required +language: generic + +services: + - docker + +env: + global: + - NJOBS="2" + - CONTRIB_NAME="plugin_tutorials" + matrix: + - COQ_IMAGE="coqorg/coq:dev" + +install: | + # Prepare the COQ container + docker run -d -i --init --name=COQ -v ${TRAVIS_BUILD_DIR}:/home/coq/$CONTRIB_NAME -w /home/coq/$CONTRIB_NAME ${COQ_IMAGE} + docker exec COQ /bin/bash --login -c " + # This bash script is double-quoted to interpolate Travis CI env vars: + 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 + opam list + " +script: +- echo -e "${ANSI_YELLOW}Building $CONTRIB_NAME...${ANSI_RESET}" && echo -en 'travis_fold:start:testbuild\\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/coq/$CONTRIB_NAME + ( cd tuto0 && make ) + ( cd tuto1 && make ) + ( cd tuto2 && make ) + ( cd tuto3 && make ) + " +- docker stop COQ # optional +- echo -en 'travis_fold:end:testbuild\\r' |