[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [creduce-dev] Need help - creduce set up issue

Thank you so much Yang , John and Eric .

I updated my box to Ubuntu 14.04 .I downloaded llvm-3.7.0 and creduce-2.4.0 .
All set up issues were resolved .

Now i will try to reduce the csmith generated  test cases :) .

Thank you all once again .


On Tue, Oct 13, 2015 at 9:54 PM, Eric Eide <eeide@cs.utah.edu> wrote:
yudhistir reddy <yudhistir.reddy@gmail.com> writes:

> Error snip: (config.log)
> configure:15321: checking can compile with and link with LLVM(engine)
> configure:15347: g++ -o conftest -g -O2 -
> [...]
> cc1plus: error: unrecognized command line option '-Wcovered-switch-default'
> cc1plus: error: unrecognized command line option '-std=c++11'

Hi!  This problem should be fixed in the current C-Reduce release (v2.4.0).
(I know; I fixed it!)

Best wishes ---


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