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.
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):
arch/llvmcentral/build/bin$ llvm-config --version4.0.0svn
arch/llvmcentral/build/bin$ ./clang --versionclang 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/ge
source dir: /home/fhussain/repos/rese
arch/llvmcentral/llvmbuild dir: /home/fhussain/repos/rese arch/llvmcentral/build
creduce: I have the latest version from github:
arch/creduce$ git log --oneline -190cee54 Indent.
On Tue, Sep 13, 2016 at 11:13 AM, John Regehr <firstname.lastname@example.org> 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.
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,
Transformation.h:18:35: fatal error: clang/AST/ASTConsumer.h: No such
file or directory
Makefile:868: recipe for target 'clang_delta-AggregateToScalar
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
Where can I tell creduce to look for this?