[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#27461] [PATCH v2 1/2] gnu: Add z3.
|
From: |
Theodoros Foradis |
|
Subject: |
[bug#27461] [PATCH v2 1/2] gnu: Add z3. |
|
Date: |
Wed, 02 Aug 2017 13:04:14 +0300 |
|
User-agent: |
mu4e 0.9.18; emacs 25.2.1 |
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