diff options
author | Dan Liew <daniel.liew@imperial.ac.uk> | 2015-04-03 12:28:48 +0100 |
---|---|---|
committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2015-04-03 16:31:56 +0100 |
commit | 0443386785069017c3ff579e56424a9bdce79d60 (patch) | |
tree | fdd83b2cb2ed298bed9ab3f05339193a079511a2 /.travis.yml | |
parent | ac0bb84c90517b4aac100e6709f285f0e3620af2 (diff) |
Add .travis.yml file for TravisCI builds.
Diffstat (limited to '.travis.yml')
-rw-r--r-- | .travis.yml | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/.travis.yml b/.travis.yml new file mode 100644 index 00000000..c5d0c21d --- /dev/null +++ b/.travis.yml @@ -0,0 +1,26 @@ +# vim: set sw=2 ts=2 softtabstop=2 expandtab: +language: csharp +sudo: true +solution: "Source/Boogie.sln" +env: + - BOOGIE_CONFIG=Debug + - BOOGIE_CONFIG=Release +install: + - sudo apt-key adv --recv-keys --keyserver keyserver.ubuntu.com C504E590 + # FIXME: We should not be using GPUVerify's repo for Z3 + - sudo sh -c 'echo "deb http://ppa.launchpad.net/delcypher/gpuverify-smt/ubuntu precise main" > /etc/apt/sources.list.d/smt.list' + - sudo apt-get update + - nuget restore ${TRAVIS_SOLUTION} + # Install Z3 + - sudo apt-get -y install z3=4.3.2-0~precise2 + # Install needed python tools + - sudo pip install lit OutputCheck pyyaml + - mkdir -p Source/packages && cd Source/packages && nuget install NUnit.Runners -Version 2.6.3 + - cd ../../ +script: + - xbuild /p:Configuration=${BOOGIE_CONFIG} ${TRAVIS_SOLUTION} + # Run unit tests + - python Source/UnitTests/run-unittests.py ${BOOGIE_CONFIG} + # Run driver tests + - ln -s /usr/bin/z3 Binaries/z3.exe + - lit -v Test/ |