2017-07-05 19:58:04 +03:00
|
|
|
dist: trusty
|
|
|
|
sudo: false
|
|
|
|
|
|
|
|
language: c
|
|
|
|
|
2017-10-07 00:17:35 +03:00
|
|
|
cache:
|
|
|
|
directories:
|
|
|
|
- $HOME/.ghc
|
|
|
|
- $HOME/.cabal
|
|
|
|
|
2017-07-05 19:58:04 +03:00
|
|
|
matrix:
|
|
|
|
include:
|
2019-10-23 23:20:59 +03:00
|
|
|
- env: CABALVER="3.0" GHCVER="8.4.4"
|
2019-10-23 02:44:01 +03:00
|
|
|
compiler: ": #GHC 8.4.4"
|
2019-10-23 23:20:59 +03:00
|
|
|
addons: {apt: {packages: [cabal-install-3.0,ghc-8.4.4], sources: [hvr-ghc]}}
|
|
|
|
- env: CABALVER="3.0" GHCVER="8.6.5"
|
2019-10-23 02:44:01 +03:00
|
|
|
compiler: ": #GHC 8.6.5"
|
|
|
|
addons: {apt: {packages: [cabal-install-3.0,ghc-8.6.5], sources: [hvr-ghc]}}
|
2019-10-23 23:20:59 +03:00
|
|
|
- env: CABALVER="3.0" GHCVER="8.8.1"
|
2019-10-23 02:44:01 +03:00
|
|
|
compiler: ": #GHC 8.8.1"
|
|
|
|
addons: {apt: {packages: [cabal-install-3.0,ghc-8.8.1], sources: [hvr-ghc]}}
|
2017-07-05 19:58:04 +03:00
|
|
|
|
2017-10-07 00:44:11 +03:00
|
|
|
before_install:
|
2017-07-05 20:27:08 +03:00
|
|
|
- if [[ $TRAVIS_OS_NAME == 'linux' ]];
|
|
|
|
then
|
2017-07-08 01:28:52 +03:00
|
|
|
mkdir -p $HOME/bin;
|
2017-07-08 01:25:20 +03:00
|
|
|
export PATH=/opt/ghc/$GHCVER/bin:/opt/cabal/$CABALVER/bin:$HOME/bin:$HOME/.cabal/bin:$PATH;
|
2017-07-08 01:09:40 +03:00
|
|
|
curl https://saw.galois.com/builds/z3/z3 > z3;
|
|
|
|
chmod +x z3;
|
2017-07-08 01:25:20 +03:00
|
|
|
mv z3 $HOME/bin/z3;
|
2017-07-08 01:11:25 +03:00
|
|
|
z3 --version;
|
2017-07-05 20:27:08 +03:00
|
|
|
fi
|
|
|
|
- env
|
2017-07-05 19:58:04 +03:00
|
|
|
|
2017-10-07 00:44:11 +03:00
|
|
|
script:
|
2019-10-23 23:20:59 +03:00
|
|
|
- cp cabal.GHC-${GHCVER}.config cabal.project.freeze
|
2019-10-28 23:49:45 +03:00
|
|
|
- cabal v2-configure --allow-newer
|
2017-07-05 20:18:08 +03:00
|
|
|
- cabal update
|
2019-09-03 19:40:35 +03:00
|
|
|
- bash cry build
|
2018-12-13 19:39:04 +03:00
|
|
|
- bash cry test
|
2017-07-05 19:58:04 +03:00
|
|
|
|
2014-04-28 08:54:18 +04:00
|
|
|
notifications:
|
2017-07-05 19:39:35 +03:00
|
|
|
email: false
|