Improved PKGBUILD: https://ptpb.pw/22fs/sh
Search Criteria
Package Details: spin 6.4.8-1
| Git Clone URL: | https://aur.archlinux.org/spin.git (read-only) |
|---|---|
| Package Base: | spin |
| Description: | Tool for the formal verification of distributed software systems |
| Upstream URL: | https://spinroot.com/ |
| Licenses: | |
| Submitter: | catwell |
| Maintainer: | frederik |
| Last Packager: | frederik |
| Votes: | 30 |
| Popularity: | 1.395734 |
| First Submitted: | 2008-10-17 09:46 |
| Last Updated: | 2018-04-06 22:54 |
Dependencies (5)
Sources (1)
Latest Comments
frederik commented on 2016-02-10 17:38
Earnest commented on 2016-02-10 17:06
max-k commented on 2015-02-06 15:42
I simply removed DLAGENTS line and it works with pacman 4.2.0-6.
Artemis commented on 2015-01-18 00:48
I have made some small changes to the PKGBUILD which is available at http://pastebin.com/aeTu06Q1
* Change download agent to wget which works fine for me (changing curl options does not)
* Download the full distribution and add the spin manpage to the package
Please feel free to use this PKGBUILD to update the package.
thrimbor commented on 2015-01-13 14:41
The PKGBUILD still produces a 403 error when downloading the source. Changing DLAGENTS to the string calrama provided fixes the error.
gok commented on 2015-01-05 17:06
Version 6.4.3's changelog: http://spinroot.com/fluxbb/viewtopic.php?id=1573
gok commented on 2014-10-16 09:30
@frederik: indeed, yacc (provided by bison) is required to compile spin. However, bison is part of the base-devel group (assumed to be installed before using makepkg). Therefore, it is not included in makedepends (and should not: https://wiki.archlinux.org/index.php/PKGBUILD#makedepends).
frederik commented on 2014-10-15 23:03
bison is a makedepend
frederik commented on 2014-10-15 21:15
byacc is a makedepend
gok commented on 2014-05-20 09:38
Updated to 6.3.2.
I've added the examples. Ispin is a different package and I see no reason to include it in this package.
Thx @Earnest for contribution