Package Details: why3 0.88.1-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.000005
First Submitted: 2011-01-19 09:39
Last Updated: 2017-11-08 02:13

Latest Comments

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 ...)