Hi Ori -- On 11/24/17 03:33, Ori Bernstein wrote:
Hi,I've added a port of the Spin model checker. Maybe one day I'll even learn how to use the thing properly. See attached.
Attached is a new tarball with a bunch of tweaks: * Re-sort variables in the Makefile to fit with convention* Add a V= variable for the version number and use it everywhere. So you only need to tweak one number for routine updates.
* Add NO_TEST=Yes * Tweak MAKE_FLAGS based on the makefile in the port* Remove your do-install routine, which only installed the manual page (verified by running `cat pkg/PLIST`, which only showed a manual page) * Tweak your one patch to the software's makefile so that it installs the binary and manual page, and is compatible with in-base make, so dropped USE_GMAKE=Yes, and make sure not to hardcode CC or YACC.
* Switch to use https versions of HOMEPAGE and MASTER_SITES* Add a post-install routine to install all the examples to ${PREFIX}/share/examples/spin -- I found them useful in testing the program. And there's a lot (and a book?) so it seems like it's useful to have.
I think pkg/DESCR could be better. I realize it's the main blurb on the HOMEPAGE, but it seems to spend more time talking about who writes and uses spin than what spin is.
~Brian
--- pkg_info spin Information for inst:spin-6.4.7p0 Comment: Spin is a tool for formal verification of parallel software. Description: Spin is a popular open-source software verification tool, used by thousands of people worldwide. The tool can be used for the formal verification of multi-threaded software applications. The tool was developed at Bell Labs in the Unix group of the Computing Sciences Research Center, starting in 1980. The software has been available freely since 1991, and continues to evolve to keep pace with new developments. Maintainer: Ori Bernstein <o...@eigenstate.org> WWW: http://spinroot.com ---
spin.tgz
Description: application/compressed-tar
