This repository has been archived on 2020-06-07. You can view files and clone it, but cannot push or open issues or pull requests.
2019-07-28 16:29:44 +00:00
|
|
|
dist: bionic
|
2019-03-20 14:55:19 +00:00
|
|
|
group: edge
|
|
|
|
|
|
|
|
language: php
|
|
|
|
|
|
|
|
php:
|
|
|
|
- 7.1
|
|
|
|
- 7.2
|
|
|
|
- 7.3
|
|
|
|
|
2019-03-25 07:14:53 +00:00
|
|
|
env:
|
|
|
|
global:
|
2019-12-08 17:31:13 +00:00
|
|
|
- ARMA_VERSION="9.800.3"
|
2019-03-25 07:14:53 +00:00
|
|
|
- ARMA_SRC="http://sourceforge.net/projects/arma/files/armadillo-${ARMA_VERSION}.tar.xz"
|
|
|
|
|
2019-03-20 14:55:19 +00:00
|
|
|
before_install:
|
|
|
|
- sudo apt-get update -qq
|
2019-03-24 08:59:29 +00:00
|
|
|
- wget $ARMA_SRC -O arma_src.tar.xz
|
|
|
|
- tar -Jxvf arma_src.tar.xz
|
2019-03-20 14:55:19 +00:00
|
|
|
|
|
|
|
install:
|
2019-09-23 15:08:53 +00:00
|
|
|
- sudo apt-get install -qq build-essential cmake
|
2019-05-27 08:51:46 +00:00
|
|
|
- sudo apt-get install -qq libopenblas-dev liblapack-dev libarpack2-dev
|
|
|
|
- sudo apt-get install -qq libsuperlu-dev libhdf5-dev
|
2019-03-24 08:59:29 +00:00
|
|
|
- pushd armadillo-${ARMA_VERSION} && cmake . && make && sudo make install && popd
|
2019-03-20 14:55:19 +00:00
|
|
|
|
|
|
|
script:
|
|
|
|
- phpize
|
2019-09-24 17:39:31 +00:00
|
|
|
- ./configure --enable-arma-operators --enable-arma-pch
|
2019-09-16 15:42:38 +00:00
|
|
|
- make -j$(nproc)
|
2019-03-20 14:55:19 +00:00
|
|
|
- make test
|