CVS commit: pkgsrc/devel/why3

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

Module Name:    pkgsrc
Committed By:   tonio
Date:           Sun Oct 16 10:41:09 UTC 2022

Modified Files:
        pkgsrc/devel/why3: Makefile

Log Message:
Add missing dependency: coq


To generate a diff of this commit:
cvs rdiff -u -r1.3 -r1.4 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.3 pkgsrc/devel/why3/Makefile:1.4
--- pkgsrc/devel/why3/Makefile:1.3      Wed Oct 12 10:22:30 2022
+++ pkgsrc/devel/why3/Makefile  Sun Oct 16 10:41:09 2022
@@ -1,4 +1,4 @@
-# $NetBSD: Makefile,v 1.3 2022/10/12 10:22:30 wiz Exp $
+# $NetBSD: Makefile,v 1.4 2022/10/16 10:41:09 tonio Exp $
 
 DISTNAME=      why3-1.5.1
 PKGREVISION=   1
@@ -18,6 +18,8 @@ USE_TOOLS+=   gmake
 CONFIGURE_ARGS+=       --disable-ide
 INSTALL_TARGET=                install install-lib
 
+DEPENDS+=              coq>=8.6:../../lang/coq
+
 .include "../../lang/ocaml/buildlink3.mk"
 .include "../../math/ocaml-num/buildlink3.mk"
 .include "../../mk/bsd.pkg.mk"