[pkgsrc/trunk]: pkgsrc/devel/why3 Add missing dependency: coq

[tonio <tonio%pkgsrc.org@localhost>]

details:   https://anonhg.NetBSD.org/pkgsrc/rev/164021483a1a
branches:  trunk
changeset: 386861:164021483a1a
user:      tonio <tonio%pkgsrc.org@localhost>
date:      Sun Oct 16 10:41:09 2022 +0000

description:
Add missing dependency: coq

diffstat:

 devel/why3/Makefile |  4 +++-
 1 files changed, 3 insertions(+), 1 deletions(-)

diffs (18 lines):

diff -r b9507d1ababb -r 164021483a1a devel/why3/Makefile
--- a/devel/why3/Makefile       Sun Oct 16 07:27:50 2022 +0000
+++ b/devel/why3/Makefile       Sun Oct 16 10:41:09 2022 +0000
@@ -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 @@
 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"