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.

Sign up for GitHub

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

Feature: Gentoo tweaks #4561

Open

xgqt wants to merge 2 commits into dafny-lang:master from xgqt:feature-gentoo-tweaks

xgqt commented Sep 18, 2023

Hello!

In Gentoo we perform a from-source build of Dafny.

I would like to propose 2 changes right now:

if z3 is not found in binaryDir use system z3
first pick boogie binary found in path, than fall-back to boogie as a .NET tool

Those correspond to following patches:

xgqt added 2 commits

September 18, 2023 15:15


Test/lit.site.cfg: use system z3 if not found in binaryDir

f23f66f

Signed-off-by: Maciej Barć <[email protected]>


Test/lit.site.cfg: first use boogie found in PATH

a7e2662

Signed-off-by: Maciej Barć <[email protected]>

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment