search

mht208 / homebrew-formal

Homebrew formulae for formal methods
36 stars 10 forks source link

Add to path to allow ./configure to find cython #22

Closed anishathalye closed 2 years ago

anishathalye commented 3 years ago

Boolector's ./configure.sh script looks for cython, and unless the virtualenv bin is present on $PATH, it can't find it and fails.

With this addition, the formula builds successfully for me on macOS 11.1.

anishathalye commented 3 years ago

Bump --- any chance you could review this and hopefully merge it in?

I ran across this problem again when setting up boolector on a new machine, searched the internet looking for solutions, and eventually found my own PR from January 🤦