diff options
author | jaapb <jaapb@pkgsrc.org> | 2014-10-09 22:19:01 +0000 |
---|---|---|
committer | jaapb <jaapb@pkgsrc.org> | 2014-10-09 22:19:01 +0000 |
commit | f4da0e4d3ee67b1904244aece76c3214e361a159 (patch) | |
tree | 136409c06d01142d76eeb43af63bb3719c7b9aba /lang/coq/Makefile | |
parent | f98126f91486b707b9f259940d90fba9e55feec1 (diff) | |
download | pkgsrc-f4da0e4d3ee67b1904244aece76c3214e361a159.tar.gz |
Revbump because of ocaml 4.02, added compilation patch (already in
repository upstream) and updated package to use ocaml.mk framework.
Diffstat (limited to 'lang/coq/Makefile')
-rw-r--r-- | lang/coq/Makefile | 14 |
1 files changed, 6 insertions, 8 deletions
diff --git a/lang/coq/Makefile b/lang/coq/Makefile index 4741e6cb3ac..aca975b0066 100644 --- a/lang/coq/Makefile +++ b/lang/coq/Makefile @@ -1,8 +1,9 @@ -# $NetBSD: Makefile,v 1.76 2014/10/07 16:47:28 adam Exp $ +# $NetBSD: Makefile,v 1.77 2014/10/09 22:19:01 jaapb Exp $ # DISTNAME= coq-8.4pl4 -PKGREVISION= 1 +PKGNAME= ${DISTNAME} # to avoid prefixing with ocaml- +PKGREVISION= 2 CATEGORIES= lang math MASTER_SITES= http://coq.inria.fr/distrib/V${PKGVERSION_NOREV}/files/ @@ -24,11 +25,9 @@ BUILD_TARGET= world BUILDLINK_API_DEPENDS.ocaml+= ocaml>=3.10 .include "../../mk/bsd.prefs.mk" +.include "../../mk/ocaml.mk" -.if (${MACHINE_ARCH} == "i386") || (${MACHINE_ARCH} == "powerpc") || \ - (${MACHINE_ARCH} == "sparc") || (${MACHINE_ARCH} == "x86_64") || \ - (${MACHINE_ARCH} == "arm") -PLIST.opt= yes +.if ${OCAML_USE_OPT_COMPILER} == "yes" PLIST_SUBST+= COQIDE_TYPE="opt" .else PLIST_SUBST+= COQIDE_TYPE="byte" @@ -55,7 +54,7 @@ _STRIPFLAG_INSTALL= REPLACE_SH= configure install.sh INSTALL_ENV+= COQINSTALLPREFIX=${DESTDIR} -PLIST_VARS= coqide opt natdynlink doc +PLIST_VARS+= coqide natdynlink doc .include "options.mk" @@ -63,6 +62,5 @@ EGDIR= ${PREFIX}/share/coq/examples CONF_FILES= ${EGDIR}/coqide-gtk2rc ${PKG_SYSCONFDIR}/xdg/coq/coqide-gtk2rc .include "../../mk/pthread.buildlink3.mk" -.include "../../lang/ocaml/buildlink3.mk" .include "../../lang/camlp5/buildlink3.mk" .include "../../mk/bsd.pkg.mk" |