Date: Friday, August 28, 2020 @ 15:22:11 Author: arojas Revision: 691088
Use system eigen Modified: libsemigroups/trunk/PKGBUILD ----------+ PKGBUILD | 11 +++++++++-- 1 file changed, 9 insertions(+), 2 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2020-08-28 15:21:08 UTC (rev 691087) +++ PKGBUILD 2020-08-28 15:22:11 UTC (rev 691088) @@ -8,13 +8,20 @@ arch=(x86_64) license=(GPL3) depends=(gcc-libs) -makedepends=(fmt) +makedepends=(fmt eigen) source=(https://github.com/libsemigroups/libsemigroups/releases/download/v$pkgver/$pkgname-$pkgver.tar.gz) sha256sums=('b363d0707cb078e03e19f074c4f0132a9b80782a15acbfcabe42572551c8f3fe') +prepare() { + echo '3.3.7' > $pkgname-$pkgver/extern/.EIGEN_VERSION +} + build() { cd $pkgname-$pkgver - ./configure --prefix=/usr --with-external-fmt + ./configure --prefix=/usr \ + --enable-fmt \ + --with-external-fmt \ + --with-external-eigen make }
