- Update options
This commit is contained in:
parent
421fa4889c
commit
0c0c24c6a2
Notes:
svn2git
2021-03-31 03:12:20 +00:00
svn path=/head/; revision=390793
@ -22,15 +22,9 @@ PORTDOCS= HISTORY README README_PARALLEL_GENERAL ${PORTNAME}.html
|
||||
PORTEXAMPLES= *
|
||||
EXTRACT_AFTER_ARGS=--exclude zlib
|
||||
|
||||
ALL_TARGET= all
|
||||
|
||||
OPTIONS_DEFINE= DOCS EXAMPLES THREAD_PRETTY PRETTY THREAD
|
||||
THREAD_PRETTY_DESC= Build with THREAD_PRETTY support
|
||||
OPTIONS_DEFINE= DOCS EXAMPLES THREAD
|
||||
THREAD_DESC= Build with THREAD support
|
||||
PRETTY_DESC= Build with PRETTY support
|
||||
THREAD_PRETTY_ALL_TARGET= thread-pretty
|
||||
THREAD_ALL_TARGET= thread
|
||||
PRETTY_ALL_TARGET= pretty
|
||||
|
||||
post-patch:
|
||||
@${REINPLACE_CMD} -e 's|="-O "|="$$CFLAGS"|g' ${WRKSRC}/configure
|
||||
|
Loading…
Reference in New Issue
Block a user