pkgsrc-Changes-HG archive

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]

[pkgsrc/trunk]: pkgsrc/lang/coq Added dependency on camlp4



details:   https://anonhg.NetBSD.org/pkgsrc/rev/3bfd4c1562c3
branches:  trunk
changeset: 357066:3bfd4c1562c3
user:      jaapb <jaapb%pkgsrc.org@localhost>
date:      Thu Jan 12 09:11:27 2017 +0000

description:
Added dependency on camlp4

diffstat:

 lang/coq/Makefile |  3 ++-
 1 files changed, 2 insertions(+), 1 deletions(-)

diffs (16 lines):

diff -r 270d2be3caac -r 3bfd4c1562c3 lang/coq/Makefile
--- a/lang/coq/Makefile Thu Jan 12 05:53:22 2017 +0000
+++ b/lang/coq/Makefile Thu Jan 12 09:11:27 2017 +0000
@@ -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_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"



Home | Main Index | Thread Index | Old Index