mirror of
https://github.com/mesonbuild/meson.git
synced 2026-11-06 05:16:42 +00:00
Dylan Baker
e991c4d454
This replaces all of the Apache blurbs at the start of each file with an `# SPDX-License-Identifier: Apache-2.0` string. It also fixes existing uses to be consistent in capitalization, and to be placed above any copyright notices. This removes nearly 3000 lines of boilerplate from the project (only python files), which no developer cares to look at. SPDX is in common use, particularly in the Linux kernel, and is the recommended format for Meson's own `project(license: )` field
130 lines
3.8 KiB
Python
130 lines
3.8 KiB
Python
# SPDX-License-Identifier: Apache-2.0
|
|
# Copyright 2012-2019 The Meson development team
|
|
|
|
from __future__ import annotations
|
|
|
|
"""Representations specific to the CompCert C compiler family."""
|
|
|
|
import os
|
|
import re
|
|
import typing as T
|
|
|
|
if T.TYPE_CHECKING:
|
|
from ...envconfig import MachineInfo
|
|
from ...environment import Environment
|
|
from ...compilers.compilers import Compiler
|
|
else:
|
|
# This is a bit clever, for mypy we pretend that these mixins descend from
|
|
# Compiler, so we get all of the methods and attributes defined for us, but
|
|
# for runtime we make them descend from object (which all classes normally
|
|
# do). This gives up DRYer type checking, with no runtime impact
|
|
Compiler = object
|
|
|
|
ccomp_buildtype_args: T.Dict[str, T.List[str]] = {
|
|
'plain': [''],
|
|
'debug': ['-O0', '-g'],
|
|
'debugoptimized': ['-O0', '-g'],
|
|
'release': ['-O3'],
|
|
'minsize': ['-Os'],
|
|
'custom': ['-Obranchless'],
|
|
}
|
|
|
|
ccomp_optimization_args: T.Dict[str, T.List[str]] = {
|
|
'plain': [],
|
|
'0': ['-O0'],
|
|
'g': ['-O0'],
|
|
'1': ['-O1'],
|
|
'2': ['-O2'],
|
|
'3': ['-O3'],
|
|
's': ['-Os']
|
|
}
|
|
|
|
ccomp_debug_args: T.Dict[bool, T.List[str]] = {
|
|
False: [],
|
|
True: ['-g']
|
|
}
|
|
|
|
# As of CompCert 20.04, these arguments should be passed to the underlying gcc linker (via -WUl,<arg>)
|
|
# There are probably (many) more, but these are those used by picolibc
|
|
ccomp_args_to_wul: T.List[str] = [
|
|
r"^-ffreestanding$",
|
|
r"^-r$"
|
|
]
|
|
|
|
class CompCertCompiler(Compiler):
|
|
|
|
id = 'ccomp'
|
|
|
|
def __init__(self) -> None:
|
|
# Assembly
|
|
self.can_compile_suffixes.add('s')
|
|
self.can_compile_suffixes.add('sx')
|
|
default_warn_args: T.List[str] = []
|
|
self.warn_args: T.Dict[str, T.List[str]] = {
|
|
'0': [],
|
|
'1': default_warn_args,
|
|
'2': default_warn_args + [],
|
|
'3': default_warn_args + [],
|
|
'everything': default_warn_args + []}
|
|
|
|
def get_always_args(self) -> T.List[str]:
|
|
return []
|
|
|
|
def get_pic_args(self) -> T.List[str]:
|
|
# As of now, CompCert does not support PIC
|
|
return []
|
|
|
|
def get_buildtype_args(self, buildtype: str) -> T.List[str]:
|
|
return ccomp_buildtype_args[buildtype]
|
|
|
|
def get_pch_suffix(self) -> str:
|
|
return 'pch'
|
|
|
|
def get_pch_use_args(self, pch_dir: str, header: str) -> T.List[str]:
|
|
return []
|
|
|
|
@classmethod
|
|
def _unix_args_to_native(cls, args: T.List[str], info: MachineInfo) -> T.List[str]:
|
|
"Always returns a copy that can be independently mutated"
|
|
patched_args: T.List[str] = []
|
|
for arg in args:
|
|
added = 0
|
|
for ptrn in ccomp_args_to_wul:
|
|
if re.match(ptrn, arg):
|
|
patched_args.append('-WUl,' + arg)
|
|
added = 1
|
|
if not added:
|
|
patched_args.append(arg)
|
|
return patched_args
|
|
|
|
def thread_flags(self, env: 'Environment') -> T.List[str]:
|
|
return []
|
|
|
|
def get_preprocess_only_args(self) -> T.List[str]:
|
|
return ['-E']
|
|
|
|
def get_compile_only_args(self) -> T.List[str]:
|
|
return ['-c']
|
|
|
|
def get_coverage_args(self) -> T.List[str]:
|
|
return []
|
|
|
|
def get_no_stdinc_args(self) -> T.List[str]:
|
|
return ['-nostdinc']
|
|
|
|
def get_no_stdlib_link_args(self) -> T.List[str]:
|
|
return ['-nostdlib']
|
|
|
|
def get_optimization_args(self, optimization_level: str) -> T.List[str]:
|
|
return ccomp_optimization_args[optimization_level]
|
|
|
|
def get_debug_args(self, is_debug: bool) -> T.List[str]:
|
|
return ccomp_debug_args[is_debug]
|
|
|
|
def compute_parameters_with_absolute_paths(self, parameter_list: T.List[str], build_dir: str) -> T.List[str]:
|
|
for idx, i in enumerate(parameter_list):
|
|
if i[:9] == '-I':
|
|
parameter_list[idx] = i[:9] + os.path.normpath(os.path.join(build_dir, i[9:]))
|
|
|
|
return parameter_list
|