summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorhaawda2019-10-25 00:35:47 +0200
committerhaawda2019-10-25 00:35:47 +0200
commit801933ed1496d122490aa3eedff3783dd402a778 (patch)
tree800a868c45a1baef1e2951fed51bacaa3bdf1730
parentbf0889d19ef02106c674026a577fb50864fbcfbc (diff)
downloadaur-801933ed1496d122490aa3eedff3783dd402a778.tar.gz
disable hpddm
-rw-r--r--PKGBUILD3
1 files changed, 2 insertions, 1 deletions
diff --git a/PKGBUILD b/PKGBUILD
index 94d5fbd6459..c19871a571e 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -26,7 +26,8 @@ prepare() {
--enable-download \
--enable-hpddm \
--enable-optim \
- --disable-mumps
+ --disable-mumps \
+ --disable-hpddm
find . -name Makefile -exec sed -i 's+^gcc+gcc =+' {} \;
find . -name Makefile -exec sed -i 's+^dir+dir =+' {} \;