CVS commit: pkgsrc/devel/why3

["Antoine Reilles" <tonio%netbsd.org@localhost>]

Module Name:    pkgsrc
Committed By:   tonio
Date:           Sun Oct  9 06:46:57 UTC 2022

Modified Files:
        pkgsrc/devel/why3: Makefile PLIST

Log Message:
Update devel/why3 to 1.5.1nb1

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


To generate a diff of this commit:
cvs rdiff -u -r1.1 -r1.2 pkgsrc/devel/why3/Makefile pkgsrc/devel/why3/PLIST

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.1 pkgsrc/devel/why3/Makefile:1.2
--- pkgsrc/devel/why3/Makefile:1.1      Sat Oct  8 16:36:47 2022
+++ pkgsrc/devel/why3/Makefile  Sun Oct  9 06:46:57 2022
@@ -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 @@ DEPENDS+=     menhir-[0-9]*:../../devel/menh
 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"
Index: pkgsrc/devel/why3/PLIST
diff -u pkgsrc/devel/why3/PLIST:1.1 pkgsrc/devel/why3/PLIST:1.2
--- pkgsrc/devel/why3/PLIST:1.1 Sat Oct  8 16:36:47 2022
+++ pkgsrc/devel/why3/PLIST     Sun Oct  9 06:46:57 2022
@@ -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