aboutsummaryrefslogtreecommitdiff
path: root/mesonbuild/compilers/mixins/compcert.py
AgeCommit message (Expand)AuthorFilesLines
2023-07-12Replace some type comments with annotationsTristan Partin1-15/+16
2023-03-23asm: Add sx extensionRenan Lavarec1-0/+1
2022-11-27Add warning_level=everythingDavid Robillard1-1/+2
2022-10-09compilers: Add optimization=plain optionJan Tojnar1-0/+1
2022-08-24fix linker regression for compilers that don't accept LDFLAGS directlyEli Schwartz1-1/+4
2022-04-13compilers: fix broken CompCert support for release flagsEli Schwartz1-1/+1
2022-01-10compilers: push the compiler id to a class variableDylan Baker1-1/+2
2020-10-01compilers: move get_dependency_gen_args to base CompilerDylan Baker1-4/+0
2020-10-01compilers: fully type annotate the C compilersDylan Baker1-1/+1
2020-09-24compilers: Tell mypy that the compiler mixins are just thatDylan Baker1-4/+8
2020-09-24compilers/mixins: make compcert type safeDylan Baker1-2/+6
2020-09-15Add support for the CompCert C CompilerSebastian Meyer1-0/+127