summaryrefslogtreecommitdiff
path: root/mesonbuild/compilers/mixins/compcert.py
AgeCommit message (Expand)Author
2025-11-19compilers: Remove Environment parameter from Compiler.thread_flagsDylan Baker
2023-12-23Remove `get_buildtype_args` functionCharles Brunet
2023-12-13Use SPDX-License-Identifier consistentlyDylan Baker
2023-11-26fix broken type annotation imports being ignoredEli Schwartz
2023-07-12Replace some type comments with annotationsTristan Partin
2023-03-23asm: Add sx extensionRenan Lavarec
2022-11-27Add warning_level=everythingDavid Robillard
2022-10-09compilers: Add optimization=plain optionJan Tojnar
2022-08-24fix linker regression for compilers that don't accept LDFLAGS directlyEli Schwartz
2022-04-13compilers: fix broken CompCert support for release flagsEli Schwartz
2022-01-10compilers: push the compiler id to a class variableDylan Baker
2020-10-01compilers: move get_dependency_gen_args to base CompilerDylan Baker
2020-10-01compilers: fully type annotate the C compilersDylan Baker
2020-09-24compilers: Tell mypy that the compiler mixins are just thatDylan Baker
2020-09-24compilers/mixins: make compcert type safeDylan Baker
2020-09-15Add support for the CompCert C CompilerSebastian Meyer
generated by cgit v1.2.3 (git 2.46.0) at 2026-03-04 09:44:03 +0000