From ad6c6a5be5dcc31f592fb664711a96e337df265e Mon Sep 17 00:00:00 2001
From: Efraim Flashner <efraim@flashner.co.il>
Date: Mon, 17 Dec 2018 10:51:50 +0200
Subject: [PATCH] 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 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?