CVS commit: pkgsrc/devel/why3

["Thomas Klausner" <wiz%netbsd.org@localhost>]

Module Name:    pkgsrc
Committed By:   wiz
Date:           Sat Oct  3 06:56:22 UTC 2026

Modified Files:
        pkgsrc/devel/why3: Makefile

Log Message:
why3: needs ocaml-findlib to find ocaml-zarith


To generate a diff of this commit:
cvs rdiff -u -r1.21 -r1.22 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.21 pkgsrc/devel/why3/Makefile:1.22
--- pkgsrc/devel/why3/Makefile:1.21     Tue Sep 29 06:04:44 2026
+++ pkgsrc/devel/why3/Makefile  Sat Oct  3 06:56:22 2026
@@ -1,4 +1,4 @@
-# $NetBSD: Makefile,v 1.21 2026/09/29 06:04:44 wiz Exp $
+# $NetBSD: Makefile,v 1.22 2026/10/03 06:56:22 wiz Exp $
 
 DISTNAME=      why3-1.8.2
 PKGREVISION=   6
@@ -12,6 +12,7 @@ LICENSE=      gnu-lgpl-v2.1
 
 DEPENDS+=      coq>=8.16:../../lang/coq
 DEPENDS+=      menhir-[0-9]*:../../devel/menhir
+DEPENDS+=      ocaml-findlib-[0-9]*:../../devel/ocaml-findlib
 
 GNU_CONFIGURE= yes
 USE_TOOLS+=    gmake