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

Re: [creduce-dev] Error building creduce

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.


On 9/13/16 11:08 AM, Faraz Hussain wrote:

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...
checking for 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?