diff options
Diffstat (limited to 'lang')
| -rw-r--r-- | lang/polyml/Makefile | 10 | ||||
| -rw-r--r-- | lang/polyml/distinfo | 4 |
2 files changed, 4 insertions, 10 deletions
diff --git a/lang/polyml/Makefile b/lang/polyml/Makefile index e58aad23901..b00ceb84da7 100644 --- a/lang/polyml/Makefile +++ b/lang/polyml/Makefile @@ -6,7 +6,7 @@ # PORTNAME= polyml -PORTVERSION= 5.4 +PORTVERSION= 5.4.1 CATEGORIES= lang MASTER_SITES= SF DISTNAME= ${PORTNAME}.${PORTVERSION} @@ -35,10 +35,4 @@ PLIST_FILES= bin/poly \ MAN1= poly.1 polyimport.1 MANCOMPRESSED= no -.include <bsd.port.pre.mk> - -.if ${OSVERSION} < 700000 && ${ARCH} == "amd64" -USE_GCC= 4.2+ -.endif - -.include <bsd.port.post.mk> +.include <bsd.port.mk> diff --git a/lang/polyml/distinfo b/lang/polyml/distinfo index 60404cced5a..b95a99fe02b 100644 --- a/lang/polyml/distinfo +++ b/lang/polyml/distinfo @@ -1,2 +1,2 @@ -SHA256 (polyml/polyml.5.4.tar.gz) = 64b4e23fc2e5bab00899027d805d311025dfb192f55089729b0d18313fa96bfa -SIZE (polyml/polyml.5.4.tar.gz) = 6107333 +SHA256 (polyml/polyml.5.4.1.tar.gz) = 514d1d07be487b783d4dfa29dbd550b3396640579ce135a9eb5a61f08e7f9cac +SIZE (polyml/polyml.5.4.1.tar.gz) = 6107319 |