Updated in case of PKGBuild Guidelines and version. Didn't test if the program is working
Search Criteria
Package Details: why3 0.85-1
Package Actions
| Package Base: | why3 |
|---|---|
| Description: | The next generation of the former software verification platform Why |
| Upstream URL: | http://why3.gforge.inria.fr/ |
| Category: | devel |
| Licenses: | |
| Submitter: | pherms |
| Maintainer: | LeonidasXIV |
| Last Packager: | TrialnError |
| Votes: | 3 |
| First Submitted: | 2011-01-19 09:39 |
| Last Updated: | 2014-10-01 11:59 |
Dependencies (5)
- gtksourceview2
- sqlite3
- lablgtk2 (make)
- ocaml (make)
- ocaml-sqlite3 (make)
Required by (0)
Sources
Latest Comments
Comment by TrialnError
Comment by mathieu.clabaut
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 ?