Date: Wed, 23 Sep 2015 15:09:10 +0000 (UTC) From: Mark Felder <feld@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r397618 - in head/math/z3: . files Message-ID: <201509231509.t8NF9AXA087262@repo.freebsd.org>
next in thread | raw e-mail | index | archive | help
Author: feld Date: Wed Sep 23 15:09:09 2015 New Revision: 397618 URL: https://svnweb.freebsd.org/changeset/ports/397618 Log: Port improvements and modernization This is a no-op Submitted by: jbeich Modified: head/math/z3/Makefile head/math/z3/distinfo head/math/z3/files/patch-scripts_mk__util.py Modified: head/math/z3/Makefile ============================================================================== --- head/math/z3/Makefile Wed Sep 23 15:08:38 2015 (r397617) +++ head/math/z3/Makefile Wed Sep 23 15:09:09 2015 (r397618) @@ -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> Modified: head/math/z3/distinfo ============================================================================== --- head/math/z3/distinfo Wed Sep 23 15:08:38 2015 (r397617) +++ head/math/z3/distinfo Wed Sep 23 15:09:09 2015 (r397618) @@ -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 Modified: head/math/z3/files/patch-scripts_mk__util.py ============================================================================== --- head/math/z3/files/patch-scripts_mk__util.py Wed Sep 23 15:08:38 2015 (r397617) +++ head/math/z3/files/patch-scripts_mk__util.py Wed Sep 23 15:09:09 2015 (r397618) @@ -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):
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201509231509.t8NF9AXA087262>