summaryrefslogtreecommitdiff
path: root/mesonbuild/compilers/mixins/compcert.py
Commit message (Expand)AuthorAgeFilesLines
* compilers: move get_dependency_gen_args to base CompilerDylan Baker2020-10-011-4/+0
* compilers: fully type annotate the C compilersDylan Baker2020-10-011-1/+1
* compilers: Tell mypy that the compiler mixins are just thatDylan Baker2020-09-241-4/+8
* compilers/mixins: make compcert type safeDylan Baker2020-09-241-2/+6
* Add support for the CompCert C CompilerSebastian Meyer2020-09-151-0/+127