Unknown compilers `goto-cc`
- Dominant language
- Python
- Stars
- 6.6k
- Forks
- 1.9k
- Avg merge
- 2d 6h
- Merged PRs (30d)
- 33
Description
**Describe the bug**
I am trying to get CBMC's `goto-cc` working for my project, but doing `CC=goto-cc meson setup analyze` fails with following message:
```
The Meson build system
Version: 0.56.2
Source dir: /home/rongcuid/Workspace/Projects/cecs
Build dir: /home/rongcuid/Workspace/Projects/cecs/analyze
Build type: native build
Project name: cecs
Project version: 0.1
Using 'CC' from environment with value: 'goto-cc'
meson.build:1:0: ERROR: Unknown compiler(s): [['goto-cc']]
```
**To Reproduce**
The code is not public yet, but simply create any C project, then try to configure with CC set to `goto-cc`. You will need CBMC installed: https://github.com/awslabs/aws-templates-for-cbmc-proofs/wiki/Installation
**Expected behavior**
Since `goto-cc` is a drop-in replacement of GCC, things should compile normally. I verified that I can indeed compile the same code manually.
**system parameters**
* Is this a [cross build](https://mesonbuild.com/Cross-compilation.html) or just a plain native build (for the same computer)? **No**
* what operating system (e.g. MacOS Catalina, Windows 10, CentOS 8.0, Ubuntu 18.04, etc.) **Pop OS 21.04**
* what Python version are you using e.g. 3.8.0 **3.9.5**
* what `meson --version` **0.56.2**
* what `ninja --version` if it's a Ninja build **1.10.1**
Contributor guide
Research direction
Reproduce the failure with a minimal C project using meson.build and `CC=goto-cc meson setup analyze`. Start at Meson's compiler detection during native setup and compare how `goto-cc` is identified with the manual compilation that succeeds. Done means a project configured with `goto-cc` is recognized as using a compatible compiler and proceeds normally.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- c, python
- Domain
- build-system, compilers
- Issue type
- Bug
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 35/100