Age | Commit message (Collapse) | Author | |
---|---|---|---|
2021-05-24 | Remove the workaround for -gnat2020 now that Arch uses GCC 11 | Pierre-Marie de Rodat | |
2021-01-24 | Update for recent versions | Pierre-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-13 | Merge gprbuild and libgpr into single package | Xiretza | |
2018-03-10 | Switch build mode to "production" | Pierre-Marie de Rodat | |
2017-06-18 | Initial commit | Pierre-Marie de Rodat | |