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
<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 <reg...@cs.utah.edu
<mailto:reg...@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.