diff options
| author | jtb <jtb> | 2003-06-23 20:36:13 +0000 |
|---|---|---|
| committer | jtb <jtb> | 2003-06-23 20:36:13 +0000 |
| commit | b7fe612047aed8fdffdcb3c945ed99e6ee800210 (patch) | |
| tree | fc1a8ad97b33b712e9b33d4a0e975f32a135c971 /lang/coq | |
| parent | 0c1324d1612d68ef1aadd7c7b6a782d004034118 (diff) | |
| download | pkgsrc-b7fe612047aed8fdffdcb3c945ed99e6ee800210.tar.gz | |
Build with native code compilers on systems where they're available,
which now includes powerpc and sparc.
Bump PKGREVISION.
Diffstat (limited to 'lang/coq')
| -rw-r--r-- | lang/coq/Makefile | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/lang/coq/Makefile b/lang/coq/Makefile index ffa2ddd4602..f8d29c436af 100644 --- a/lang/coq/Makefile +++ b/lang/coq/Makefile @@ -1,7 +1,8 @@ -# $NetBSD: Makefile,v 1.1.1.1 2003/03/22 20:21:16 kristerw Exp $ +# $NetBSD: Makefile,v 1.2 2003/06/23 20:36:13 jtb Exp $ # DISTNAME= coq-7.4 +PKGREVISION= 1 CATEGORIES= lang math MASTER_SITES= ftp://ftp.inria.fr/INRIA/coq/V7.4/ @@ -19,7 +20,7 @@ ALL_TARGET= world .include "../../mk/bsd.prefs.mk" -.if (${MACHINE_ARCH} == "i386") +.if (${MACHINE_ARCH} == "i386") || (${MACHINE_ARCH} == "powerpc") || (${MACHINE_ARCH} == "sparc") PLIST_SRC= ${PKGDIR}/PLIST.opt ${PKGDIR}/PLIST .endif |