search

mht208 / homebrew-formal

Homebrew formulae for formal methods
37 stars 10 forks source link

Error with z3 formula #20

Closed Zialus closed 6 years ago

Zialus commented 6 years ago 
Error: Failed to import: /usr/local/Homebrew/Library/Taps/mht208/homebrew-formal/z3.rb
z3: Unsupported special dependency :python
Zialus commented 6 years ago

You can actually remove it if you want, given that it is available on the main repo

https://github.com/Homebrew/homebrew-core/blob/master/Formula/z3.rb

mht208 commented 6 years ago

Removed. Thank you.