diff options
| author | Sebastian Meyer <archi@users.noreply.github.com> | 2020-09-15 20:51:21 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-09-15 21:51:21 +0300 |
| commit | a24fde6fde774092fae7ec544b85ca794baadeb8 (patch) | |
| tree | b21a9d620972f3881ba36533bc449fa7b11f9ecf /docs | |
| parent | 67c0ec1640369e20f9cea3fbdef873a4da3e47d3 (diff) | |
| download | meson-a24fde6fde774092fae7ec544b85ca794baadeb8.zip meson-a24fde6fde774092fae7ec544b85ca794baadeb8.tar.gz meson-a24fde6fde774092fae7ec544b85ca794baadeb8.tar.bz2 | |
Add support for the CompCert C Compiler
* Add preliminary support for the CompCert C Compiler
The intention is to use this with the picolibc, so some GCC flags are
automatically filtered. Since CompCert uses GCC is for linking, those
GCC-linker flags which are used by picolibc, are automatically prefixed
with '-WUl', so that they're passed to GCC.
Squashed commit of the following:
commit 4e0ad66dca9de301d2e41e74aea4142afbd1da7d
Author: Sebastian Meyer <meyer@absint.com>
Date: Mon Aug 31 14:20:39 2020 +0200
remove '-fall' from default arguments, also filter -ftls-model=.*
commit 41afa3ccc62ae72824eb319cb8b34b7e6693cb67
Author: Sebastian Meyer <meyer@absint.com>
Date: Mon Aug 31 14:13:55 2020 +0200
use regex for filtering ccomp args
commit d68d242d0ad22f8bf53923ce849da9b86b696a75
Author: Sebastian Meyer <meyer@absint.com>
Date: Mon Aug 31 13:54:36 2020 +0200
filter some gcc arguments
commit 982a01756266bddbbd211c54e8dbfa2f43dec38f
Author: Sebastian Meyer <meyer@absint.com>
Date: Fri Aug 28 15:03:14 2020 +0200
fix ccomp meson configuration
commit dce0bea00b1caa094b1ed0c6c77cf6c12f0f58d9
Author: Sebastian Meyer <meyer@absint.com>
Date: Thu Aug 27 13:02:19 2020 +0200
add CompCert to meson (does not fully work, yet)
* remove unused import and s/cls/self/
fixes the two obvious LGTM warnings
* CompCert: Do not ignore unsupported GCC flags
Some are safe to ignore, however, as per
https://github.com/mesonbuild/meson/pull/7674, they should not be
ignored by meson itself. Instead the meson.build should take care to
select only those which are actually supported by the compiler.
* remove unused variable
* Only add arguments once.
* Apply suggestions from code review
Co-authored-by: Dylan Baker <dylan@pnwbakers.com>
* Remove erroneous ' ' from '-o {}'.format()
As noticed by @dcbaker
* added release note snippet for compcert
* properly split parameters
As suggested by @dcbaker, these parameters should be properly split into multiple strings.
Co-authored-by: Dylan Baker <dylan@pnwbakers.com>
* Update add_compcert_compiler.md
Added a sentence about the state of the implementation (experimental); use proper markdown
* properly separate arguments
Co-authored-by: Dylan Baker <dylan@pnwbakers.com>
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/markdown/Reference-tables.md | 2 | ||||
| -rw-r--r-- | docs/markdown/snippets/add_compcert_compiler.md | 3 |
2 files changed, 5 insertions, 0 deletions
diff --git a/docs/markdown/Reference-tables.md b/docs/markdown/Reference-tables.md index 55c1a99..3fadbde 100644 --- a/docs/markdown/Reference-tables.md +++ b/docs/markdown/Reference-tables.md @@ -10,6 +10,7 @@ These are return values of the `get_id` (Compiler family) and | arm | ARM compiler | | | armclang | ARMCLANG compiler | | | c2000 | Texas Instruments C2000 compiler | | +| ccomp | The CompCert formally-verified C compiler | | | ccrx | Renesas RX Family C/C++ compiler | | | clang | The Clang compiler | gcc | | clang-cl | The Clang compiler (MSVC compatible driver) | msvc | @@ -56,6 +57,7 @@ These are return values of the `get_linker_id` method in a compiler object. | armlink | The ARM linker (arm and armclang compilers) | | pgi | Portland/Nvidia PGI | | nvlink | Nvidia Linker used with cuda | +| ccomp | CompCert used as the linker driver | For languages that don't have separate dynamic linkers such as C# and Java, the `get_linker_id` will return the compiler name. diff --git a/docs/markdown/snippets/add_compcert_compiler.md b/docs/markdown/snippets/add_compcert_compiler.md new file mode 100644 index 0000000..b8e45f8 --- /dev/null +++ b/docs/markdown/snippets/add_compcert_compiler.md @@ -0,0 +1,3 @@ +## Added CompCert C compiler + +Added experimental support for the [CompCert formally-verified C compiler](https://github.com/AbsInt/CompCert). The current state of the implementation is good enough to build the [picolibc project](https://github.com/picolibc/picolibc) with CompCert, but might still need additional adjustments for other projects. |