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 /gnu/packages/sdl.scm | |
parent | bd2e321061218729dec82fceba639aaee52bfff3 (diff) | |
download | guix-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 'gnu/packages/sdl.scm')
0 files changed, 0 insertions, 0 deletions