CVS commit: pkgsrc/devel/why3

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

Module Name:    pkgsrc
Committed By:   wiz
Date:           Wed May  6 19:00:49 UTC 2026

Modified Files:
        pkgsrc/devel/why3: Makefile

Log Message:
why3: blind guess commit for fixing Solaris build


To generate a diff of this commit:
cvs rdiff -u -r1.16 -r1.17 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.16 pkgsrc/devel/why3/Makefile:1.17
--- pkgsrc/devel/why3/Makefile:1.16     Sun Mar  1 12:38:34 2026
+++ pkgsrc/devel/why3/Makefile  Wed May  6 19:00:49 2026
@@ -1,4 +1,4 @@
-# $NetBSD: Makefile,v 1.16 2026/03/01 12:38:34 gdt Exp $
+# $NetBSD: Makefile,v 1.17 2026/05/06 19:00:49 wiz Exp $
 
 DISTNAME=      why3-1.8.2
 PKGREVISION=   2
@@ -10,6 +10,7 @@ HOMEPAGE=     https://www.why3.org/
 COMMENT=       Platform for deductive program verification
 LICENSE=       gnu-lgpl-v2.1
 
+DEPENDS+=      coq>=8.16:../../lang/coq
 DEPENDS+=      menhir-[0-9]*:../../devel/menhir
 
 GNU_CONFIGURE= yes
@@ -18,7 +19,7 @@ USE_TOOLS+=   gmake
 CONFIGURE_ARGS+=       --disable-emacs-compilation
 INSTALL_TARGET=                install install-lib
 
-DEPENDS+=              coq>=8.16:../../lang/coq
+LDFLAGS.SunOS+=                -lsocket
 
 .include "../../lang/ocaml/buildlink3.mk"
 .include "../../archivers/ocaml-zip/buildlink3.mk"