https://github.com/thery/hanoi
Tip revision: 67adfffa662dfa04a8c4bb5899f305f942e4e47c authored by thery on 21 April 2021, 01:33:05 UTC
README
README
Tip revision: 67adfff
.travis.yml
dist: trusty
sudo: required
language: generic
branches:
only:
- master
services:
- docker
env:
global:
- NJOBS="2"
- CONTRIB_NAME="hanoi"
matrix:
- DOCKERIMAGE="mathcomp/mathcomp:1.12.0-coq-8.13"
install: |
# Prepare the COQ container
docker pull "${DOCKERIMAGE}"
docker run -d -i --init --name=COQ -v ${TRAVIS_BUILD_DIR}:/home/coq/${CONTRIB_NAME} -w /home/coq/${CONTRIB_NAME} "${DOCKERIMAGE}"
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
# Using flambda makes sense here as we usually get ~10% faster
# builds in math-comp.
opam switch \$COMPILER_EDGE
opam update -y
opam config list
opam repo list
opam list
sudo chown -R coq:coq /home/coq/${CONTRIB_NAME}
opam pin add -y -n ${CONTRIB_NAME} .
opam install -y -vvv --deps-only ${CONTRIB_NAME}
"
script:
- echo -e "${ANSI_YELLOW}Building ${CONTRIB_NAME}...${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
opam install -y -vvv ${CONTRIB_NAME}
"
- docker stop COQ # optional
- echo -en 'travis_fold:end:script\\r'