mirror/guix
1
0
Fork 0
mirror of https://git.savannah.gnu.org/git/guix.git synced 2025-01-20 06:37:08 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions

gnu: z3: Fix building on non-Intel machines.

Browse source 
* gnu/packages/maths.scm (z3)[arguments]: Add phase to remove
unnecessary include statement.
This commit is contained in:
Efraim Flashner 2018-12-17 10:51:50 +02:00
parent 2d7b99b3c6
commit ad6c6a5be5
No known key found for this signature in database
GPG key ID: 41AAE7DCCA3D8351
1 changed files with 6 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
gnu/packages/maths.scm
View file

@ -3985,6 +3985,12 @@ (define-public z3
"/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?