aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorEfraim Flashner <efraim@flashner.co.il>2018-12-17 10:51:50 +0200
committerEfraim Flashner <efraim@flashner.co.il>2018-12-17 12:08:06 +0200
commitad6c6a5be5dcc31f592fb664711a96e337df265e (patch)
treeeda014076ddc519d7893bc7b74c6e4f7e49752a0
parent2d7b99b3c6848a8e6f994b74eb04bde472dc445b (diff)
downloadguix-ad6c6a5be5dcc31f592fb664711a96e337df265e.tar
guix-ad6c6a5be5dcc31f592fb664711a96e337df265e.tar.gz
gnu: z3: Fix building on non-Intel machines.
* gnu/packages/maths.scm (z3)[arguments]: Add phase to remove unnecessary include statement.
-rw-r--r--gnu/packages/maths.scm6
1 files changed, 6 insertions, 0 deletions
diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm
index 1fd3e4b00e..9a5009c78b 100644
--- a/gnu/packages/maths.scm
+++ b/gnu/packages/maths.scm
@@ -3985,6 +3985,12 @@ as equations, scalars, vectors, and matrices.")
"/lib/python2.7/site-packages"))
#:phases
(modify-phases %standard-phases
+ (add-after 'unpack 'fix-compatability
+ ;; Versions after 4.8.3 have immintrin.h IFDEFed for Windows only.
+ (lambda _
+ (substitute* "src/util/mpz.cpp"
+ (("#include <immintrin.h>") ""))
+ #t))
(add-before 'configure 'bootstrap
(lambda _
(zero?