Thu Jan 12 09:11:27 2017 UTC ()
Added dependency on camlp4


(jaapb)
diff -r1.93 -r1.94 pkgsrc/lang/coq/Makefile
cvs diff -r1.93 -r1.94 pkgsrc/lang/coq/Makefile (expand / switch to unified diff)

--- pkgsrc/lang/coq/Makefile 2016/12/30 13:23:06 1.93
+++ pkgsrc/lang/coq/Makefile 2017/01/12 09:11:27 1.94
@@ -1,14 +1,14 @@ @@ -1,14 +1,14 @@
1# $NetBSD: Makefile,v 1.93 2016/12/30 13:23:06 jaapb Exp $ 1# $NetBSD: Makefile,v 1.94 2017/01/12 09:11:27 jaapb Exp $
2# 2#
3 3
4DISTNAME= coq-8.6 4DISTNAME= coq-8.6
5CATEGORIES= lang math 5CATEGORIES= lang math
6MASTER_SITES= http://coq.inria.fr/distrib/V${PKGVERSION_NOREV}/files/ 6MASTER_SITES= http://coq.inria.fr/distrib/V${PKGVERSION_NOREV}/files/
7 7
8MAINTAINER= jaapb@NetBSD.org 8MAINTAINER= jaapb@NetBSD.org
9HOMEPAGE= http://coq.inria.fr/ 9HOMEPAGE= http://coq.inria.fr/
10COMMENT= Theorem prover which extracts programs from proofs 10COMMENT= Theorem prover which extracts programs from proofs
11LICENSE= gnu-lgpl-v2.1 11LICENSE= gnu-lgpl-v2.1
12 12
13USE_TOOLS+= gmake 13USE_TOOLS+= gmake
14HAS_CONFIGURE= yes 14HAS_CONFIGURE= yes
@@ -47,15 +47,16 @@ INSTALL_ENV+= COQINSTALLPREFIX=${DESTDIR @@ -47,15 +47,16 @@ INSTALL_ENV+= COQINSTALLPREFIX=${DESTDIR
47PLIST_VARS+= coqide natdynlink doc 47PLIST_VARS+= coqide natdynlink doc
48 48
49.include "options.mk" 49.include "options.mk"
50 50
51EGDIR= ${PREFIX}/share/coq/examples 51EGDIR= ${PREFIX}/share/coq/examples
52#CONF_FILES= {EGDIR}/coqide-gtk2rc ${PKG_SYSCONFDIR}/xdg/coq/coqide-gtk2rc 52#CONF_FILES= {EGDIR}/coqide-gtk2rc ${PKG_SYSCONFDIR}/xdg/coq/coqide-gtk2rc
53 53
54SUBST_CLASSES+= fix-paths 54SUBST_CLASSES+= fix-paths
55SUBST_STAGE.fix-paths= post-configure 55SUBST_STAGE.fix-paths= post-configure
56SUBST_MESSAGE.fix-paths= Remove buildlink references from Coq_config module 56SUBST_MESSAGE.fix-paths= Remove buildlink references from Coq_config module
57SUBST_FILES.fix-paths= config/coq_config.ml 57SUBST_FILES.fix-paths= config/coq_config.ml
58SUBST_SED.fix-paths= -e "s,${BUILDLINK_DIR},${PREFIX},g" 58SUBST_SED.fix-paths= -e "s,${BUILDLINK_DIR},${PREFIX},g"
59 59
 60.include "../../lang/camlp4/buildlink3.mk"
60.include "../../mk/pthread.buildlink3.mk" 61.include "../../mk/pthread.buildlink3.mk"
61.include "../../mk/bsd.pkg.mk" 62.include "../../mk/bsd.pkg.mk"