>From their website:
Frama-C is a suite of tools dedicated to the analysis
of the source code of software written in C.
Frama-C gathers several static analysis techniques in a
single collaborative framework. The collaborative approach
of Frama-C allows static analyzers to buil
On Thu, Apr 17, 2014 at 11:01:06AM +0100, Stuart Henderson wrote:
> I was looking at this too as it has some OpenSSL interop tests
> which it would be useful for us to be able to run. I've attached what
> I have so far for this, but it's not ready yet; it only builds a static
> library, tests hang
On Thu, 17 Apr 2014, Stuart Henderson wrote:
> I was looking at this too as it has some OpenSSL interop tests
> which it would be useful for us to be able to run. I've attached what
> I have so far for this, but it's not ready yet; it only builds a static
> library
Here's a fix to build the shar
I'm aware that OpenSSL work is going on at full steam, but just want to
be sure that you guys are aware of this:
$ msmtp -S --host example.com --tls --tls-trust-file /etc/ssl/cert.pem
msmtp: cannot initialize TLS library: /dev/arandom: input error
$ ldd `which msmtp`
/usr/local/bin/msmtp:
Pulling some things together;
- pull across Joachim's rand fixes
- rename binaries, similar to diff from benoit@ but with less patching
of CMakefiles
- enable shared libs on arch where they're supported (similar to
diff from dcoppa@)
- BROKEN-sparc64 as reported by florian@
This is in good shape
On Fri, Apr 18, 2014 at 1:24 PM, Stuart Henderson wrote:
> Pulling some things together;
>
> - pull across Joachim's rand fixes
> - rename binaries, similar to diff from benoit@ but with less patching
> of CMakefiles
> - enable shared libs on arch where they're supported (similar to
> diff from dc
Mikolaj Kucharski writes:
> I'm aware that OpenSSL work is going on at full steam, but just want to
> be sure that you guys are aware of this:
IIUC it is already fixed (RAND_load_file).
> $ msmtp -S --host example.com --tls --tls-trust-file /etc/ssl/cert.pem
> msmtp: cannot initialize TLS libra
On Tue, 25 Mar 2014, Landry Breuil wrote:
> So, after playing flawlessly for 3 hours, it stopped again. Looked at
> the mpdstate file, time had a regular value, but mpd didnt save it yet.
> pkill -9 mpd to really force-stop it, at that point it saved the mpdstate
> with time: -2147483648
> restart
Hi ports --
After missing a few versions (which, amazingly, shipped broken), here's
an update for MAME to its latest verison.
The netlist/nl_base.h patch feels weird, and makes me wonder if I
haven't missed something obvious.
I'll be sending a second mail for sdlmess shortly.
This works we
Hi ports --
Here's the diff for MESS to bring it up to version 0.153.
Same caveats as with MAME, since they use identical codebases.
Good on amd64, i386 tester much appreciated.
OK?
~Brian
Index: Makefile
===
RCS file: /cvs/port
On Fri, Apr 18, 2014 at 12:24:16PM +0100, Stuart Henderson wrote:
> Pulling some things together;
>
> - pull across Joachim's rand fixes
> - rename binaries, similar to diff from benoit@ but with less patching
> of CMakefiles
> - enable shared libs on arch where they're supported (similar to
> dif
On 2014/04/18 17:45, Joachim Schipper wrote:
> On Fri, Apr 18, 2014 at 12:24:16PM +0100, Stuart Henderson wrote:
> > Pulling some things together;
> >
> > - pull across Joachim's rand fixes
> > - rename binaries, similar to diff from benoit@ but with less patching
> > of CMakefiles
> > - enable sh
On 2014/04/18 10:08, Bret Lambert wrote:
> From their website:
>
> Frama-C is a suite of tools dedicated to the analysis
> of the source code of software written in C.
>
> Frama-C gathers several static analysis techniques in a
> single collaborative framework. The collaborative a
On Fri, Apr 18, 2014 at 05:06:47PM +0100, Stuart Henderson wrote:
> On 2014/04/18 17:45, Joachim Schipper wrote:
> > On Fri, Apr 18, 2014 at 12:24:16PM +0100, Stuart Henderson wrote:
> > > Pulling some things together;
> > >
> > > - pull across Joachim's rand fixes
> > > - rename binaries, similar
Stuart Henderson writes:
> On 2014/04/18 10:08, Bret Lambert wrote:
>> From their website:
>>
>> Frama-C is a suite of tools dedicated to the analysis
>> of the source code of software written in C.
>>
>> Frama-C gathers several static analysis techniques in a
>> single collabor
On Fri, Apr 18, 2014 at 8:28 PM, Jérémie Courrèges-Anglas
wrote:
> Index: Makefile
> ===
> RCS file: /cvs/ports/x11/lablgtk2/Makefile,v
> retrieving revision 1.28
> diff -u -p -r1.28 Makefile
> --- Makefile13 Jan 2014 09:33:01 -0
On 2014/02/04 12:30, Stuart Henderson wrote:
> Not intended for commit until after unlock (we can't distribute packages
> anyway) but this port of the controller software for ubiquiti unifi access
> points might be useful for some people. This is for the 3.x software which
> is currently in beta, b
A new netsurf release is in the wind and will support PDFs with libharu
so I figured I'd update it to it's 2.3.0 release. A couple fuctions were
added hence the minor bump.
Does it's only consumer, geo/spatialite/gis require a package bump?
With or without the gis bump, ok?
--
James Turner
In
18 matches
Mail list logo
