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