diff options
author | Michel Zou | 2020-10-09 18:30:08 +0200 |
---|---|---|
committer | Michel Zou | 2020-10-09 18:30:08 +0200 |
commit | 3d4bedc4687748d0722609aba76d1784e644284c (patch) | |
tree | fb235b917c81368948262b1215cce4b57a1096c6 | |
parent | e671041ca8b91dcba9b6301257bd5f62df72e317 (diff) | |
download | aur-3d4bedc4687748d0722609aba76d1784e644284c.tar.gz |
MR238
-rw-r--r-- | PKGBUILD | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -19,6 +19,7 @@ prepare() { cd "$srcdir"/eigen-${pkgver} patch -p1 -i "$srcdir"/eigen-3.2_gcc58087.patch curl -L https://gitlab.com/libeigen/eigen/-/merge_requests/232.patch | patch -p1 + curl -L https://gitlab.com/libeigen/eigen/-/merge_requests/238.patch | patch -p1 } build() { |