diff options
author | adrianp <adrianp@pkgsrc.org> | 2005-02-05 11:19:02 +0000 |
---|---|---|
committer | adrianp <adrianp@pkgsrc.org> | 2005-02-05 11:19:02 +0000 |
commit | 6f9732940a97f137293f6ab370e9ef05a7a383a8 (patch) | |
tree | 4fc13b95350b38f54609dff84f0973f3a3f16f4f /lang/coq/Makefile | |
parent | 5f67f068c9329ebf96f6cbc502cea21e866311e9 (diff) | |
download | pkgsrc-6f9732940a97f137293f6ab370e9ef05a7a383a8.tar.gz |
- Update of coq from 7.4 to 8.0pl2
- Initial patches supplied by Antoine Reilles, thanks !
- Lots of changes/fixes/updates, see: CHANGES
Diffstat (limited to 'lang/coq/Makefile')
-rw-r--r-- | lang/coq/Makefile | 29 |
1 files changed, 20 insertions, 9 deletions
diff --git a/lang/coq/Makefile b/lang/coq/Makefile index 51ec5ccdc17..d54289f7a7d 100644 --- a/lang/coq/Makefile +++ b/lang/coq/Makefile @@ -1,28 +1,39 @@ -# $NetBSD: Makefile,v 1.7 2004/12/24 17:21:01 jmmv Exp $ +# $NetBSD: Makefile,v 1.8 2005/02/05 11:19:02 adrianp Exp $ # -DISTNAME= coq-7.4 -PKGREVISION= 3 +DISTNAME= coq-8.0pl2 CATEGORIES= lang math -MASTER_SITES= ftp://ftp.inria.fr/INRIA/coq/V7.4/ +MASTER_SITES= ftp://ftp.inria.fr/INRIA/coq/V8.0pl2/ MAINTAINER= richards+netbsd@CS.Princeton.EDU HOMEPAGE= http://coq.inria.fr/ COMMENT= Theorem prover which extracts programs from proofs -USE_GNU_TOOLS+= make -USE_BUILDLINK3= YES -HAS_CONFIGURE= YES +USE_GNU_TOOLS+= make +USE_BUILDLINK3= YES +HAS_CONFIGURE= YES CONFIGURE_ARGS+= -prefix ${PREFIX} CONFIGURE_ARGS+= -emacslib ${PREFIX}/share/emacs/site-lisp CONFIGURE_ARGS+= -reals all -BUILD_TARGET= world +BUILD_TARGET= world + +BUILDLINK_DEPENDS.ocaml+= ocaml>=3.06 .include "../../mk/bsd.prefs.mk" -.if (${MACHINE_ARCH} == "i386") || (${MACHINE_ARCH} == "powerpc") || (${MACHINE_ARCH} == "sparc") +.if (${MACHINE_ARCH} == "i386") || (${MACHINE_ARCH} == "powerpc") || \ + (${MACHINE_ARCH} == "sparc") PLIST_SRC= ${PKGDIR}/PLIST.opt ${PKGDIR}/PLIST .endif +.if ${OPSYS} == "Darwin" +INSTALL_UNSTRIPPED= yes +# See PR# 28772 as the above should work but it appears to be ignored +# so we set it explicitly below not to stip installed binaries. +_STRIPFLAG_CC= +_STRIPFLAG_INSTALL= +.endif + +.include "../../mk/pthread.buildlink3.mk" .include "../../lang/ocaml/buildlink3.mk" .include "../../mk/bsd.pkg.mk" |