diff options
Diffstat (limited to 'lang/coq/Makefile')
-rw-r--r-- | lang/coq/Makefile | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/lang/coq/Makefile b/lang/coq/Makefile index 530dab2c324..553df998aea 100644 --- a/lang/coq/Makefile +++ b/lang/coq/Makefile @@ -1,10 +1,9 @@ -# $NetBSD: Makefile,v 1.15 2007/01/17 11:14:46 tonio Exp $ +# $NetBSD: Makefile,v 1.16 2007/02/25 15:03:52 tonio Exp $ # -DISTNAME= coq-8.0pl3 -PKGREVISION= 1 +DISTNAME= coq-8.1 CATEGORIES= lang math -MASTER_SITES= ftp://ftp.inria.fr/INRIA/coq/V8.0pl3/ +MASTER_SITES= ftp://ftp.inria.fr/INRIA/coq/V8.1/ MAINTAINER= richards+netbsd@CS.Princeton.EDU HOMEPAGE= http://coq.inria.fr/ @@ -22,7 +21,7 @@ BUILDLINK_API_DEPENDS.ocaml+= ocaml>=3.09 .include "../../mk/bsd.prefs.mk" .if (${MACHINE_ARCH} == "i386") || (${MACHINE_ARCH} == "powerpc") || \ - (${MACHINE_ARCH} == "sparc") + (${MACHINE_ARCH} == "sparc") || (${MACHINE_ARCH} == "x86_64") PLIST_SRC= ${PKGDIR}/PLIST.opt ${PKGDIR}/PLIST .endif |