Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Apply Dredd to GCC #1

Open
afd opened this issue Nov 26, 2023 · 0 comments
Open

Apply Dredd to GCC #1

afd opened this issue Nov 26, 2023 · 0 comments

Comments

@afd
Copy link
Member

afd commented Nov 26, 2023

The GCC project doesn't use CMake - it uses an older auto-tools-based build system. This does not support generating a compilation database, so we will need to use a build system interceptor, such as bear, to get the compile commands.

Rough steps for this:

  • Work out how to build regular GCC
  • Work out how to use bear (or equivalent tool) to extract a compilation database
  • Confirm that this then enables running Dredd
  • Confirm that GCC then still compiles and that tests execute successfully
  • Other members of the multicore group have experience building GCC, which we can draw on.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant