diff options
author | Pav Lucistnik <pav@FreeBSD.org> | 2008-07-25 14:34:52 +0000 |
---|---|---|
committer | Pav Lucistnik <pav@FreeBSD.org> | 2008-07-25 14:34:52 +0000 |
commit | efa63f6ba4d035a78bf22994112284daa54d01e2 (patch) | |
tree | a8e60f648b180d79a27a101c6135bb1ecf9d5c89 /lang/polyml/Makefile | |
parent | 07dc5b5098fa633c7cf68ca1d4973f913a455e22 (diff) | |
download | ports-efa63f6ba4d035a78bf22994112284daa54d01e2.tar.gz ports-efa63f6ba4d035a78bf22994112284daa54d01e2.zip |
Notes
Diffstat (limited to 'lang/polyml/Makefile')
-rw-r--r-- | lang/polyml/Makefile | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/lang/polyml/Makefile b/lang/polyml/Makefile index 7af05d26a719..a82dc324396f 100644 --- a/lang/polyml/Makefile +++ b/lang/polyml/Makefile @@ -16,7 +16,6 @@ DIST_SUBDIR= ${PORTNAME} MAINTAINER= timbob@bigpond.com COMMENT= Fast open-source implementation of Standard ML -USE_GCC= 3.2+ GNU_CONFIGURE= yes CONFIGURE_ARGS= --without-x USE_LDCONFIG= yes |