mirror of
https://git.FreeBSD.org/ports.git
synced 2025-01-31 10:46:16 +00:00
- Clarify LICENSE
- Switch to options helpers
This commit is contained in:
parent
e28adea1da
commit
10116f4362
Notes:
svn2git
2021-03-31 03:12:20 +00:00
svn path=/head/; revision=417056
@ -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}
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user