diff options
author | jaapb <jaapb@pkgsrc.org> | 2017-01-12 09:11:27 +0000 |
---|---|---|
committer | jaapb <jaapb@pkgsrc.org> | 2017-01-12 09:11:27 +0000 |
commit | 9953530aa18f777f3f4d420227ecd04f24732b12 (patch) | |
tree | 8b21664a5eacbedb29244f575bc7531fb756a2fc /lang/coq | |
parent | dadb1c50fbf40cd4a23dd71bacd53253e3582fff (diff) | |
download | pkgsrc-9953530aa18f777f3f4d420227ecd04f24732b12.tar.gz |
Added dependency on camlp4
Diffstat (limited to 'lang/coq')
-rw-r--r-- | lang/coq/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
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" |