search

mht208 / homebrew-formal

Homebrew formulae for formal methods
37 stars 10 forks source link

cvc4 #9

Closed junkil-park closed 9 years ago

junkil-park commented 9 years ago

There seems to be an issue with cvc4. There is a warning message in compilation, which seems to cause a runtime error (segfault).

brew install cvc4 ==> Installing cvc4 from mht208/homebrew-formal ==> Downloading http://cvc4.cs.nyu.edu/builds/src/cvc4-1.3.tar.gz Already downloaded: /Library/Caches/Homebrew/cvc4-1.3.tar.gz ==> Patching patching file src/prop/bvminisat/core/SolverTypes.h patching file src/prop/minisat/core/SolverTypes.h ==> ./configure --prefix=/usr/local/Cellar/cvc4/1.3 CXXFLAGS='-stdlib=libstdc++' ==> make ==> make install Warning: cvc4 dependency boost was built with a different C++ standard library (libc++ from clang). This may cause problems at runtime. 🍺 /usr/local/Cellar/cvc4/1.3: 123 files, 13M, built in 6.7 minutes

cvc4 -im cvc4 1.3 assertions:off CVC4> x,y : INT; CVC4 suffered a segfault. Offending address is 0xffffffffb9500000 [1] 98768 abort cvc4 -im

mht208 commented 9 years ago

I tried to compile CVC4 with the same configuration provided in MacPorts but still failed to run. Since binary files are also provided by the CVC4 group, the formula now will install binaries directly. Please try again to see if the binaries work for you.

junkil-park commented 9 years ago

It works well. Thank you.