diff options
author | Michel Zou | 2019-09-10 09:42:17 +0200 |
---|---|---|
committer | Michel Zou | 2019-09-10 09:42:17 +0200 |
commit | d970fab9e5363eee983a989d4247460ce50d6521 (patch) | |
tree | 20f3f8bff3e051508ae6050eef157cf77bf1a9ce | |
parent | c84915058ddd55d8a6fcc8d08cb3e3df590a6abd (diff) | |
download | aur-d970fab9e5363eee983a989d4247460ce50d6521.tar.gz |
HAS_MUMPS
-rw-r--r-- | PKGBUILD | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -26,7 +26,7 @@ build() { for _arch in ${_architectures}; do mkdir -p build-${_arch} && pushd build-${_arch} COIN_SKIP_PROJECTS="Sample" \ - CXXFLAGS="-DCOIN_HAS_ASL -DCOIN_HAS_MUMPS" ${_arch}-configure \ + ${_arch}-configure \ --with-osi-lib="$(${_arch}-pkg-config --libs osi)" \ --with-osi-incdir="/usr/${_arch}/include/coin/" \ --with-clp-lib="$(${_arch}-pkg-config --libs clp)" \ @@ -55,7 +55,7 @@ package() { PKG_CONFIG_PATH_CUSTOM="$pkgdir"/usr/${_arch}/lib/pkgconfig/ \ make DESTDIR="$pkgdir"/ install rm -r "$pkgdir"/usr/${_arch}/share - #rm "$pkgdir"/usr/${_arch}/bin/*.exe + rm "$pkgdir"/usr/${_arch}/bin/*.exe ${_arch}-strip --strip-unneeded "$pkgdir"/usr/${_arch}/bin/*.dll ${_arch}-strip -g "$pkgdir"/usr/${_arch}/lib/*.a done |