Date: Fri, 20 Nov 2015 09:17:20 +0000 (UTC) From: Sunpoet Po-Chuan Hsieh <sunpoet@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r402062 - head/math/why3 Message-ID: <201511200917.tAK9HKa3013808@repo.freebsd.org>
next in thread | raw e-mail | index | archive | help
Author: sunpoet Date: Fri Nov 20 09:17:20 2015 New Revision: 402062 URL: https://svnweb.freebsd.org/changeset/ports/402062 Log: - Add LICENSE_FILE - Strip object files - Bump PORTREVISION for package change Modified: head/math/why3/Makefile Modified: head/math/why3/Makefile ============================================================================== --- head/math/why3/Makefile Fri Nov 20 09:17:16 2015 (r402061) +++ head/math/why3/Makefile Fri Nov 20 09:17:20 2015 (r402062) @@ -3,7 +3,7 @@ PORTNAME= why3 PORTVERSION= 0.83 -PORTREVISION= 1 +PORTREVISION= 2 CATEGORIES= math MASTER_SITES= http://gforge.inria.fr/frs/download.php/33490/ \ http://pkgs.fedoraproject.org/repo/pkgs/why3/${FEDORA}/ @@ -12,6 +12,7 @@ MAINTAINER= ports@FreeBSD.org COMMENT= Deductive program verification platform LICENSE= LGPL21 +LICENSE_FILE= ${WRKSRC}/LICENSE CONFLICT_INSTALL= why3-gpl-* @@ -59,6 +60,7 @@ post-patch: post-install: ${STRIP_CMD} ${STAGEDIR}${PREFIX}/bin/why3* \ + ${STAGEDIR}${PREFIX}/${OCAML_SITELIBDIR}/why3/*.o \ ${STAGEDIR}${PREFIX}/lib/why3/plugins/*.cmxs \ ${STAGEDIR}${PREFIX}/lib/why3/why3-cpulimit
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201511200917.tAK9HKa3013808>