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