Re: UPDATE devel/sdl 2.0.5

2016-10-20 Thread Jeremie Courreges-Anglas
David CARLIER writes: > Hi, > > here an update of SDL which seems small but now has now an > implementation of SDL_GetBasePath function which can benefit to few > video games (like supertux), maybe future Adam Wolk port of > falltergeist ... I'm not sure how I understand how important why this f

Re: [NEW] cbmc - Bounded Model Checker for C and C++

2016-10-20 Thread Jeremie Courreges-Anglas
Stuart Henderson writes: > On 2016/10/20 22:11, Jeremie Courreges-Anglas wrote: >> Jeremie Courreges-Anglas writes: >> >> > Simon Mages writes: >> > >> >> Anything else i have to do? >> >> >> >> Or only wait until somebody picks it up and commits it? >> > >> > New ports must be reviewed by at

Re: UPDATE: Zile-2.4.12

2016-10-20 Thread Jeremie Courreges-Anglas
"Gonzalo L. Rodriguez" writes: > Hello, > > Little update for Zile to 2.4.12 > > Ok? Looks fine ports wise, ok jca@ -- jca | PGP : 0x1524E7EE / 5135 92C1 AD36 5293 2BDF DDCC 0DFA 74AE 1524 E7EE

Re: [NEW] cbmc - Bounded Model Checker for C and C++

2016-10-20 Thread Stuart Henderson
On 2016/10/20 22:11, Jeremie Courreges-Anglas wrote: > Jeremie Courreges-Anglas writes: > > > Simon Mages writes: > > > >> Anything else i have to do? > >> > >> Or only wait until somebody picks it up and commits it? > > > > New ports must be reviewed by at least a second developer. > > > > As f

Re: [Patch] lang/sbcl version bump + threads flavor

2016-10-20 Thread Jeremie Courreges-Anglas
"Solène Rapenne" writes: > Hello, Hi, > Please find a version bump for sbcl and a flavor which enable thread. > There is no support for threads in sbcl for macppc and they are considered > experimental on OpenBSD, so it should not be the default, hence a thread > flavor. > > I'm using it everyd

Re: [NEW] cbmc - Bounded Model Checker for C and C++

2016-10-20 Thread Jeremie Courreges-Anglas
Jeremie Courreges-Anglas writes: > Simon Mages writes: > >> Anything else i have to do? >> >> Or only wait until somebody picks it up and commits it? > > New ports must be reviewed by at least a second developer. > > As far as I'm concerned, the port looks good as is. ok jca@ is if > someone wan

UPDATE devel/sdl 2.0.5

2016-10-20 Thread David CARLIER
Hi, here an update of SDL which seems small but now has now an implementation of SDL_GetBasePath function which can benefit to few video games (like supertux), maybe future Adam Wolk port of falltergeist ... Kind regards. Index: Makefile ===

Re: Update emulators/mednafen 0.9.38.7 -> 0.9.39.2

2016-10-20 Thread Bryan Steele
On Wed, Oct 19, 2016 at 10:41:27PM -0700, Jeremy Evans wrote: > Update to the latest medafen release. The major change in this update > is the addition of Saturn support, which I tested and does appear to > work (at least with Shanghai Triple Threat). > > Changelog: > > Added experimental Sega S