Okay, thank you. I will try 3.9. Faraz.
On Tue, Sep 13, 2016 at 1:09 PM, John Regehr <reg...@cs.utah.edu> wrote: > 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 <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/i >>> nclude >>> Where can I tell creduce to look for this? >>> >>> >>> >>> Thanks, >>> Faraz. >>> >>> >>> >>> > >