diff options
| author | Zhu Zihao <all_but_last@163.com> | 2022-06-20 20:17:54 +0800 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2022-07-04 12:29:04 +0200 |
| commit | 0e64835b2ed910a23c9312c036649f67209436e2 (patch) | |
| tree | 7aec84f7727b0325822fed229c4dae8b13c87fa8 /nix | |
| parent | cec514218336132922ca0bf883f309fa07662b45 (diff) | |
| download | guix-0e64835b2ed910a23c9312c036649f67209436e2.tar guix-0e64835b2ed910a23c9312c036649f67209436e2.tar.gz | |
gnu: z3: Prefer CMake to build the package.
Z3 developer recommends to use CMake to build Z3 except the OCaml bindings.
Use CMake also enable us to cross compile z3.
* gnu/packages/maths.scm (z3)[build-system]: Use cmake-build-system.
[arguments]<#:configure-flags>: Add flags for CMake.
<#:phases>: Remove stale phase 'fix-compatability'.
In phase 'check', build the z3 test binary and don't test when cross
compiling.
Add phase 'compile-python-modules' phase to generate python bytecode cache for
z3 python binding.
Add phase 'fix-z3-library-path' to help z3 pythong binding to find the z3
shared library.
(ocaml-z3)[build-system]: Override the inherited value with 'gnu-build-system'.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'nix')
0 files changed, 0 insertions, 0 deletions