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

13 lines
265 B
Diff

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