mirror of
https://github.com/vale981/arb
synced 2025-03-05 09:21:38 -05:00
Travis CI
This commit is contained in:
parent
7759e89a79
commit
12d77032f0
2 changed files with 51 additions and 0 deletions
26
.build_dependencies
Executable file
26
.build_dependencies
Executable file
|
@ -0,0 +1,26 @@
|
||||||
|
#! /bin/sh
|
||||||
|
|
||||||
|
wget http://mpir.org/mpir-2.7.0.tar.bz2
|
||||||
|
tar -xf mpir-2.7.0.tar.bz2
|
||||||
|
cd mpir-2.7.0
|
||||||
|
./configure --enable-gmpcompat --prefix=$HOME/deps
|
||||||
|
make -j4 > /dev/null 2>&1
|
||||||
|
make install
|
||||||
|
cd ..
|
||||||
|
|
||||||
|
wget http://www.mpfr.org/mpfr-current/mpfr-3.1.4.tar.bz2
|
||||||
|
tar -xf mpfr-3.1.4.tar.bz2
|
||||||
|
cd mpfr-3.1.4
|
||||||
|
./configure --with-gmp=$HOME/deps --prefix=$HOME/deps
|
||||||
|
make -j4 > /dev/null 2>&1
|
||||||
|
make install
|
||||||
|
cd ..
|
||||||
|
|
||||||
|
wget wget https://github.com/wbhart/flint2/archive/trunk.tar.gz
|
||||||
|
tar -xf trunk.tar.gz
|
||||||
|
cd flint2-trunk
|
||||||
|
./configure --with-gmp=$HOME/deps --with-mpfr=$HOME/deps --prefix=$HOME/deps
|
||||||
|
make -j4 > /dev/null 2>&1
|
||||||
|
make install
|
||||||
|
cd ..
|
||||||
|
|
25
.travis.yml
Normal file
25
.travis.yml
Normal file
|
@ -0,0 +1,25 @@
|
||||||
|
language: c
|
||||||
|
sudo: false
|
||||||
|
addons:
|
||||||
|
apt:
|
||||||
|
packages:
|
||||||
|
- texinfo
|
||||||
|
|
||||||
|
os:
|
||||||
|
- osx
|
||||||
|
- linux
|
||||||
|
|
||||||
|
compiler:
|
||||||
|
- gcc
|
||||||
|
- clang
|
||||||
|
|
||||||
|
script:
|
||||||
|
- if [[ "${TRAVIS_OS_NAME}" == "osx" ]] && [[ "${CC}" == "gcc" ]]; then
|
||||||
|
export CC=gcc-4.8;
|
||||||
|
export CXX=g++-4.8;
|
||||||
|
fi
|
||||||
|
- ./.build_dependencies
|
||||||
|
- ./configure --with-mpir=$HOME/deps --with-mpfr=$HOME/deps --with-flint=$HOME/deps
|
||||||
|
- make -j4
|
||||||
|
- make check
|
||||||
|
|
Loading…
Add table
Reference in a new issue