diff options
| author | Theodoros Foradis <theodoros.for@openmailbox.org> | 2017-08-02 13:10:12 +0300 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2017-08-21 17:04:53 +0200 |
| commit | cf684d87d7446ffe33ca4c73bf51dc24fa5a7129 (patch) | |
| tree | 6d583d433b24edf1ea93c42a0b10a616cb0c1382 /etc/git | |
| parent | bd2e321061218729dec82fceba639aaee52bfff3 (diff) | |
| download | patches-cf684d87d7446ffe33ca4c73bf51dc24fa5a7129.tar patches-cf684d87d7446ffe33ca4c73bf51dc24fa5a7129.tar.gz | |
gnu: z3: Build Python bindings.
* gnu/packages/maths.scm (z3): Add python bindings.
[build-system]: Change to cmake-build-system.
[arguments]: Remove "changedir" phase. Add "bootstrap" and
"make-test-z3" phases; replace the "check" phase.
Add #:configure-flags. Remove #:test-target.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'etc/git')
0 files changed, 0 insertions, 0 deletions