Include CXXFLAGS=-stdlib=libc++ as ./configure example
Include CXXFLAGS=-stdlib=libc++ as ./configure example

Gtest won't link with clang++ unless libc++ is used.

ahorn/smt-kit,ahorn/smt-kit,ahorn/smt-kit,ahorn/smt-kit,ahorn/smt-kit