Update to 1.2.

PR:		207158
Submitted by:	Ports Fury.

devel/ppl/Makefile

@@ -2,8 +2,7 @@
 # $FreeBSD$
 
 PORTNAME=	ppl
-PORTVERSION=	1.1
-PORTREVISION=	1
+PORTVERSION=	1.2
 CATEGORIES=	devel
 MASTER_SITES=	ftp://ftp.cs.unipr.it/pub/ppl/releases/${PORTVERSION}/ \
 		http://bugseng.com/products/ppl/download/ftp/releases/${PORTVERSION}/
@@ -12,6 +11,7 @@ MAINTAINER=	ports@FreeBSD.org
 COMMENT=	C++ library for the manipulation of convex polyhedra
 
 LICENSE=	GPLv3+
+LICENSE_FILE=	${WRKSRC}/COPYING
 
 BUILD_DEPENDS=	gm4:${PORTSDIR}/devel/m4
 LIB_DEPENDS=	libglpk.so:${PORTSDIR}/math/glpk \
@@ -28,6 +28,7 @@ CONFIGURE_ARGS=	--disable-debugging \
 		--with-gmp-include="${LOCALBASE}/include" \
 		--with-gmp-lib="${LOCALBASE}/lib" \
 		--enable-interfaces="${INTERFACES}"
+INSTALL_TARGET=	install-strip
 USE_LDCONFIG=	yes
 
 CPPFLAGS+=	-I${LOCALBASE}/include
@@ -47,9 +48,4 @@ post-patch:
 	@${REINPLACE_CMD} -e \
 		'/for file in/s|COPYING||' ${WRKSRC}/doc/Makefile.in
 
-post-install:
-.for i in libppl.so libppl_c.so
-	@${STRIP_CMD} ${STAGEDIR}${PREFIX}/lib/${i}
-.endfor
-
 .include <bsd.port.mk>

devel/ppl/distinfo

@@ -1,2 +1,2 @@
-SHA256 (ppl-1.1.tar.xz) = c48ccd74664ec2cd3cdb5e37f287974ccb062f0384dc658d4053c424b19ad178
-SIZE (ppl-1.1.tar.xz) = 14734820
+SHA256 (ppl-1.2.tar.xz) = 691f0d5a4fb0e206f4e132fc9132c71d6e33cdda168470d40ac3cf62340e9a60
+SIZE (ppl-1.2.tar.xz) = 14136236

devel/ppl/pkg-plist

@@ -6,8 +6,8 @@ include/ppl.hh
 include/ppl_c.h
 lib/libppl.a
 lib/libppl.so
-lib/libppl.so.13
-lib/libppl.so.13.0.0
+lib/libppl.so.14
+lib/libppl.so.14.0.0
 lib/libppl_c.a
 lib/libppl_c.so
 lib/libppl_c.so.4