Skip to content

dafny: fix Linux build#95334

Merged
carlocab merged 1 commit into
Homebrew:masterfrom
cho-m:dafny-linux
Feb 18, 2022
Merged

dafny: fix Linux build#95334
carlocab merged 1 commit into
Homebrew:masterfrom
cho-m:dafny-linux

Conversation

@cho-m

@cho-m cho-m commented Feb 18, 2022

Copy link
Copy Markdown
Member
  • Have you followed the guidelines for contributing?
  • Have you ensured that your commits follow the commit style guide?
  • Have you checked that there aren't other open pull requests for the same formula update/change?
  • Have you built your formula locally with brew install --build-from-source <formula>, where <formula> is the name of the formula you're submitting?
  • Is your test running fine brew test <formula>, where <formula> is the name of the formula you're submitting?
  • Does your build pass brew audit --strict <formula> (after doing brew install --build-from-source <formula>)? If this is a new formula, does it pass brew audit --new <formula>?

I think this may need PYTHON env var, but have some trouble building locally, so will work on fixes here.

@cho-m cho-m added in progress Stale bot should stay away do not merge labels Feb 18, 2022
@BrewTestBot BrewTestBot added dotnet .NET use is a significant feature of the PR or issue java Java use is a significant feature of the PR or issue no Linux bottle Formula has no Linux bottle labels Feb 18, 2022
@cho-m cho-m mentioned this pull request Feb 18, 2022
6 tasks
@cho-m cho-m added the CI-no-bottles Merge without publishing bottles label Feb 18, 2022
@cho-m cho-m removed do not merge in progress Stale bot should stay away labels Feb 18, 2022
@carlocab carlocab merged commit 88f2e4b into Homebrew:master Feb 18, 2022
@cho-m cho-m deleted the dafny-linux branch February 18, 2022 03:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

CI-no-bottles Merge without publishing bottles dotnet .NET use is a significant feature of the PR or issue java Java use is a significant feature of the PR or issue no Linux bottle Formula has no Linux bottle

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants