svn commit: r397618 - in head/math/z3: . files

[Mark Felder]

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 at 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):