[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: CI server on GitHub repos
From: |
David Chisnall |
Subject: |
Re: CI server on GitHub repos |
Date: |
Mon, 26 Jun 2017 09:26:35 +0100 |
> On 25 Jun 2017, at 23:31, Daniel Ferreira (theiostream) <address@hidden>
> wrote:
>
> On Sun, Jun 25, 2017 at 7:18 PM, Ivan Vučica <address@hidden> wrote:
>> I wouldn't mind a pull request setting up an off-the-shelf CI system,
>> in addition to Gregory's existing setup. (I don't know where the
>> 'stuff is broken' emails are going these days.)
>
> I just wonder what sort of setup should be used. For base/gui/back I
> can envision, ideally:
>
> 1) GNU/Linux with oldest gcc we intend to support
> 2) FreeBSD with oldest gcc we intend to support
>
> and for base/gui/back plus all the others:
>
> 3) GNU/Linux with modern gcc
> 4) GNU/Linux with modern clang
> 5) FreeBSD with modern gcc
> 6) FreeBSD with modern clang
>
> I'd appreciate help in determining what that "oldest gcc" would be.
> Also, we have the problem that Travis CI does not build on top of any
> BSD aside from OSX itself, or on some targets like SunOS which I
> believe we still support. I don't know if we officially support
> Windows despite our win32 code in the codebase, and how tricky *that*
> would be to set up in any CI server.
Note: Travis has an open issue tracking their lack of FreeBSD support. The
more people who +1 it, the more likely it is to happen.
David
- CI server on GitHub repos, Daniel Ferreira (theiostream), 2017/06/25
- Re: CI server on GitHub repos, David Chisnall, 2017/06/25
- Re: CI server on GitHub repos, Ivan Vučica, 2017/06/25
- Re: CI server on GitHub repos, Daniel Ferreira (theiostream), 2017/06/25
- Re: CI server on GitHub repos,
David Chisnall <=
- Re: CI server on GitHub repos, Daniel Ferreira (theiostream), 2017/06/26
- Re: CI server on GitHub repos, Ivan Vučica, 2017/06/26
- Re: CI server on GitHub repos, Daniel Ferreira (theiostream), 2017/06/26
- Re: CI server on GitHub repos, David Chisnall, 2017/06/26
- Re: CI server on GitHub repos, Niels Grewe, 2017/06/26
- Re: CI server on GitHub repos, Daniel Ferreira (theiostream), 2017/06/26
- Re: CI server on GitHub repos, Ivan Vučica, 2017/06/27
- Re: CI server on GitHub repos, Riccardo Mottola, 2017/06/26
- Re: CI server on GitHub repos, Svetlana Tkachenko, 2017/06/27
- Re: CI server on GitHub repos, Marcus Müller, 2017/06/26