void-packages/srcpkgs/z3/patches/intrin.patch

13 lines
265 B
Diff
Raw Normal View History

2018-10-16 13:52:05 +02:00
Header is unused on gcc builds anyway, breaks non-x86(_64).
--- src/util/mpz.cpp.orig
+++ src/util/mpz.cpp
@@ -30,7 +30,6 @@
#else
#error No multi-precision library selected.
#endif
-#include <immintrin.h>
// Available GCD algorithms
// #define EUCLID_GCD