diff options
author | sygnmdev | 2018-08-24 22:54:38 +0200 |
---|---|---|
committer | sygnmdev | 2018-08-24 22:54:38 +0200 |
commit | 305391c51b37bebc332dad712b562945184d7243 (patch) | |
tree | 85bc084315dcecb80378ba8e5f94274d1bef5076 | |
parent | 8245fd0d63bfc47912e66d6d5d20461896e3aa29 (diff) | |
download | aur-305391c51b37bebc332dad712b562945184d7243.tar.gz |
switch to ninja
-rw-r--r-- | .SRCINFO | 1 | ||||
-rw-r--r-- | PKGBUILD | 8 |
2 files changed, 5 insertions, 4 deletions
@@ -14,6 +14,7 @@ pkgbase = sygnm-git makedepends = python-setuptools makedepends = pandoc makedepends = python-pypandoc + makedepends = ninja depends = flint depends = arb depends = boost-libs @@ -7,7 +7,7 @@ arch=('i686' 'x86_64' 'armv6h') url="https://sygnm.org/" license=('AGPL3') depends=('flint' 'arb' 'boost-libs' 'icu' 'gmp' 'qt5-base' 'readline' 'python' 'sqlite' 'libmpc' 'mpfr' 'gmp-ecm' 'eigen' 'ruby' 'jdk7-openjdk') -makedepends=('boost' 'cmake' 'swig' 'python' 'python-setuptools' 'pandoc' 'python-pypandoc') +makedepends=('boost' 'cmake' 'swig' 'python' 'python-setuptools' 'pandoc' 'python-pypandoc' 'ninja') source=("sygnm-git::git+https://git.sygnm.org/sygnmdev/sygnm.git") options=(debug !strip) conflicts=('sygnm') @@ -16,13 +16,13 @@ md5sums=('SKIP') build() { cd "${srcdir}/sygnm-git" - cmake . -DCMAKE_BUILD_TYPE=Debug -DSYGNM_BUILD_ALL=On -DCMAKE_INSTALL_PREFIX=/usr - make + cmake . -GNinja -DCMAKE_BUILD_TYPE=Debug -DSYGNM_BUILD_ALL=On -DCMAKE_INSTALL_PREFIX=/usr + ninja } package() { cd "${srcdir}/sygnm-git" - make DESTDIR="$pkgdir/" install + DESTDIR="$pkgdir/" ninja install cd sygnm-jupyter python setup.py install --root="$pkgdir/" --optimize=1 cd ../sygnm/python |