mesonbuild / mesonbuild/meson

Unknown compilers `goto-cc`

Open
#9,686 11 comments 0 reactions 0 assignees View on GitHub
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

Open the contributing 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

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.