From 10116f43624d93d0967d8b835d4be8546dadda8d Mon Sep 17 00:00:00 2001 From: Dmitry Marakasov Date: Sat, 18 Jun 2016 09:05:05 +0000 Subject: [PATCH] - Clarify LICENSE - Switch to options helpers --- devel/pure-readline/Makefile | 9 ++++++--- 1 file 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}