From f0a71b7ace3bcb06e72b44dfe9f132ec37630dd8 Mon Sep 17 00:00:00 2001 From: Mark Felder Date: Wed, 23 Sep 2015 15:09:09 +0000 Subject: Port improvements and modernization This is a no-op Submitted by: jbeich --- math/z3/files/patch-scripts_mk__util.py | 9 +++++++++ 1 file changed, 9 insertions(+) (limited to 'math/z3/files/patch-scripts_mk__util.py') diff --git a/math/z3/files/patch-scripts_mk__util.py b/math/z3/files/patch-scripts_mk__util.py index 87fea5e606c9..93056270dedb 100644 --- a/math/z3/files/patch-scripts_mk__util.py +++ b/math/z3/files/patch-scripts_mk__util.py @@ -1,5 +1,14 @@ --- scripts/mk_util.py.orig 2015-04-29 14:40:46 UTC +++ scripts/mk_util.py +@@ -41,7 +41,7 @@ CXX_COMPILERS=['g++', 'clang++'] + C_COMPILERS=['gcc', 'clang'] + JAVAC=None + JAR=None +-PYTHON_PACKAGE_DIR=distutils.sysconfig.get_python_lib() ++PYTHON_PACKAGE_DIR=distutils.sysconfig.get_python_lib(prefix=getenv("PREFIX", None)) + BUILD_DIR='build' + REV_BUILD_DIR='..' + SRC_DIR='src' @@ -948,7 +948,7 @@ class LibComponent(Component): def mk_install(self, out): -- cgit v1.2.3