aboutsummaryrefslogtreecommitdiff
path: root/mesonbuild/compilers/mixins/compcert.py
AgeCommit message (Expand)AuthorFilesLines
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