From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:4830:134:3::10]:35395) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1da2RK-0001S0-GH for guix-patches@gnu.org; Tue, 25 Jul 2017 12:12:07 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1da2RG-0002U2-Jh for guix-patches@gnu.org; Tue, 25 Jul 2017 12:12:06 -0400 Received: from debbugs.gnu.org ([208.118.235.43]:53479) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1da2RG-0002Tw-Gr for guix-patches@gnu.org; Tue, 25 Jul 2017 12:12:02 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1da2RG-0001u7-D3 for guix-patches@gnu.org; Tue, 25 Jul 2017 12:12:02 -0400 Subject: [bug#27461] [PATCH v2 2/2] gnu: Add python2-z3. Resent-Message-ID: From: Theodoros Foradis Date: Tue, 25 Jul 2017 19:11:13 +0300 Message-Id: <20170725161113.26165-2-theodoros.for@openmailbox.org> In-Reply-To: <20170725161113.26165-1-theodoros.for@openmailbox.org> References: <8760enxy1o.fsf@gnu.org> <20170725161113.26165-1-theodoros.for@openmailbox.org> 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 Cc: julien@lepiller.eu From: Julien Lepiller * gnu/packages/python.scm (python2-z3): New variable. --- gnu/packages/python.scm | 30 ++++++++++++++++++++++++++++++ 1 file changed, 30 insertions(+) diff --git a/gnu/packages/python.scm b/gnu/packages/python.scm index 6e1e289e9..b06cbd218 100644 --- a/gnu/packages/python.scm +++ b/gnu/packages/python.scm @@ -15512,3 +15512,33 @@ pure Python module.") (define-public python2-rencode (package-with-python2 python-rencode)) + +(define-public python2-z3 + (package + (inherit z3) + (name "python2-z3") + (build-system python-build-system) + (propagated-inputs + `(("z3" ,z3))) + (arguments + `(#:python ,python-2 + #:phases + (modify-phases %standard-phases + (add-before 'build 'prepare + (lambda* (#:key inputs #:allow-other-keys) + (system* "python" "scripts/mk_make.py") + (copy-file "build/python/z3/z3core.py" + "src/api/python/z3/z3core.py") + (copy-file "build/python/z3/z3consts.py" + "src/api/python/z3/z3consts.py") + (chdir "src/api/python") + (substitute* "z3/z3core.py" + (("_dirs = \\[") + (string-append "_dirs = ['" (assoc-ref inputs "z3") + "/lib', "))) + (substitute* "MANIFEST.in" + ((".*") "")) + (substitute* "setup.py" + (("self.execute\\(.*") "\n") + (("scripts=.*") "\n")) + #t))))))) -- 2.13.2