Re: CI server on GitHub repos

[David Chisnall]

On 26 Jun 2017, at 15:42, Daniel Ferreira (theiostream) <address@hidden> wrote:
> 
> True. I'll see if I can come up quickly with a CI setup for gcc 3.4.5,
> as Riccardo suggested -- we really don't need to go any older than
> that, right?
> 
> I'll try this out with base for now, and it'll look something like:
> 1) GNU/Linux + gcc 3.4.5
> 2) GNU/Linux + gcc 6.x
> 3) GNU/Linux + clang 4.0
> 
> With Docker it should be easy to set up a cross-compilation setup for
> MinGW as well later.
> 
> I appreciate the setup ease of Travis plus its seamless integration
> with GitHub (don't know about GitLab), so in the long term I'd favor
> keeping whatever Travis supports in Travis and use a Jenkins setup for
> the hosts Travis doesn't support (FreeBSD and Solaris are the two I
> can think of, but there may be more).

I would very much doubt that there are any platforms with a gcc older than 4.2 
that we should spend our (very) limited resources caring about.  With regard to 
clang, it’s usually easy to install a newer one (even though FreeBSD 9 ships 
with 3.4 in the base system, it has 4.0 in packages).

David