mirror of
https://github.com/GaloisInc/macaw.git
synced 2024-11-24 00:42:28 +03:00
78 lines
2.9 KiB
YAML
78 lines
2.9 KiB
YAML
# This file has been generated -- see https://github.com/hvr/multi-ghc-travis
|
|
language: c
|
|
sudo: false
|
|
|
|
cache:
|
|
directories:
|
|
- $HOME/.cabsnap
|
|
- $HOME/.cabal/packages
|
|
|
|
before_cache:
|
|
- rm -fv $HOME/.cabal/packages/hackage.haskell.org/build-reports.log
|
|
- rm -fv $HOME/.cabal/packages/hackage.haskell.org/00-index.tar
|
|
|
|
matrix:
|
|
include:
|
|
- env: CABALVER=1.24 GHCVER=8.0.2
|
|
compiler: ": #GHC 8.0.2"
|
|
addons: {apt: {packages: [cabal-install-1.24,ghc-8.0.2], sources: [hvr-ghc]}}
|
|
|
|
before_install:
|
|
- unset CC
|
|
- export PATH=/opt/ghc/$GHCVER/bin:/opt/cabal/$CABALVER/bin:$PATH
|
|
|
|
install:
|
|
- cabal --version
|
|
- echo "$(ghc --version) [$(ghc --print-project-git-commit-id 2> /dev/null || echo '?')]"
|
|
- if [ -f $HOME/.cabal/packages/hackage.haskell.org/00-index.tar.gz ];
|
|
then
|
|
zcat $HOME/.cabal/packages/hackage.haskell.org/00-index.tar.gz >
|
|
$HOME/.cabal/packages/hackage.haskell.org/00-index.tar;
|
|
fi
|
|
- travis_retry cabal update -v
|
|
- sed -i 's/^jobs:/-- jobs:/' ${HOME}/.cabal/config
|
|
- cd x86; cabal install --only-dependencies --enable-tests --enable-benchmarks --dry -v > installplan.txt
|
|
- sed -i -e '1,/^Resolving /d' installplan.txt; cat installplan.txt
|
|
|
|
# check whether current requested install-plan matches cached package-db snapshot
|
|
- if diff -u $HOME/.cabsnap/installplan.txt installplan.txt;
|
|
then
|
|
echo "cabal build-cache HIT";
|
|
rm -rfv .ghc;
|
|
cp -a $HOME/.cabsnap/ghc $HOME/.ghc;
|
|
cp -a $HOME/.cabsnap/lib $HOME/.cabsnap/share $HOME/.cabsnap/bin $HOME/.cabal/;
|
|
else
|
|
echo "cabal build-cache MISS";
|
|
rm -rf $HOME/.cabsnap;
|
|
mkdir -p $HOME/.ghc $HOME/.cabal/lib $HOME/.cabal/share $HOME/.cabal/bin;
|
|
cabal install --only-dependencies --enable-tests --enable-benchmarks;
|
|
fi
|
|
- popd
|
|
# snapshot package-db on cache miss
|
|
- if [ ! -d $HOME/.cabsnap ];
|
|
then
|
|
echo "snapshotting package-db to build-cache";
|
|
mkdir $HOME/.cabsnap;
|
|
cp -a $HOME/.ghc $HOME/.cabsnap/ghc;
|
|
cp -a $HOME/.cabal/lib $HOME/.cabal/share $HOME/.cabal/bin installplan.txt $HOME/.cabsnap/;
|
|
fi
|
|
|
|
# Here starts the actual work to be performed for the package under test;
|
|
# any command which exits with a non-zero exit code causes the build to fail.
|
|
script:
|
|
- if [ -f configure.ac ]; then autoreconf -i; fi
|
|
- cabal configure --enable-tests --enable-benchmarks -v2 # -v2 provides useful information for debugging
|
|
- cabal build # this builds all libraries and executables (including tests/benchmarks)
|
|
- cabal test
|
|
- cabal check
|
|
- cabal haddock # tests that documentation can be generated
|
|
- cabal sdist # tests that a source-distribution can be generated
|
|
|
|
# Check that the resulting source distribution can be built & installed.
|
|
# If there are no other `.tar.gz` files in `dist`, this can be even simpler:
|
|
# `cabal install --force-reinstalls dist/*-*.tar.gz`
|
|
- SRC_TGZ=$(cabal info . | awk '{print $2;exit}').tar.gz &&
|
|
(cd dist && cabal install --force-reinstalls "$SRC_TGZ")
|
|
|
|
# EOF
|