Re: [NEW] lang/spin

2017-12-17 Thread Brian Callahan 


On 12/17/2017 6:46 PM, Ayaka Koshibe wrote:
> On Tue, Dec 12, 2017 at 5:32 AM, Brian Callahan  wrote:
>> On 12/12/17 03:13, Ori Bernstein wrote:
>>> On Sat, 9 Dec 2017 19:35:30 -0500, Brian Callahan 
>>> wrote:
>>>
 This is still looking for an ok for me to import (or free commits for
 you! just go ahead and import with my ok if you want).

 ~Brian
>>> I'm assuming that the 'just go ahead and import' isn't directed at me,
>>> since I've got no commit bit.
>>>
>> Correct. It's for hoping another developer looks at this.
>>
> I've also looked at/tested it, so I've imported it...thanks for the ok!
>
>
> Ayaka

Great, thanks for importing. One more item to take off the queue :)

~Brian

Re: [NEW] lang/spin

2017-12-17 Thread Ayaka Koshibe 
On Tue, Dec 12, 2017 at 5:32 AM, Brian Callahan  wrote:
>
> On 12/12/17 03:13, Ori Bernstein wrote:
>>
>> On Sat, 9 Dec 2017 19:35:30 -0500, Brian Callahan 
>> wrote:
>>
>>> This is still looking for an ok for me to import (or free commits for
>>> you! just go ahead and import with my ok if you want).
>>>
>>> ~Brian
>>
>> I'm assuming that the 'just go ahead and import' isn't directed at me,
>> since I've got no commit bit.
>>
>
> Correct. It's for hoping another developer looks at this.
>

I've also looked at/tested it, so I've imported it...thanks for the ok!


Ayaka

Re: [NEW] lang/spin

2017-12-12 Thread Brian Callahan 


On 12/12/17 03:13, Ori Bernstein wrote:

On Sat, 9 Dec 2017 19:35:30 -0500, Brian Callahan  wrote:


This is still looking for an ok for me to import (or free commits for
you! just go ahead and import with my ok if you want).

~Brian

I'm assuming that the 'just go ahead and import' isn't directed at me,
since I've got no commit bit.



Correct. It's for hoping another developer looks at this.

Re: [NEW] lang/spin

2017-12-12 Thread Ori Bernstein 
On Sat, 9 Dec 2017 19:35:30 -0500, Brian Callahan  wrote:

> This is still looking for an ok for me to import (or free commits for 
> you! just go ahead and import with my ok if you want).
> 
> ~Brian

I'm assuming that the 'just go ahead and import' isn't directed at me,
since I've got no commit bit.

-- 
Ori Bernstein

Re: [NEW] lang/spin

2017-12-09 Thread Brian Callahan 
This is still looking for an ok for me to import (or free commits for 
you! just go ahead and import with my ok if you want).


~Brian

On 11/25/17 16:33, Brian Callahan wrote:

Hi Ori --

This is much better. There's a bonus newline at the end of your new 
pkg/DESCR but that's no reason to have you resubmit.

I'd be happy to import this with an ok.

~Brian

On 11/25/17 00:46, Ori Bernstein wrote:
On Fri, 24 Nov 2017 21:28:04 -0800, Ori Bernstein 
 wrote:


On Fri, 24 Nov 2017 12:38:30 -0800, Ori Bernstein 
 wrote:



I'll rewrite it. Stay tuned for an updated tarball.

  And, here's a new version. The only change from your fixes
is the rewrite of the DESCR.


Realized it's probably a good idea to inline the new
description:

$ 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 

WWW: http://spinroot.com

Re: [NEW] lang/spin

2017-11-29 Thread Ori Bernstein 
On Sat, 25 Nov 2017 16:33:03 -0500
Brian Callahan  wrote:

> Hi Ori --
> 
> This is much better. There's a bonus newline at the end of your new 
> pkg/DESCR but that's no reason to have you resubmit.
> I'd be happy to import this with an ok.
> 
> ~Brian
 
Thanks, sounds good. Sorry about the braindead first attempt :)

-- 
Ori Bernstein

Re: [NEW] lang/spin

2017-11-25 Thread Brian Callahan 

Hi Ori --

This is much better. There's a bonus newline at the end of your new 
pkg/DESCR but that's no reason to have you resubmit.

I'd be happy to import this with an ok.

~Brian

On 11/25/17 00:46, Ori Bernstein wrote:

On Fri, 24 Nov 2017 21:28:04 -0800, Ori Bernstein  wrote:


On Fri, 24 Nov 2017 12:38:30 -0800, Ori Bernstein  wrote:


I'll rewrite it. Stay tuned for an updated tarball.
  
And, here's a new version. The only change from your fixes

is the rewrite of the DESCR.


Realized it's probably a good idea to inline the new
description:

$ 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 

WWW: http://spinroot.com

Re: [NEW] lang/spin

2017-11-24 Thread Ori Bernstein 
On Fri, 24 Nov 2017 21:28:04 -0800, Ori Bernstein  wrote:

> On Fri, 24 Nov 2017 12:38:30 -0800, Ori Bernstein  wrote:
> 
> > I'll rewrite it. Stay tuned for an updated tarball.
>  
> And, here's a new version. The only change from your fixes
> is the rewrite of the DESCR.
> 
Realized it's probably a good idea to inline the new
description:

$ 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 

WWW: http://spinroot.com

-- 
Ori Bernstein

Re: [NEW] lang/spin

2017-11-24 Thread Ori Bernstein 
On Fri, 24 Nov 2017 12:38:30 -0800, Ori Bernstein  wrote:

> I'll rewrite it. Stay tuned for an updated tarball.
 
And, here's a new version. The only change from your fixes
is the rewrite of the DESCR.

-- 
Ori Bernstein


spin.tar.gz
Description: application/gzip

Re: [NEW] lang/spin

2017-11-24 Thread Ori Bernstein 
On Fri, 24 Nov 2017 11:52:46 -0500
Brian Callahan  wrote:

Thanks!

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

Again, thanks! I'll see if I can convince upstream to take those changes.

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

I'll rewrite it. Stay tuned for an updated tarball.

-- 
Ori Bernstein

Re: [NEW] lang/spin

2017-11-24 Thread Brian Callahan 

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 

WWW: http://spinroot.com
---




spin.tgz
Description: application/compressed-tar

[NEW] lang/spin

2017-11-24 Thread Ori Bernstein 
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.

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

WWW: http://spinroot.com
---


spin.tar.gz
Description: application/gzip