diff options
| author | Sunpoet Po-Chuan Hsieh <sunpoet@FreeBSD.org> | 2015-11-20 09:17:20 +0000 |
|---|---|---|
| committer | Sunpoet Po-Chuan Hsieh <sunpoet@FreeBSD.org> | 2015-11-20 09:17:20 +0000 |
| commit | 8cf2d7c5b7ed2b1b1523a1cbc0e68ee43f2752ed (patch) | |
| tree | c982d9fb6e88d4408002c1bb365a9cc9697aed2d /math | |
| parent | 5026c2e181087e919fe838f527ad678202cb44e4 (diff) | |
| download | ports-8cf2d7c5b7ed2b1b1523a1cbc0e68ee43f2752ed.tar.gz ports-8cf2d7c5b7ed2b1b1523a1cbc0e68ee43f2752ed.zip | |
Notes
Diffstat (limited to 'math')
| -rw-r--r-- | math/why3/Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/math/why3/Makefile b/math/why3/Makefile index 49997e350a17..3a0aa5cfbd6a 100644 --- a/math/why3/Makefile +++ b/math/why3/Makefile @@ -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 |