John> Yes, you'll need to use exactly (or nearly) the revision of
John> LLVM/Clang that is mentioned in the INSTALL file for C-Reduce
John> 2.0.1. Or, use their svn head if you're build from our github.
John>
John> We would have liked to stick with a released version of
John> LLVM/Clang but this isn't practical since some of the features we
John> use are buggy and we need to track their fixes.
I'll add: One of the things on my to-do list is to check the versions of the
LLVM/Clang libraries at configure time, not merely check their presence.
But this is somewhat tricky for the reasons that John mentions above. It's not
release 3.1+ that is needed, but rather SVN rNNNNNNN+.
Eric.
--
-------------------------------------------------------------------------------
Eric Eide <[email protected]> . University of Utah School of Computing
http://www.cs.utah.edu/~eeide/ . +1 (801) 585-5512 voice, +1 (801) 581-5843 FAX
