search

mht208 / homebrew-formal

Homebrew formulae for formal methods
36 stars 10 forks source link

cvc3 #7

Closed junkil-park closed 9 years ago

junkil-park commented 9 years ago

There is an issue when installing cvc3.

brew --version 0.9.5

brew install cvc3 ==> Installing cvc3 from mht208/homebrew-formal ==> Downloading http://www.cs.nyu.edu/acsys/cvc3/releases/2.4.1/cvc3-2.4.1.tar.g Already downloaded: /Library/Caches/Homebrew/cvc3-2.4.1.tar.gz ==> ./configure --prefix=/usr/local/Cellar/cvc3/2.4.1 --disable-zchaff --with-ar ==> make install make[4]: * [/private/tmp/cvc320150319-51313-150l7rw/cvc3-2.4.1/obj/expr/i386-darwin14.1.0-native-arith/expr.o] Error 1 make[3]: * [build] Error 2 make[2]: * [install] Error 2 make[1]: * [build] Error 2 make: *\ [install] Error 2

READ THIS: https://git.io/brew-troubleshooting If reporting this issue please do so at (not Homebrew/homebrew): https://github.com/mht208/homebrew-formal/issues

mht208 commented 9 years ago

There are too many errors when compiling CVC3 with the default g++. I switched the compiler to GNU g++. Hope that this works.

junkil-park commented 9 years ago

It works well. Thank you.