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
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
Sent this to the maintainer two weeks ago and haven't seen a response,
have an OK to update the perl6 ports that is waiting on this update.
OK?
I was working on updating rakudo (perl6) and ran into a weird error
message about an undefined something and google led me to libtomath
where I found a
ping
> -- Original Message --
> From: Stuart Cassoff <3...@bell.net>
> Date: November 20, 2017 at 12:32 AM
>
>
> ping
>
> > -- Original Message --
> > From: Stuart Cassoff <3...@bell.net>
> > Date: November 12, 2017 at 6:45 AM
> >
> >
> > ping
> >
> > > --
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
Thanks for your feedback, Stuart.
> - sfml should be LIB_DEPENDS not BUILD_DEPENDS
Done
> , then you can add some missing WANTLIB as shown by port-lib-depends-check
port-lib-depends-check confused me at first with adding ".1" to those
libraries. found a precedent in games/mars and games/extre
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
On Mon, Nov 20 2017, Jeremie Courreges-Anglas wrote:
> Hi,
>
> a long overdue update to the latest release. Test reports
> welcome^Wneeded. ;)
Updated patch for 2.6.3, published today.
knot doesn't use thread-local storage any more, but COMPILER = ports-gcc
is still needed at least on arm. Add
Committed, thanks.
--
jca | PGP : 0x1524E7EE / 5135 92C1 AD36 5293 2BDF DDCC 0DFA 74AE 1524 E7EE
On 11/24/17 12:07, Stuart Henderson wrote:
> On 2017/11/24 09:27, Martijn van Duren wrote:
>>> @conflict php-fastcgi->=5.6,<5.7
>>
>> Left out, since there's no overlapping names between the two packages,
>> which is what pkg_create(1) specifies should be the reason of usage.
>> Of course it's easy
On 2017/11/24 09:27, Martijn van Duren wrote:
> > @conflict php-fastcgi->=5.6,<5.7
>
> Left out, since there's no overlapping names between the two packages,
> which is what pkg_create(1) specifies should be the reason of usage.
> Of course it's easy enough to add if you think it's still needed.
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 softw
Hello Stuart,
Thanks for the feedback.
On 11/23/17 23:48, Stuart Henderson wrote:
> On 2017/11/23 21:46, Martijn van Duren wrote:
>> Hello ports@,
>>
>> Here's the first real tricky patch for PHP.
>> Right now we have the -fastcgi package, which is nothing more than PHP's
>> cgi SAPI under a diff
PS I'd probably choose lower-case for the wrapper script filename.
--
Sent from a phone, apologies for poor formatting.
On 24 November 2017 07:25:26 Thomas Frohwein wrote:
Hi,
witchblast is a roguelite graphical dungeon crawler in the vein of Binding
of Isaac. You play as a novice magici
Good work for a first port. A few things:
- sfml should be LIB_DEPENDS not BUILD_DEPENDS, then you can add some
missing WANTLIB as shown by port-lib-depends-check
- no need to list ninja in BUILD_DEPENDS, or SEPARATE_BUILD, the cmake
module takes care of this
- the HOMEPAGE you've used is s
15 matches
Mail list logo
