[pkgsrc/trunk]: pkgsrc/devel/why3 Update devel/why3 to 1.5.1nb1

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

details:   https://anonhg.NetBSD.org/pkgsrc/rev/cb3ba04f3a51
branches:  trunk
changeset: 386448:cb3ba04f3a51
user:      tonio <tonio%pkgsrc.org@localhost>
date:      Sun Oct 09 06:46:57 2022 +0000

description:
Update devel/why3 to 1.5.1nb1

Make sure to install the library properly
This is necessary for frama-c to bind properly

diffstat:

 devel/why3/Makefile |  6 ++++--
 devel/why3/PLIST    |  9 ++++++++-
 2 files changed, 12 insertions(+), 3 deletions(-)

diffs (40 lines):

diff -r ae7d7ffdd33c -r cb3ba04f3a51 devel/why3/Makefile
--- a/devel/why3/Makefile       Sun Oct 09 06:39:39 2022 +0000
+++ b/devel/why3/Makefile       Sun Oct 09 06:46:57 2022 +0000
@@ -1,6 +1,7 @@
-# $NetBSD: Makefile,v 1.1 2022/10/08 16:36:47 tonio Exp $
+# $NetBSD: Makefile,v 1.2 2022/10/09 06:46:57 tonio Exp $
 
 DISTNAME=      why3-1.5.1
+PKGREVISION=   1
 CATEGORIES=    devel
 MASTER_SITES=  https://why3.gitlabpages.inria.fr/releases/
 
@@ -14,7 +15,8 @@
 GNU_CONFIGURE= yes
 USE_TOOLS+=    gmake
 
-CONFIGURE_ARGS+=               --disable-ide
+CONFIGURE_ARGS+=       --disable-ide
+INSTALL_TARGET=                install install-lib
 
 .include "../../lang/ocaml/buildlink3.mk"
 .include "../../mk/bsd.pkg.mk"
diff -r ae7d7ffdd33c -r cb3ba04f3a51 devel/why3/PLIST
--- a/devel/why3/PLIST  Sun Oct 09 06:39:39 2022 +0000
+++ b/devel/why3/PLIST  Sun Oct 09 06:46:57 2022 +0000
@@ -1,6 +1,13 @@
-@comment $NetBSD: PLIST,v 1.1 2022/10/08 16:36:47 tonio Exp $
+@comment $NetBSD: PLIST,v 1.2 2022/10/09 06:46:57 tonio Exp $
 bin/isabelle_client
 bin/why3
+lib/ocaml/site-lib/why3/META
+lib/ocaml/site-lib/why3/why3.a
+lib/ocaml/site-lib/why3/why3.cmi
+lib/ocaml/site-lib/why3/why3.cmt
+lib/ocaml/site-lib/why3/why3.cmx
+lib/ocaml/site-lib/why3/why3.cmxa
+lib/ocaml/site-lib/why3/why3.cmxs
 lib/why3/commands/why3config.cmxs
 lib/why3/commands/why3doc.cmxs
 lib/why3/commands/why3execute.cmxs