diff options
| author | jaapb <jaapb@pkgsrc.org> | 2017-11-03 11:20:28 +0000 |
|---|---|---|
| committer | jaapb <jaapb@pkgsrc.org> | 2017-11-03 11:20:28 +0000 |
| commit | 8a196f21e12447af5c489f8e71481d4e281bfeb9 (patch) | |
| tree | 05d1ff99a88a6c963bc1f8e512b58f576eff810c /lang/coq/Makefile | |
| parent | 23f64eea8788dd059cf7b193f30919efc691951c (diff) | |
| download | pkgsrc-8a196f21e12447af5c489f8e71481d4e281bfeb9.tar.gz | |
Updated lang/coq to version 8.7.0.
Includes many improvements and bugfixes (none that seem to be breaking
backwards compatibility though), see the CHANGELOG.
For packaging:
- camlp4 support removed, package now uses camlp5 exclusively
- fix for PR pkg/52651
Diffstat (limited to 'lang/coq/Makefile')
| -rw-r--r-- | lang/coq/Makefile | 22 |
1 files changed, 17 insertions, 5 deletions
diff --git a/lang/coq/Makefile b/lang/coq/Makefile index f9976a49fc1..7f1950f9894 100644 --- a/lang/coq/Makefile +++ b/lang/coq/Makefile @@ -1,8 +1,7 @@ -# $NetBSD: Makefile,v 1.100 2017/09/18 09:53:24 maya Exp $ +# $NetBSD: Makefile,v 1.101 2017/11/03 11:20:28 jaapb Exp $ # -DISTNAME= coq-8.6.1 -PKGREVISION= 1 +DISTNAME= coq-8.7.0 CATEGORIES= lang math MASTER_SITES= http://coq.inria.fr/distrib/V${PKGVERSION_NOREV}/files/ @@ -19,7 +18,6 @@ CONFIGURE_ARGS+= -mandir ${PREFIX}/${PKGMANDIR} CONFIGURE_ARGS+= -configdir ${PKG_SYSCONFDIR}/xdg/coq CONFIGURE_ARGS+= -docdir ${PREFIX}/share/doc/coq CONFIGURE_ARGS+= -coqdocdir ${PREFIX}/share/texmf-dist/tex/latex/coq -BUILD_TARGET= world BUILDLINK_API_DEPENDS.ocaml+= ocaml>=3.10 @@ -32,9 +30,12 @@ PLIST_SUBST+= COQIDE_TYPE="opt" PLIST.native= yes CONFIGURE_ARGS+= -native-compiler yes UNLIMIT_RESOURCES+= stacksize # compilation of some files needs this +BUILD_TARGET= world .else PLIST_SUBST+= COQIDE_TYPE="byte" CONFIGURE_ARGS+= -native-compiler no +BUILD_TARGET= byte +INSTALL_TARGET= install-byte .endif .if (${MACHINE_ARCH} == "i386") || (${MACHINE_ARCH} == "x86_64") @@ -47,7 +48,17 @@ PLIST.natdynlink= yes . endif .endif +.include "../../lang/python/pyversion.mk" + REPLACE_SH= configure install.sh +REPLACE_INTERPRETER+= python +REPLACE.python.old= python +REPLACE.python.new= ${PYTHONBIN} +REPLACE_FILES.python= tools/TimeFileMaker.py \ + tools/make-both-single-timing-files.py \ + tools/make-both-time-files.py \ + tools/make-one-time-file.py + INSTALL_ENV+= COQINSTALLPREFIX=${DESTDIR} PLIST_VARS+= coqide natdynlink doc @@ -63,6 +74,7 @@ SUBST_MESSAGE.fix-paths= Remove buildlink references from Coq_config module SUBST_FILES.fix-paths= config/coq_config.ml SUBST_SED.fix-paths= -e "s,${BUILDLINK_DIR},${PREFIX},g" -.include "../../lang/camlp4/buildlink3.mk" + +.include "../../lang/camlp5/buildlink3.mk" .include "../../mk/pthread.buildlink3.mk" .include "../../mk/bsd.pkg.mk" |