From 9953530aa18f777f3f4d420227ecd04f24732b12 Mon Sep 17 00:00:00 2001
From: jaapb <jaapb@pkgsrc.org>
Date: Thu, 12 Jan 2017 09:11:27 +0000
Subject: Added dependency on camlp4

---
 lang/coq/Makefile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'lang')

diff --git a/lang/coq/Makefile b/lang/coq/Makefile
index 05c9e90ce67..b3bd2d727c6 100644
--- a/lang/coq/Makefile
+++ b/lang/coq/Makefile
@@ -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 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 "../../mk/pthread.buildlink3.mk"
 .include "../../mk/bsd.pkg.mk"
-- 
cgit v1.2.3