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/artwork.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/artwork.scm')
0 files changed, 0 insertions, 0 deletions