diff options
author | Joan Bruguera | 2019-03-22 18:00:55 +0100 |
---|---|---|
committer | Joan Bruguera | 2019-03-22 18:00:55 +0100 |
commit | cba51d1888902bd38d8efa607c9e53579d97a8ad (patch) | |
tree | 525d2098920cdb196b3ffebb06a6e20230f6527e | |
parent | c8045af8fd73e7504c463bbfb7aea354a02f0809 (diff) | |
download | aur-cba51d1888902bd38d8efa607c9e53579d97a8ad.tar.gz |
Fix build: Headers and libs must (still) be specified explicitly.
-rw-r--r-- | .SRCINFO | 2 | ||||
-rw-r--r-- | PKGBUILD | 8 |
2 files changed, 8 insertions, 2 deletions
@@ -1,7 +1,7 @@ pkgbase = extrae pkgdesc = Instrumentation framework to generate execution traces of the most used parallel runtimes (from BSC). pkgver = 3.6.1 - pkgrel = 4 + pkgrel = 5 url = https://www.bsc.es/discover-bsc/organisation/scientific-structure/performance-tools arch = i686 arch = x86_64 @@ -2,7 +2,7 @@ pkgname='extrae' pkgdesc='Instrumentation framework to generate execution traces of the most used parallel runtimes (from BSC).' pkgver='3.6.1' -pkgrel='4' +pkgrel='5' arch=('i686' 'x86_64') url='https://www.bsc.es/discover-bsc/organisation/scientific-structure/performance-tools' license=('LGPL2.1') @@ -21,8 +21,14 @@ build() { ./configure \ --prefix=/usr \ --with-mpi=/usr \ + --with-mpi-libs=/usr/lib/openmpi \ + --with-mpi-headers=/usr/include/openmpi \ --with-unwind=/usr \ + --with-unwind-headers=/usr/include \ + --with-unwind-libs=/usr/lib \ --with-papi=/usr \ + --with-papi-headers=/usr/include \ + --with-papi-libs=/usr/lib \ --without-dyninst make |