CVS commit: pkgsrc/devel/why3

["Antoine Reilles" <tonio%netbsd.org@localhost>]

Module Name:    pkgsrc
Committed By:   tonio
Date:           Sun Oct 16 10:51:45 UTC 2022

Modified Files:
        pkgsrc/devel/why3: Makefile

Log Message:
Add missing dependency ocamlgraph


To generate a diff of this commit:
cvs rdiff -u -r1.4 -r1.5 pkgsrc/devel/why3/Makefile

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.

Modified files:

Index: pkgsrc/devel/why3/Makefile
diff -u pkgsrc/devel/why3/Makefile:1.4 pkgsrc/devel/why3/Makefile:1.5
--- pkgsrc/devel/why3/Makefile:1.4      Sun Oct 16 10:41:09 2022
+++ pkgsrc/devel/why3/Makefile  Sun Oct 16 10:51:45 2022
@@ -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 @@ INSTALL_TARGET=               install install-lib
 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"