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-con fig
checking for clang-format...
/home/fhussain/repos/research/llvmcentral/build/bin/clang-fo rmat
I think I may need the following in the include path to look for the
headers: /home/fhussain/repos/research/llvmcentral/llvm/tools/clang/i nclude
Where can I tell creduce to look for this?
Thanks,
Faraz.