Use CMake when building head

CVC4 / homebrew-cvc4

Homebrew formula for CVC4

4 stars 7 forks source link

Use CMake when building head #18

Closed 4tXJ7f closed 6 years ago

4tXJ7f commented 6 years ago

CVC4's autotools-based build system is deprecated and has been replaced by a CMake-based build system. This commit changes the formula to build CVC4 using the new build system when building master.