https://github.com/ibex-team/ibex-lib
Revision 287eb44bcfa0953c7f89c6882d621c726085655e authored by gchabert on 09 September 2016, 14:48:45 UTC, committed by gchabert on 09 September 2016, 14:48:45 UTC
1 parent 4ffa228
Tip revision: 287eb44bcfa0953c7f89c6882d621c726085655e authored by gchabert on 09 September 2016, 14:48:45 UTC
Add relative/absolute inflation in Interval(Vector)
Add relative/absolute inflation in Interval(Vector)
Tip revision: 287eb44
.travis.yml
language: C
matrix:
include:
- os: linux
compiler: gcc
- os: osx
compiler: clang
osx_image: xcode7.3
allow_failures: # temporary
- os: osx
# only works on linux
addons:
apt:
packages:
- python
- flex
- bison
- libcppunit-dev
# need this to install dependencies on osx
before_install:
- if [ "$TRAVIS_OS_NAME" = "osx" ] ; then brew update ; brew install python flex bison cppunit; fi
install:
- cd plugins/optim/; tar xvf soplex-1.7.1.tar && cd soplex-1.7.1 && make install && cd ../../..
- ./waf configure --with-optim --with-soplex=$PWD/plugins/optim/soplex-1.7.1 --with-affine
- sudo ./waf install
- export PKG_CONFIG_PATH=/usr/local/share/pkgconfig/
- cd tests/ && make utest && cd ..
- cd plugins/optim/tests/ && make nonreg && cd ../../..
# command to run tests
script:
# - __build__/examples/optimizer04 benchs/benchs-optim/coconutbenchmark-library1/ex8_5_2.bch acidhc4 compo smearsumrel 1.e-8 1.e-8 100 1
- cd tests/ && ./utest && cd ..
# - cd plugins/optim/tests/ && ./nonreg nonreg-travis-soplex-filib.res && cd ../../..
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...