Re: [creduce-dev] release time

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

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

> Can I get someone to add the nonsense to the INSTALL file about under which
> circumstances Clang must be used to build C-Reduce instead of GCC, and how to
> do that for autoconf and cmake?

I've added this to my to-do list for making the release.

-- 
-------------------------------------------------------------------------------
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