Skip to content

docs: add pkg-config to macOS prerequisites#2147

Open
letv1nnn wants to merge 1 commit into
NVIDIA:mainfrom
letv1nnn:no-pkg-config-installation-script
Open

docs: add pkg-config to macOS prerequisites#2147
letv1nnn wants to merge 1 commit into
NVIDIA:mainfrom
letv1nnn:no-pkg-config-installation-script

Conversation

@letv1nnn

@letv1nnn letv1nnn commented Jul 6, 2026

Copy link
Copy Markdown

Summary

The Z3 installation section mentions pkg-config but doesn't list it as a required install on macOS. Adds it to the brew install line.

Checklist

  • Follows Conventional Commits
  • Commits are signed off (DCO)
  • Architecture docs updated (if applicable)

Signed-off-by: Artem Lytvyn <alytvyn@redhat.com>
@copy-pr-bot

copy-pr-bot Bot commented Jul 6, 2026

Copy link
Copy Markdown

This pull request requires additional validation before any workflows can run on NVIDIA's runners.

Pull request vetters can view their responsibilities here.

Contributors can view more details about this message here.

@github-actions

github-actions Bot commented Jul 6, 2026

Copy link
Copy Markdown

All contributors have signed the DCO ✍️ ✅
Posted by the DCO Assistant Lite bot.

@letv1nnn

letv1nnn commented Jul 6, 2026

Copy link
Copy Markdown
Author

I have read the DCO document and I hereby sign the DCO.

@letv1nnn

letv1nnn commented Jul 6, 2026

Copy link
Copy Markdown
Author

recheck

Comment thread CONTRIBUTING.md
```bash
# macOS
brew install z3
brew install z3 pkg-config

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

As a matter of interest, is this already included for the other platforms?

Copy link
Copy Markdown
Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Yes, it's preinstalled on Ubuntu and Fedora. macOS is the only platform that needs it explicitly.

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.

2 participants