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/mpi.scm | |
| parent | 2d7b99b3c6848a8e6f994b74eb04bde472dc445b (diff) | |
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/mpi.scm')
0 files changed, 0 insertions, 0 deletions