diff options
author | Michel Zou | 2020-10-08 18:17:25 +0200 |
---|---|---|
committer | Michel Zou | 2020-10-08 18:17:25 +0200 |
commit | e671041ca8b91dcba9b6301257bd5f62df72e317 (patch) | |
tree | 51b080457757c63b9bfaac794d06ffbfb7605968 | |
parent | 0636a6c8c596831f98b60b603453a96b8c115a02 (diff) | |
download | aur-e671041ca8b91dcba9b6301257bd5f62df72e317.tar.gz |
MR232
-rw-r--r-- | PKGBUILD | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -18,6 +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 } build() { |