Hi Matthias,
Yes, you'll need to use exactly (or nearly) the revision of LLVM/Clang
that is mentioned in the INSTALL file for C-Reduce 2.0.1. Or, use their
svn head if you're build from our github.
We would have liked to stick with a released version of LLVM/Clang but
this isn't practical since some of the features we use are buggy and we
need to track their fixes.
John
On 06/25/2012 05:48 AM, Matthias Klose wrote:
On 09.06.2012 19:02, John Regehr wrote:
http://blog.regehr.org/archives/697
I was trying to build it myself on Debian unstable, using llvm-3.1 and clang,
using the shared libraries, as distributed by Debian. There are link errors as
seen in
http://bugs.debian.org/678638
Note that Debian links against -lLLVM-3.1 -lclang.
Any idea what goes wrong, or if another version of llvm/clang is needed?