summarylogtreecommitdiffstats
AgeCommit message (Collapse)Author
2021-05-24Remove the workaround for -gnat2020 now that Arch uses GCC 11Pierre-Marie de Rodat
2021-01-24Update for recent versionsPierre-Marie de Rodat
* Add gprconfig_kb sources from git and copy them so that gprinstall processes them. * Patch project files not to pass the "-gnat2020" flag. * Update the sed scripts to reflect change of locations of XML files. * Import the CFLAGS/LDFLAGS patch from libgpr-git.
2020-06-13Merge gprbuild and libgpr into single packageXiretza
2020-06-13Package cleanupXiretza
2020-06-13Update patchesXiretza
2018-03-10Switch build mode to "production"Pierre-Marie de Rodat
2017-12-13Add Earnestly as a contributorPierre-Marie de Rodat
2017-06-18Initial commitPierre-Marie de Rodat