Open marco-palmiotto opened 3 weeks ago
@marco-palmiotto Sure!
I think I already tried locally a more recent gcc version but the procedure would be as follows to make it officially supported:
.github/workflows/c-cpp.yml
to test e.g. gcc-14
instead of gcc-12
(the gcc-9
test can be kept if possible to ensure MARTY
can be built with a range of compatible compilers)README.md
to update the range of compatible compilersAs for clang, I see the c-cpp.yml
is using ubuntu-latest
and the default clang
so that it must already be quite up-to-date, but it can be checked or we can also specify a fixed version of clang in the test.
I wanted to ask if we can upgrade MARTY to be compiled with gcc-13 and 14. Right now, it presents some errors on
std::find
, therefore the compilation fails.It is important to upgrade it, because on the most recent versions of Fedora already, the least version of gcc available is 13. Same goes for Arch, and I did not test alpine yet. The use case is container creation to launch MARTY on a server.
I also tried to switch to clang, but I have the same errors.