mirror of
https://github.com/GaloisInc/macaw.git
synced 2024-12-29 17:17:05 +03:00
still fixing travis
This commit is contained in:
Ben Selfridge
parent
9980986069
commit
c39ac71631
33
.travis.yml
33
.travis.yml
@ -20,6 +20,7 @@ matrix:
|
||||
before_install:
|
||||
- unset CC
|
||||
- export PATH=/opt/ghc/$GHCVER/bin:/opt/cabal/$CABALVER/bin:$PATH
|
||||
- cd x86/tests
|
||||
|
||||
install:
|
||||
- cabal --version
|
||||
@ -31,39 +32,15 @@ install:
|
||||
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
|
||||
# - cabal install --only-dependencies --enable-tests --enable-benchmarks --dry -v > installplan.txt
|
||||
- stack install macaw-x86 --only-dependencies --test --dry-run -v 2> 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
|
||||
- stack build macaw-x86
|
||||
- stack test macaw-x86
|
||||
- cabal check
|
||||
- cabal haddock # tests that documentation can be generated
|
||||
- cabal sdist # tests that a source-distribution can be generated
|
||||
|
||||
96
x86/tests/stack.ghc-8.0.2.yaml
Normal file
96
x86/tests/stack.ghc-8.0.2.yaml
Normal file
@ -0,0 +1,96 @@
|
||||
flags:
|
||||
time-locale-compat:
|
||||
old-locale: false
|
||||
packages:
|
||||
- ../../base/
|
||||
- ../
|
||||
- ../../symbolic/
|
||||
- submodules/dwarf
|
||||
- submodules/elf-edit/
|
||||
- submodules/flexdis86/
|
||||
- submodules/parameterized-utils/
|
||||
extra-deps:
|
||||
- IntervalMap-0.5.2.0
|
||||
- QuickCheck-2.10.0.1
|
||||
- StateVar-1.1.0.4
|
||||
- adjunctions-4.3
|
||||
- ansi-terminal-0.6.3.1
|
||||
- ansi-wl-pprint-0.6.8.1
|
||||
- async-2.1.1.1
|
||||
- base-orphans-0.6
|
||||
- bifunctors-5.4.2
|
||||
- binary-0.8.5.1
|
||||
- call-stack-0.1.0
|
||||
- clock-0.7.2
|
||||
- comonad-5.0.2
|
||||
- containers-0.5.10.2
|
||||
- contravariant-1.4
|
||||
- distributive-0.5.3
|
||||
- exceptions-0.8.3
|
||||
- fail-4.9.0.0
|
||||
- filemanip-0.3.6.3
|
||||
- free-4.12.4
|
||||
- hashable-1.2.6.1
|
||||
- hashtables-1.2.1.1
|
||||
- kan-extensions-5.0.2
|
||||
- lens-4.15.4
|
||||
- mtl-2.2.1
|
||||
- optparse-applicative-0.14.0.0
|
||||
- parallel-3.2.1.1
|
||||
- parsec-3.1.11
|
||||
- prelude-extras-0.4.0.3
|
||||
- primitive-0.6.2.0
|
||||
- profunctors-5.2.1
|
||||
- random-1.1
|
||||
- reflection-2.1.2
|
||||
- regex-base-0.93.2
|
||||
- regex-tdfa-1.2.2
|
||||
- semigroupoids-5.2.1
|
||||
- semigroups-0.18.3
|
||||
- stm-2.4.4.1
|
||||
- tagged-0.8.5
|
||||
- tasty-0.11.2.5
|
||||
- tasty-hunit-0.9.2
|
||||
- temporary-1.2.1.1
|
||||
- text-1.2.2.2
|
||||
- tf-random-0.5
|
||||
- th-abstraction-0.2.5.0
|
||||
- time-locale-compat-0.1.1.3
|
||||
- transformers-compat-0.5.1.4
|
||||
- unbounded-delays-0.1.1.0
|
||||
- unix-compat-0.4.3.1
|
||||
- unliftio-0.1.0.0
|
||||
- unliftio-core-0.1.0.0
|
||||
- unordered-containers-0.2.8.0
|
||||
- utf8-string-1.0.1.1
|
||||
- vector-0.12.0.1
|
||||
- vector-th-unbox-0.2.1.6
|
||||
- void-0.7.2
|
||||
- xml-1.3.14
|
||||
- zlib-0.6.1.2
|
||||
- zlib-bindings-0.1.1.5
|
||||
|
||||
- conduit-1.2.12.1
|
||||
- conduit-extra-1.1.17
|
||||
- fast-logger-2.4.10
|
||||
- lifted-base-0.2.3.11
|
||||
- mmorph-1.1.0
|
||||
- monad-control-1.0.2.2
|
||||
- monad-loops-0.4.3
|
||||
- old-locale-1.0.0.7
|
||||
- stm-chans-3.0.0.4
|
||||
- transformers-base-0.4.4
|
||||
|
||||
- auto-update-0.1.4
|
||||
- easy-file-0.2.1
|
||||
- streaming-commons-0.1.18
|
||||
- unix-time-0.3.7
|
||||
|
||||
- old-time-1.1.0.3
|
||||
|
||||
- base16-bytestring-0.1.1.6
|
||||
- cereal-0.5.4.0
|
||||
|
||||
|
||||
|
||||
resolver: ghc-8.0.2
|
||||
1
x86/tests/stack.yaml
Symbolic link
1
x86/tests/stack.yaml
Symbolic link
@ -0,0 +1 @@
|
||||
stack.ghc-8.0.2.yaml
|
||||
Loading…
Reference in New Issue
Block a user