CVS commit: pkgsrc/lang/coq

["Jaap Boender" <jaapb%netbsd.org@localhost>]

Module Name:    pkgsrc
Committed By:   jaapb
Date:           Thu Jan 12 09:11:27 UTC 2017

Modified Files:
        pkgsrc/lang/coq: Makefile

Log Message:
Added dependency on camlp4


To generate a diff of this commit:
cvs rdiff -u -r1.93 -r1.94 pkgsrc/lang/coq/Makefile

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

Modified files:

Index: pkgsrc/lang/coq/Makefile
diff -u pkgsrc/lang/coq/Makefile:1.93 pkgsrc/lang/coq/Makefile:1.94
--- pkgsrc/lang/coq/Makefile:1.93       Fri Dec 30 13:23:06 2016
+++ pkgsrc/lang/coq/Makefile    Thu Jan 12 09:11:27 2017
@@ -1,4 +1,4 @@
-# $NetBSD: Makefile,v 1.93 2016/12/30 13:23:06 jaapb Exp $
+# $NetBSD: Makefile,v 1.94 2017/01/12 09:11:27 jaapb Exp $
 #
 
 DISTNAME=      coq-8.6
@@ -57,5 +57,6 @@ SUBST_MESSAGE.fix-paths=      Remove buildlin
 SUBST_FILES.fix-paths= config/coq_config.ml
 SUBST_SED.fix-paths=   -e "s,${BUILDLINK_DIR},${PREFIX},g"
 
+.include "../../lang/camlp4/buildlink3.mk"
 .include "../../mk/pthread.buildlink3.mk"
 .include "../../mk/bsd.pkg.mk"