CVS commit: pkgsrc/devel/why3

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

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

Modified Files:
        pkgsrc/devel/why3: Makefile

Log Message:
why3: but only at build time, so make it TOOL_DEPENDS


To generate a diff of this commit:
cvs rdiff -u -r1.22 -r1.23 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.22 pkgsrc/devel/why3/Makefile:1.23
--- pkgsrc/devel/why3/Makefile:1.22     Sat Oct  3 06:56:22 2026
+++ pkgsrc/devel/why3/Makefile  Sat Oct  3 06:56:42 2026
@@ -1,4 +1,4 @@
-# $NetBSD: Makefile,v 1.22 2026/10/03 06:56:22 wiz Exp $
+# $NetBSD: Makefile,v 1.23 2026/10/03 06:56:42 wiz Exp $
 
 DISTNAME=      why3-1.8.2
 PKGREVISION=   6
@@ -10,9 +10,9 @@ HOMEPAGE=     https://www.why3.org/
 COMMENT=       Platform for deductive program verification
 LICENSE=       gnu-lgpl-v2.1
 
+TOOL_DEPENDS+= ocaml-findlib-[0-9]*:../../devel/ocaml-findlib
 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