[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
06/09: gnu: z3: Fix building on non-Intel machines.
From: |
guix-commits |
Subject: |
06/09: gnu: z3: Fix building on non-Intel machines. |
Date: |
Mon, 17 Dec 2018 05:41:32 -0500 (EST) |
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?
- branch master updated (f8be766 -> 1e2ebf7), guix-commits, 2018/12/17
- 01/09: gnu: nmap: Don't hardcode python version., guix-commits, 2018/12/17
- 04/09: gnu: kicad: Don't hardcode version numbers., guix-commits, 2018/12/17
- 02/09: gnu: gess: Don't hardcode python version., guix-commits, 2018/12/17
- 05/09: gnu: z3: Declare source-file-name., guix-commits, 2018/12/17
- 03/09: gnu: avogadro: Don't hardcode python version., guix-commits, 2018/12/17
- 09/09: gnu: tree: Update to 1.8.0., guix-commits, 2018/12/17
- 08/09: gnu: elemental: Don't use unstable tarball., guix-commits, 2018/12/17
- 06/09: gnu: z3: Fix building on non-Intel machines.,
guix-commits <=
- 07/09: gnu: elemental: Fix indentation., guix-commits, 2018/12/17