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

[Yang Chen <chenyang@cs.utah.edu>]

Hi Yudhistir

On 10/12/2015 11:48 PM, yudhistir reddy wrote:
> Regarding issue :
> /workspace/yudhistir/git-repo/tools/llvm/build/install/bin/ld: this
> linker was not configured to use sysroots

Hmm, I never saw this error before.

> cc1plus: error: unrecognized command line option 
> '-Wcovered-switch-default'
> cc1plus: error: unrecognized command line option '-std=c++11'

By looking at this, your GCC might be too old? Can you check if your GCC 
version supports "-std=c++11" option? If not, you may want to try this:

CXX=/your/llvm-3.5/bin/clang++ CC=/your/llvm-3.5/bin/clang ./configure 
--with-llvm=your/llvm

However, I am not sure if it would work or not... It has been a long 
time since I tried to build C-Reduce with llvm-3.5.

As John says, you may want to try the latest version of C-Reduce, which 
has a bunch of bug fixes :)

- Yang