[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#27461: [PATCH] gnu: Add python bindings to z3.
|
From: |
Ludovic Courtès |
|
Subject: |
bug#27461: [PATCH] gnu: Add python bindings to z3. |
|
Date: |
Mon, 21 Aug 2017 17:14:00 +0200 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/25.2 (gnu/linux) |
Hi Theodoros,
And sorry for the long delay!
Theodoros Foradis <address@hidden> skribis:
> * gnu/packages/maths.scm (z3): Add python bindings.
> [build-system]: Change to cmake-build-system.
> [arguments]<phases>: Remove "changedir" phase.
> Add "bootstrap" phase.
> [arguments]<configure-flags>: Add them.
> [arguments]<tests>: Disable tests.
I’ve applied this patch with a few modifications, in particular
arranging to run the tests (disabling them altogether was not OK since
we knew there is a test suite):
https://git.savannah.gnu.org/cgit/guix.git/commit/?id=cf684d87d7446ffe33ca4c73bf51dc24fa5a7129
Thanks,
Ludo’.