8000 Update readme by PappasBrent · Pull Request #48 · trailofbits/macroni · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Update readme #48

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

Open
wants to merge 16 commits into
base: main
Choose a base branch
from
Open

Update readme #48

wants to merge 16 commits into from

Conversation

PappasBrent
Copy link
Collaborator

Update README to state under what conditions PASTA is necessary and how to install gap.

Visit the next visitor in the list instead of a default visitor so that
we can fall back to the unsupported visitor if it is given.
Don't suppress PASTA warnings because we don't need to in order to
compile Macroni.
Find gap with find_package() since VAST no longer provides its own
version of gap.
Set CXX standard and extensions on the macroni_settings target and not
globally in order to override the CXX standard set by PASTA.
Add script to run Macroni's `kernelize` binary on all the source files
in a given compilation database.
Add script to run Macroni's `kernelcheck` binary on all files in a
given directory and record all unique errors found.
Specify under what conditions users of Macroni need to install PASTA and
its patched version of Clang.
Change gap instructions to specify that gap needs to be installed
separately.
@PappasBrent PappasBrent self-assigned this Aug 14, 2024
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

Successfully merging this pull request may close these issues.

1 participant
0