diff options
| author | Mark Felder <feld@FreeBSD.org> | 2015-09-23 15:09:09 +0000 |
|---|---|---|
| committer | Mark Felder <feld@FreeBSD.org> | 2015-09-23 15:09:09 +0000 |
| commit | f0a71b7ace3bcb06e72b44dfe9f132ec37630dd8 (patch) | |
| tree | 9f902d6af448213c1a066612113266e0aa234827 /math/z3/files/patch-scripts_mk__util.py | |
| parent | - Fix shebangs (diff) | |
Port improvements and modernization
This is a no-op
Submitted by: jbeich
Diffstat (limited to 'math/z3/files/patch-scripts_mk__util.py')
| -rw-r--r-- | math/z3/files/patch-scripts_mk__util.py | 9 |
1 files changed, 9 insertions, 0 deletions
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): |