pkgsrc-Changes-HG archive
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]
[pkgsrc/trunk]: pkgsrc/devel/why3 Add missing dependency ocamlgraph
details: https://anonhg.NetBSD.org/pkgsrc/rev/edfb250e50ec
branches: trunk
changeset: 386862:edfb250e50ec
user: tonio <tonio%pkgsrc.org@localhost>
date: Sun Oct 16 10:51:45 2022 +0000
description:
Add missing dependency ocamlgraph
diffstat:
devel/why3/Makefile | 3 ++-
1 files changed, 2 insertions(+), 1 deletions(-)
diffs (16 lines):
diff -r 164021483a1a -r edfb250e50ec devel/why3/Makefile
--- a/devel/why3/Makefile Sun Oct 16 10:41:09 2022 +0000
+++ b/devel/why3/Makefile Sun Oct 16 10:51:45 2022 +0000
@@ -1,4 +1,4 @@
-# $NetBSD: Makefile,v 1.4 2022/10/16 10:41:09 tonio Exp $
+# $NetBSD: Makefile,v 1.5 2022/10/16 10:51:45 tonio Exp $
DISTNAME= why3-1.5.1
PKGREVISION= 1
@@ -21,5 +21,6 @@
DEPENDS+= coq>=8.6:../../lang/coq
.include "../../lang/ocaml/buildlink3.mk"
+.include "../../devel/ocamlgraph/buildlink3.mk"
.include "../../math/ocaml-num/buildlink3.mk"
.include "../../mk/bsd.pkg.mk"
Home |
Main Index |
Thread Index |
Old Index