diff options
| author | amdmi3 <amdmi3@FreeBSD.org> | 2016-06-18 17:05:05 +0800 |
|---|---|---|
| committer | amdmi3 <amdmi3@FreeBSD.org> | 2016-06-18 17:05:05 +0800 |
| commit | 33f0a974212586908c2707c58fad3a060e38e3a6 (patch) | |
| tree | 143a8134dcbd552bc6319ae6cba5b29d849ad979 /devel | |
| parent | 5fcf0b9bb2e61d8e940dd92032cb8febdcb99526 (diff) | |
| download | freebsd-ports-gnome-33f0a974212586908c2707c58fad3a060e38e3a6.tar.gz freebsd-ports-gnome-33f0a974212586908c2707c58fad3a060e38e3a6.tar.zst freebsd-ports-gnome-33f0a974212586908c2707c58fad3a060e38e3a6.zip | |
- Clarify LICENSE
- Switch to options helpers
Diffstat (limited to 'devel')
| -rw-r--r-- | devel/pure-readline/Makefile | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/devel/pure-readline/Makefile b/devel/pure-readline/Makefile index 66d2b4041bd5..4330e48094c1 100644 --- a/devel/pure-readline/Makefile +++ b/devel/pure-readline/Makefile @@ -10,18 +10,21 @@ DIST_SUBDIR= pure MAINTAINER= ports@FreeBSD.org COMMENT= Readline interface for the Pure language -LICENSE= BSD3CLAUSE GPLv3 +LICENSE= BSD3CLAUSE GPLv3+ LICENSE_COMB= dual USES= pkgconfig pure readline -PORTDOCS= README -OPTIONS_DEFINE= DOCS +PORTDOCS= README PLIST_FILES= lib/pure/readline.pure \ lib/pure/readline.so +OPTIONS_DEFINE= DOCS + post-install: @${STRIP_CMD} ${STAGEDIR}${PREFIX}/lib/pure/readline.so + +post-install-DOCS-on: @${MKDIR} ${STAGEDIR}${DOCSDIR} ${INSTALL_DATA} ${PORTDOCS:S|^|${WRKSRC}/|} ${STAGEDIR}${DOCSDIR} |