Subject: Re: [PATCH] gnu: Add python bindings to z3.
From: [email-masked] (Ludovic Courtès)
To: Theodoros Foradis <[email-masked]>
Cc: [email-masked], [email-masked]
Date: Mon, 21 Aug 2017 17:14:00 +0200
List-Id: <debbugs-submit.debbugs.gnu.org>

Hi Theodoros,

And sorry for the long delay!

Theodoros Foradis <[email-masked]> 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’.