summary refs log tree commit diff
path: root/gnu/packages/sdl.scm
diff options
context:
space:
mode:
authorTheodoros Foradis <theodoros.for@openmailbox.org>2017-08-02 13:10:12 +0300
committerLudovic Courtès <ludo@gnu.org>2017-08-21 17:04:53 +0200
commitcf684d87d7446ffe33ca4c73bf51dc24fa5a7129 (patch)
tree6d583d433b24edf1ea93c42a0b10a616cb0c1382 /gnu/packages/sdl.scm
parentbd2e321061218729dec82fceba639aaee52bfff3 (diff)
downloadguix-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