diff options
author | Michel Zou | 2020-10-10 00:11:15 +0200 |
---|---|---|
committer | Michel Zou | 2020-10-10 00:11:15 +0200 |
commit | 425b1c03d3be05f4784003cfee68f4774e8d06f0 (patch) | |
tree | d7377dfe40c54f115a357a1140b49d81929db65d | |
parent | 3d4bedc4687748d0722609aba76d1784e644284c (diff) | |
download | aur-425b1c03d3be05f4784003cfee68f4774e8d06f0.tar.gz |
ef3cc72c
-rw-r--r-- | PKGBUILD | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -18,7 +18,7 @@ _architectures="i686-w64-mingw32 x86_64-w64-mingw32" 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/-/commit/ef3cc72c.patch | patch -p1 curl -L https://gitlab.com/libeigen/eigen/-/merge_requests/238.patch | patch -p1 } |