Re: [creduce-dev] towards a release

[Eric Eide <eeide@cs.utah.edu>]

John Regehr <regehr@cs.utah.edu> writes:

> Let's work towards a release sometime in the next few weeks.

It's on my list.  Note that I will be in Germany next week, so I likely won't
get to work on this much then.  Maybe on the long plane rides.

> Eric, I noticed that while I can build C-Reduce against an LLVM 3.8 that I
> compiled myself, I cannot build (on OS X) against the released clang+llvm
> tarball from the LLVM web site.  configure fails when it tries to build a
> trivial program using LLVM.

Yeah, I will be sure to test this.

-- 
-------------------------------------------------------------------------------
Eric Eide <eeide@cs.utah.edu>  .         University of Utah School of Computing
http://www.cs.utah.edu/~eeide/ . +1 (801) 585-5512 voice, +1 (801) 581-5843 FAX