Sun Oct 9 06:46:57 2022 UTC ()
Update devel/why3 to 1.5.1nb1

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


(tonio)
diff -r1.1 -r1.2 pkgsrc/devel/why3/Makefile
diff -r1.1 -r1.2 pkgsrc/devel/why3/PLIST
cvs diff -r1.1 -r1.2 pkgsrc/devel/why3/Makefile (expand / switch to unified diff)

--- pkgsrc/devel/why3/Makefile 2022/10/08 16:36:47 1.1
+++ pkgsrc/devel/why3/Makefile 2022/10/09 06:46:57 1.2
@@ -1,20 +1,22 @@ @@ -1,20 +1,22 @@
1# $NetBSD: Makefile,v 1.1 2022/10/08 16:36:47 tonio Exp $ 1# $NetBSD: Makefile,v 1.2 2022/10/09 06:46:57 tonio Exp $
2 2
3DISTNAME= why3-1.5.1 3DISTNAME= why3-1.5.1
 4PKGREVISION= 1
4CATEGORIES= devel 5CATEGORIES= devel
5MASTER_SITES= https://why3.gitlabpages.inria.fr/releases/ 6MASTER_SITES= https://why3.gitlabpages.inria.fr/releases/
6 7
7MAINTAINER= jihbed.research@gmail.com 8MAINTAINER= jihbed.research@gmail.com
8HOMEPAGE= http://why3.lri.fr/ 9HOMEPAGE= http://why3.lri.fr/
9COMMENT= Platform for deductive program verification 10COMMENT= Platform for deductive program verification
10LICENSE= gnu-lgpl-v2.1 11LICENSE= gnu-lgpl-v2.1
11 12
12DEPENDS+= menhir-[0-9]*:../../devel/menhir 13DEPENDS+= menhir-[0-9]*:../../devel/menhir
13 14
14GNU_CONFIGURE= yes 15GNU_CONFIGURE= yes
15USE_TOOLS+= gmake 16USE_TOOLS+= gmake
16 17
17CONFIGURE_ARGS+= --disable-ide 18CONFIGURE_ARGS+= --disable-ide
 19INSTALL_TARGET= install install-lib
18 20
19.include "../../lang/ocaml/buildlink3.mk" 21.include "../../lang/ocaml/buildlink3.mk"
20.include "../../mk/bsd.pkg.mk" 22.include "../../mk/bsd.pkg.mk"
cvs diff -r1.1 -r1.2 pkgsrc/devel/why3/PLIST (expand / switch to unified diff)

--- pkgsrc/devel/why3/PLIST 2022/10/08 16:36:47 1.1
+++ pkgsrc/devel/why3/PLIST 2022/10/09 06:46:57 1.2
@@ -1,16 +1,23 @@ @@ -1,16 +1,23 @@
1@comment $NetBSD: PLIST,v 1.1 2022/10/08 16:36:47 tonio Exp $ 1@comment $NetBSD: PLIST,v 1.2 2022/10/09 06:46:57 tonio Exp $
2bin/isabelle_client 2bin/isabelle_client
3bin/why3 3bin/why3
 4lib/ocaml/site-lib/why3/META
 5lib/ocaml/site-lib/why3/why3.a
 6lib/ocaml/site-lib/why3/why3.cmi
 7lib/ocaml/site-lib/why3/why3.cmt
 8lib/ocaml/site-lib/why3/why3.cmx
 9lib/ocaml/site-lib/why3/why3.cmxa
 10lib/ocaml/site-lib/why3/why3.cmxs
4lib/why3/commands/why3config.cmxs 11lib/why3/commands/why3config.cmxs
5lib/why3/commands/why3doc.cmxs 12lib/why3/commands/why3doc.cmxs
6lib/why3/commands/why3execute.cmxs 13lib/why3/commands/why3execute.cmxs
7lib/why3/commands/why3extract.cmxs 14lib/why3/commands/why3extract.cmxs
8lib/why3/commands/why3pp.cmxs 15lib/why3/commands/why3pp.cmxs
9lib/why3/commands/why3prove.cmxs 16lib/why3/commands/why3prove.cmxs
10lib/why3/commands/why3realize.cmxs 17lib/why3/commands/why3realize.cmxs
11lib/why3/commands/why3replay.cmxs 18lib/why3/commands/why3replay.cmxs
12lib/why3/commands/why3session.cmxs 19lib/why3/commands/why3session.cmxs
13lib/why3/commands/why3shell.cmxs 20lib/why3/commands/why3shell.cmxs
14lib/why3/commands/why3show.cmxs 21lib/why3/commands/why3show.cmxs
15lib/why3/commands/why3wc.cmxs 22lib/why3/commands/why3wc.cmxs
16lib/why3/commands/why3webserver.cmxs 23lib/why3/commands/why3webserver.cmxs