diff options
| author | William Grzybowski <wg@FreeBSD.org> | 2013-12-01 12:46:48 +0000 |
|---|---|---|
| committer | William Grzybowski <wg@FreeBSD.org> | 2013-12-01 12:46:48 +0000 |
| commit | dfc8713b7549946db204e6f9d9fa1b2f39acf746 (patch) | |
| tree | 4e390aa7dccbda70059a012c091009b2768fddd5 /lang | |
| parent | b3ab64a9cb8fb5a2802edc3bfbd18c672976e5ba (diff) | |
| download | ports-dfc8713b7549946db204e6f9d9fa1b2f39acf746.tar.gz ports-dfc8713b7549946db204e6f9d9fa1b2f39acf746.zip | |
lang/polyml: allow staging
- Allow staging
- Fix build on head
PR: ports/184074
Submitted by: maintainer
Notes
Notes:
svn path=/head/; revision=335378
Diffstat (limited to 'lang')
| -rw-r--r-- | lang/polyml/Makefile | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/lang/polyml/Makefile b/lang/polyml/Makefile index 9882eca99c75..7bbe53bd00df 100644 --- a/lang/polyml/Makefile +++ b/lang/polyml/Makefile @@ -12,10 +12,10 @@ MAINTAINER= beyert@cs.ucr.edu COMMENT= Fast open-source implementation of Standard ML LICENSE= LGPL21 -LICENSE_FILE= ${WRKSRC}/COPYING GNU_CONFIGURE= yes CONFIGURE_ARGS= --without-x +USE_GCC= yes USE_LDCONFIG= yes ONLY_FOR_ARCHS= i386 amd64 @@ -26,10 +26,8 @@ PLIST_FILES= bin/poly \ lib/libpolyml.a \ lib/libpolyml.la \ lib/libpolyml.so \ - lib/libpolyml.so.4 + lib/libpolyml.so.4 \ + man/man1/poly.1.gz \ + man/man1/polyimport.1.gz -MAN1= poly.1 polyimport.1 -MANCOMPRESSED= no - -NO_STAGE= yes .include <bsd.port.mk> |