dtrebbien/homebrew-misc — pull request #1 by thpani (2013-10-24 12:59:12+00:00)
Title: Fix z3 on XCode 5

XCode 5 removed llvm-gcc support, but clang lacks OpenMP support. I've changed the z3 formula to `fails_with :clang`, which will prompt homebrew to use a compiler (prompting to install `apple-gcc42` if none exists).