summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorMichel Zou2019-09-10 09:42:17 +0200
committerMichel Zou2019-09-10 09:42:17 +0200
commitd970fab9e5363eee983a989d4247460ce50d6521 (patch)
tree20f3f8bff3e051508ae6050eef157cf77bf1a9ce
parentc84915058ddd55d8a6fcc8d08cb3e3df590a6abd (diff)
downloadaur-d970fab9e5363eee983a989d4247460ce50d6521.tar.gz
HAS_MUMPS
-rw-r--r--PKGBUILD4
1 files changed, 2 insertions, 2 deletions
diff --git a/PKGBUILD b/PKGBUILD
index 072eae30fd07..50aaf9854f8f 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -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