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

Re: [creduce-dev] Error building creduce



Thanks. Could you try building against 3.9? We have not yet made any effort to support a post-3.9 LLVM version.  We'll work on that after we roll out the next release, probably later this month.

John


On 09/13/2016 01:05 PM, Faraz Hussain wrote:
Thanks John. Here they are:

LLVM/Clang (I downloaded these yesterday and built them myself):

fhussain@machine1:~/repos/research/llvmcentral/build/bin$ llvm-config --version
4.0.0svn

fhussain@machine1:~/repos/research/llvmcentral/build/bin$ ./clang --version
clang version 4.0.0 (trunk 281283) (llvm/trunk 281282)

The source and build directories are different, as per the instructions here: http://clang.llvm.org/get_started.html

source dir: /home/fhussain/repos/research/llvmcentral/llvm
build dir: /home/fhussain/repos/research/llvmcentral/build


creduce: I have the latest version from github:

fhussain@machine1:~/repos/research/creduce$ git log --oneline -1
90cee54 Indent.



Faraz.


On Tue, Sep 13, 2016 at 11:13 AM, John Regehr <regehr@cs.utah.edu> wrote:
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.