Re: [creduce-dev] Error building creduce

[John Regehr <regehr@cs.utah.edu>]

Faraz, you will need to tell us what version of C-Reduce you are using, 
what version of LLVM/Clang you are using (specifically), and what 
options you passed to the configure script.

John


On 9/13/16 11:08 AM, Faraz Hussain wrote:
> Hi,
>
> I get this error when executing creduce's make:
>
> In file included from AggregateToScalar.h:18:0,
>                  from AggregateToScalar.cpp:15:
> Transformation.h:18:35: fatal error: clang/AST/ASTConsumer.h: No such
> file or directory
> compilation terminated.
> Makefile:868: recipe for target 'clang_delta-AggregateToScalar.o' failed
>
> I have  the latest llvm/clang from their svn, and creduce's configure
>  did find clang-format and llvm-config:
>
> checking for llvm-config...
> /home/fhussain/repos/research/llvmcentral/build/bin/llvm-config
> checking for clang-format...
> /home/fhussain/repos/research/llvmcentral/build/bin/clang-format
>
> I think I may need the following in the include path to look for the
> headers:  /home/fhussain/repos/research/llvmcentral/llvm/tools/clang/include
> Where can I tell creduce to look for this?
>
>
>
> Thanks,
> Faraz.