search

CVC4 / homebrew-cvc4

Homebrew formula for CVC4
4 stars 7 forks source link

Does not install with macOS 10.11 #32

Open nikivazou opened 5 years ago

nikivazou commented 5 years ago

Hey,

I run 

brew tap
brew install cvc4/cvc4/cvc4 --HEAD

and the second fails with the error below and the CMakeError.log is this: https://gist.github.com/nikivazou/e5086747e3475a5559625623baa34628

I assume my OS version is too old, but posting this here, just in case there is another fix.

Thanks, Niki

brew install cvc4/cvc4/cvc4 --HEAD
Warning: You are using macOS 10.11.
We (and Apple) do not provide support for this old version.
You will encounter build failures with some formulae.
Please create pull requests instead of asking for help on Homebrew's GitHub,
Discourse, Twitter or IRC. You are responsible for resolving any issues you
experience, as you are running this old version.

==> Installing cvc4 from cvc4/cvc4
==> Cloning https://github.com/CVC4/CVC4.git
Updating /Users/niki/Library/Caches/Homebrew/cvc4--git
==> Checking out branch master
Already on 'master'
Your branch is up-to-date with 'origin/master'.
HEAD is now at 1c57b6f Minor refactoring of regexp operation (#3116)
==> contrib/get-antlr-3.4
==> contrib/get-symfpu
==> ./configure.sh --prefix=/Users/niki/bin/homebrew/Cellar/cvc4/HEAD-1c57b6f --
==> make install
Last 15 lines from /Users/niki/Library/Logs/Homebrew/cvc4/04.make:
2019-07-24 20:21:51 +0200

make
install

make: *** No rule to make target `install'.  Stop.

Do not report this issue to Homebrew/brew or Homebrew/core!

Error: You are using macOS 10.11.
We (and Apple) do not provide support for this old version.
You will encounter build failures with some formulae.
Please create pull requests instead of asking for help on Homebrew's GitHub,
Discourse, Twitter or IRC. You are responsible for resolving any issues you
experience, as you are running this old version.
pathawks commented 4 years ago

Possible duplicate of #33

4tXJ7f commented 3 years ago

Sorry about the long delay. I have finally updated the tap to install the latest release (1.8) and fixed the toml issue. It seems to work both locally (Big Sur) and on GitHub actions (Catalina). Please give it a try and let me know if it works for you.