summaryrefslogtreecommitdiff
path: root/src/lib/gnat
AgeCommit message (Expand)Author
2022-01-23Makefile.inc: Add `-fno-pie` to `ADAFLAGS_common`Paul Menzel
2020-11-16lib/gnat/i-c.ads: Add `uintptr_t` typeAngel Pons
2020-05-18src: Remove leading blank lines from SPDX headerElyes HAOUAS
2020-05-11treewide: Remove "this file is part of" linesPatrick Georgi
2020-05-09src/: Replace GPL boilerplate with SPDX headersPatrick Georgi
2020-03-17src (minus soc and mainboard): Remove copyright noticesPatrick Georgi
2019-06-28lib/gnat: Enable -WerrorNico Huber
2019-06-28lib/gnat: Use ADAFLAGS instead of CFLAGSNico Huber
2018-05-19lib/gnat: Drop Restriction `No_Exception_Propagation`Nico Huber
2017-09-23toolchain: Always use GCC for Ada sourcesNico Huber
2017-09-23toolchain: Use xcompile proposed CFLAGS for AdaNico Huber
2017-07-24Fix files with multiple newlines at the end.Martin Roth
2016-11-29Hook up libhwbase in ramstageNico Huber
2016-11-06Add option to use Ada code in ramstageNico Huber
2016-09-19Add minimal GNAT run time system (RTS)Nico Huber