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 | |
| parent | ceac7b941fc2dbe46608703a073b9967a794b191 (diff) | |
| download | ports-f0a71b7ace3bcb06e72b44dfe9f132ec37630dd8.tar.gz ports-f0a71b7ace3bcb06e72b44dfe9f132ec37630dd8.zip | |
Notes
Diffstat (limited to 'math/z3')
| -rw-r--r-- | math/z3/Makefile | 18 | ||||
| -rw-r--r-- | math/z3/distinfo | 4 | ||||
| -rw-r--r-- | math/z3/files/patch-scripts_mk__util.py | 9 |
3 files changed, 22 insertions, 9 deletions
diff --git a/math/z3/Makefile b/math/z3/Makefile index 8612fd6f88d4..d0ea54b973da 100644 --- a/math/z3/Makefile +++ b/math/z3/Makefile @@ -2,22 +2,25 @@ PORTNAME= z3 PORTVERSION= 4.4.0 +DISTVERSIONPREFIX= ${PORTNAME}- CATEGORIES= math MAINTAINER= 6yearold@gmail.com COMMENT= Z3 Theorem Prover LICENSE= MIT +LICENSE_FILE= ${WRKSRC}/LICENSE.txt USE_GITHUB= yes GH_ACCOUNT= Z3Prover -GH_TAGNAME= z3-${PORTVERSION} -OPTIONS_DEFINE= STATIC +OPTIONS_DEFINE= DEBUG STATIC OPTIONS_DEFAULT= STATIC OPTIONS_SUB= yes +DEBUG_CONFIGURE_ON= --debug + STATIC_DESC= Build static z3 library STATIC_CONFIGURE_ON= --staticlib @@ -32,13 +35,14 @@ USE_LDCONFIG= yes BUILD_WRKSRC= ${WRKSRC}/build INSTALL_WRKSRC= ${WRKSRC}/build -.if defined(WITH_DEBUG) -CONFIGURE_ARGS+= --debug -.endif - USES= python pre-build: - ${MKDIR} ${STAGEDIR}/${PYTHON_SITELIBDIR} + ${MKDIR} ${STAGEDIR}/${PYTHONPREFIX_SITELIBDIR} + +post-install: + ${STRIP_CMD} ${STAGEDIR}${PREFIX}/bin/z3 + ${STRIP_CMD} ${STAGEDIR}${PREFIX}/lib/libz3.so + ${STRIP_CMD} ${STAGEDIR}${PYTHONPREFIX_SITELIBDIR}/libz3.so .include <bsd.port.mk> diff --git a/math/z3/distinfo b/math/z3/distinfo index 9748d69f04bc..0b8b9746084f 100644 --- a/math/z3/distinfo +++ b/math/z3/distinfo @@ -1,2 +1,2 @@ -SHA256 (Z3Prover-z3-4.4.0-z3-4.4.0_GH0.tar.gz) = 65b72f9eb0af50949e504b47080fb3fc95f11c435633041d9a534473f3142cba -SIZE (Z3Prover-z3-4.4.0-z3-4.4.0_GH0.tar.gz) = 3060731 +SHA256 (Z3Prover-z3-z3-4.4.0_GH0.tar.gz) = 65b72f9eb0af50949e504b47080fb3fc95f11c435633041d9a534473f3142cba +SIZE (Z3Prover-z3-z3-4.4.0_GH0.tar.gz) = 3060731 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): |