Package Details: why3 0.88.3-1

Git Clone URL: https://aur.archlinux.org/why3.git (read-only)
Package Base: why3
Description: A platform for deductive program verification
Upstream URL: http://why3.lri.fr/
Licenses: LGPL
Submitter: pherms
Maintainer: meanjollies
Last Packager: meanjollies
Votes: 5
Popularity: 0.000000
First Submitted: 2011-01-19 09:39
Last Updated: 2018-01-16 23:07

Latest Comments

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.

meanjollies commented on 2018-01-24 18:15

Currently failing to build after ocaml was upgraded to 4.06.0-1.

File "src/util/bigInt.ml", line 12, characters 5-12:
Error: Unbound module Big_int
make: *** [Makefile:1900: src/util/bigInt.cmx] Error 2

I will investigate and open up a ticket with the upstream project, if need be.

khouli commented on 2017-10-07 07:11

package() fails with these errors:

cp: cannot create regular file '/tmp/makepkg/why3/pkg/why3/usr/lib/ocaml/why3/why3.cmx': No such file or directory
cp: cannot create regular file '/tmp/makepkg/why3/pkg/why3/usr/lib/ocaml/why3/why3.cmi': No such file or directory
cp: cannot create regular file '/tmp/makepkg/why3/pkg/why3/usr/lib/ocaml/why3/why3.cmxa': No such file or directory
cp: cannot create regular file '/tmp/makepkg/why3/pkg/why3/usr/lib/ocaml/why3/META': No such file or directory

Adding -j1 to the make command fixes this. It appears that the Makefile has an unsynchronized mkdir -p and rm -rf that create and remove /tmp/makepkg/why3/pkg/why3/usr/lib/ocaml/why3.

TrialnError commented on 2014-10-01 12:00

Updated in case of PKGBuild Guidelines and version. Didn't test if the program is working

mathieu.clabaut commented on 2013-05-02 12:46

The buid failed with the following message :
cp: la cible « /tmp_dsk/makepkg/why3/pkg/why3/usr/share/why3/images » n'est pas un répertoire
make: *** [install_no_local] Erreur 1

Any tip ?

pherms commented on 2011-07-04 10:13

Version 0.64 is out of date, too. The new version .70 should be released this week.

pherms commented on 2011-01-19 10:24

Currently broken due to upstream bug (works only if installed to /usr/local ...)