From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:4830:134:3::10]:39866) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1dcqWZ-0006Vk-Sp for guix-patches@gnu.org; Wed, 02 Aug 2017 06:05:08 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1dcqWV-00086L-50 for guix-patches@gnu.org; Wed, 02 Aug 2017 06:05:07 -0400 Received: from debbugs.gnu.org ([208.118.235.43]:35053) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1dcqWV-00085u-0n for guix-patches@gnu.org; Wed, 02 Aug 2017 06:05:03 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1dcqWU-0005fD-L8 for guix-patches@gnu.org; Wed, 02 Aug 2017 06:05:02 -0400 Subject: [bug#27461] [PATCH v2 1/2] gnu: Add z3. Resent-Message-ID: References: <8760enxy1o.fsf@gnu.org> <20170725161113.26165-1-theodoros.for@openmailbox.org> <87inibgdrn.fsf@gnu.org> <20170801141425.53914980@scratchpost.org> <8760e7pj1h.fsf@gnu.org> From: Theodoros Foradis Message-ID: <87tw1q2sp7.fsf@openmailbox.org> In-reply-to: <8760e7pj1h.fsf@gnu.org> Date: Wed, 02 Aug 2017 13:04:14 +0300 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+kyle=kyleam.com@gnu.org Sender: "Guix-patches" To: 27461@debbugs.gnu.org Hello, > Theodoros, would you consider writing a patch switching from > ‘gnu-build-system’ to ‘cmake-build-system’? I am replying with a patch, changing the build system to cmake, and adding the python bindings in the same package. The package does not propagate python. I need someone to test the python bindings, because I am not a python user myself. Regards, -- Theodoros Foradis