Package Details: why3 1.3.2-1

Git Clone URL: (read-only, click to copy)
Package Base: why3
Description: A platform for deductive program verification
Upstream URL:
Licenses: LGPL
Submitter: pherms
Maintainer: None
Last Packager: meanjollies
Votes: 5
Popularity: 0.000000
First Submitted: 2011-01-19 09:39
Last Updated: 2020-09-08 23:44

Latest Comments

1 2 Next › Last »

meanjollies commented on 2020-10-13 01:43

Since I no longer use this, I am orphaning it.

meanjollies commented on 2020-08-05 15:06

@zilbuz No worries - thanks for the feedback. I've added ocaml-findlib as a dep. I'm surprised I didn't run into this sooner.

zilbuz commented on 2020-08-05 12:20

Sorry to bother you again: I didn't catch it while testing in my environment, but by default why3 will look for num at the root of /usr/lib/ocaml instead of the subfolder /usr/lib/ocaml/num:

checking for /usr/lib/ocaml/nums.cma... no
checking for /usr/lib/ocaml/num.cmi... no
configure: error: Library Num not found.
==> ERROR: A failure occurred in build().

If ocaml-findlib is installed, then the configure script of why3 will find the libraries in their subfolders.

zilbuz commented on 2020-08-04 08:29

@meanjollies Thanks, it works as expected :)

meanjollies commented on 2020-08-03 15:03

@zilbuz I've just added it to this package. Let me know if you run into issues.

zilbuz commented on 2020-08-03 14:13

@meanjollies Thanks, with the latest update from ocaml-menhir I was able to install Why3.

Unfortunately I also need the Ocaml API to Why3. Would it be possible to add it in this package or should this be in a different package?

meanjollies commented on 2020-07-20 16:04

@zilbuz thanks for reporting this. This is the result of the maintainer of ocaml-menhir removing --libdir "${pkgdir}$(ocamlfind printconf destdir)" from its build options. I've requested that it be re-introduced.

zilbuz commented on 2020-07-20 11:10

I've got an error during the configure step:

ocamlfind: Package `menhirLib' not found
checking for /usr/lib/ocaml/menhirLib/menhirLib.cmx... no
checking for /usr/lib/ocaml/menhirLib/menhirLib.cmi... no
configure: error: Library menhirLib not found.
==> ERROR: A failure occurred in build().

The AUR package ocaml-menhir is installed, but it seems that menhirLib is placed in /usr/lib/menhirLib instead of /usr/lib/ocaml/menhirLib.

meanjollies commented on 2018-06-26 01:24

Fixed, and updated.

meanjollies commented on 2018-01-31 19:23

This has been reported upstream. OCaml 4.06.0 no longer provides Big_int. Instead, Big_int is now part of ocaml-num, which the why3 build system does not realize. This should be fixed in the next release.