Continuous integration for "compilable check"

[sosy-lab]

Continuous integration for "compilable check"

[PhilippWendler]

I am also in favor of using TravisCI for this. I don't think makefiles are necessary, we can just run the existing script (maybe with some tweaks).

[delcypher]

@PhilippWendler Well I went ahead and made a Makefile build system anyway because it's more convenient to use and extend IMHO.

[dbeyer]

@dan Could you please add a .travis.yml? I have added the repository on the TravisCI site and the web hook is there, too.

[dbeyer]

@delcypher @PhilippWendler I added both of you as Collaborator such that you are able to help me set up TravisCI. Thanks!

[delcypher]

@dbeyer I will do but I'm still checking that things compile under GCC and Clang. I'm concerned that TravisCI won't actually be suitable here because of the huge number of benchmarks leading to large compile times.

[PhilippWendler]

@delcypher I think it should be possible somehow to check only files that were changed by commit or pull request when we execute the check on Travis. So if the full check is too costly, we could try to do this.

[delcypher]

This is now done. We finally had a passing build as of eea2e11