diff options
| author | Efraim Flashner <efraim@flashner.co.il> | 2018-12-17 10:51:50 +0200 |
|---|---|---|
| committer | Efraim Flashner <efraim@flashner.co.il> | 2018-12-17 12:08:06 +0200 |
| commit | ad6c6a5be5dcc31f592fb664711a96e337df265e (patch) | |
| tree | eda014076ddc519d7893bc7b74c6e4f7e49752a0 /gnu/packages/maths.scm | |
| parent | 2d7b99b3c6848a8e6f994b74eb04bde472dc445b (diff) | |
| download | patches-ad6c6a5be5dcc31f592fb664711a96e337df265e.tar patches-ad6c6a5be5dcc31f592fb664711a96e337df265e.tar.gz | |
gnu: z3: Fix building on non-Intel machines.
* gnu/packages/maths.scm (z3)[arguments]: Add phase to remove
unnecessary include statement.
Diffstat (limited to 'gnu/packages/maths.scm')
| -rw-r--r-- | gnu/packages/maths.scm | 6 |
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? |