06/09: gnu: z3: Fix building on non-Intel machines.

[guix-commits]

efraim pushed a commit to branch master
in repository guix.

commit ad6c6a5be5dcc31f592fb664711a96e337df265e
Author: Efraim Flashner <address@hidden>
Date:   Mon Dec 17 10:51:50 2018 +0200

    gnu: z3: Fix building on non-Intel machines.
    
    * gnu/packages/maths.scm (z3)[arguments]: Add phase to remove
    unnecessary include statement.
---
 gnu/packages/maths.scm | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm
index 1fd3e4b..9a5009c 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?