CVC4/CVC4 — pull request #42 by mdeters (2014-06-24 18:52:57+00:00)
Title: libc++ travis building

This adds support to .travis.yml for building with clang and libc++ (as opposed to libstdc++). It adds 3 extra Travis-CI configurations (production, debug, and lfsc). "Distcheck" tests aren't done (probably not necessary).