.travis.yml

dist: trusty
language: ocaml
cache:
  apt: true
  directories:
  - "$HOME/.opam"
  - "$HOME/Library/Caches/Homebrew"
  timeout: 2000
env:
  global:
  - OPAMYES=true
  - OCAML_VERSION=4.07
  - OPAMVERBOSE=1
  - NJOBS=2
  - BASE_REMOTE=http://opam.ocaml.org/
  matrix:
  - COQ="8.9.0"
  - COQ="8.9.1"
matrix:
  fast_finish: true
  allow_failures:
  - os: osx
os:
- linux
- osx
before_install: curl -L https://raw.githubusercontent.com/ocaml/ocaml-ci-scripts/master/.travis-ocaml.sh | sh
install:
- eval $(opam config env)
- opam config var root
- ocamlc -v
- opam repo add coq-released https://coq.inria.fr/opam/released || true
- opam repo add coq-extra-dev https://coq.inria.fr/opam/extra-dev || true
- opam update
- opam pin add coq $COQ
- opam pin add --dev-repo coq-quickchick 8.9.dev
- opam upgrade
- opam list
script:
- set -e
- echo '编译《逻辑基础》';
  echo -e 'travis_fold:start:lf';
  make -C lf-current -j;
  echo -e 'travis_fold:end:lf'
- echo '编译《程序语言基础》';
  echo -e 'travis_fold:start:plf';
  make -C plf-current -j;
  echo -e 'travis_fold:end:plf'
- echo '编译《函数式算法验证》';
  echo -e 'travis_fold:start:vfa';
  make -C vfa-current -j;
  echo -e 'travis_fold:end:vfa'
- echo '编译《QuickChick：软件特性测试》';
  echo -e 'travis_fold:start:qc';
  make -C qc-current -j;
  echo -e 'travis_fold:end:qc'
- echo '检查压缩包';
  echo -e 'travis_fold:start:tar';
  for v in lf plf vfa qc;
  do tar -xf $v-current/$v.tgz;
     make -C $v -j > /dev/null;
     done;
  echo -e 'travis_fold:end:tar'
before_cache:
- if [ $TRAVIS_OS_NAME = osx ]; then brew cleanup; fi
- opam clean
notifications:
  slack:
    secure: qwnWa6Dyj5//Hc+O74qsAT/vtoMWDv8wLcljt+tUDw0m+YWNB1umrvmSI3++/Fe4f0EEQhz/E2pzaNGyEF8oddhsCn8JoH9DzpaDWk/dNwbcMUvRVIHbnq0V+d4+AHTBD05eZgMlmPC8DYPNOSv7wJLJXtAmbHtl0G1F961bbZY39WDLAQFqa71trnTEX8hxIG0nrF8W3hCrGg6LFH+Mk1rzG5zBQqxSwnlxsr3Uj6utuYXeidaTShrGb3hqcRlg5N/CyAqN0ZzGkl2W9ng59dStTNyTsDeuUANOBmuB0V95W5c7zSXRMuOk/N/apKXVRGu+DKXirSjCZNZyE/kCNDS40+0JnZn8la4em806rQa0cp+ck+0yfV8TvoCOulHnvq0XAaAZzWLVqgB6wjTuDhNDuI9FpULRGnmQ5fkWVo3ozFrFdNqud1EMJkqJlfUL/F3xuyuHRLR0Z5RHGuTYURIKA/En3Do1oPl3rHubTTL4KeGIiOlBJiKsom0/AV8q15trwCF57aK3o1q6n8Zcp1gYOrZjMDv5MXlhnkKvQzkSkeaYRoOiMEhVe0h0dRgfT/uf/ugIXiWkbMhlrFuSlk2vXM5g0PEimw+Zjl2mySQgu4okawGJI/zRuVQr1xBX30uEOMcevEv/FN8RqgjGlVl/DArUqx6pYWRgWfac6gE=
    on_success: :change