2016-04-01 10:29:09 +05:30
|
|
|
language: c
|
|
|
|
|
sudo: false
|
|
|
|
|
addons:
|
|
|
|
|
apt:
|
|
|
|
|
packages:
|
|
|
|
|
- texinfo
|
|
|
|
|
|
|
|
|
|
os:
|
2016-10-12 19:14:04 +02:00
|
|
|
# - osx
|
2016-04-01 10:29:09 +05:30
|
|
|
- linux
|
|
|
|
|
|
|
|
|
|
compiler:
|
|
|
|
|
- gcc
|
|
|
|
|
- clang
|
|
|
|
|
|
|
|
|
|
script:
|
|
|
|
|
- if [[ "${TRAVIS_OS_NAME}" == "osx" ]] && [[ "${CC}" == "gcc" ]]; then
|
|
|
|
|
export CC=gcc-4.8;
|
|
|
|
|
export CXX=g++-4.8;
|
|
|
|
|
fi
|
2016-04-11 06:52:20 +05:30
|
|
|
- if [[ "${TRAVIS_OS_NAME}" == "osx" ]]; then
|
|
|
|
|
export ARB_TEST_MULTIPLIER=0.1;
|
|
|
|
|
fi
|
2016-04-01 10:29:09 +05:30
|
|
|
- ./.build_dependencies
|
|
|
|
|
- ./configure --with-mpir=$HOME/deps --with-mpfr=$HOME/deps --with-flint=$HOME/deps
|
|
|
|
|
- make -j4
|
|
|
|
|
- make check
|
|
|
|
|
|
