This will sound silly, but it probably is correct. I had trouble with fedora 14 64 bit also. I initially decided to use Fedora 13 as the solution. Things which I subsequently learned (while trying to build ptxdist) suggest the version of make provided with Fedora 14 64 bit may just be too new. It is GNU Make 3.82
The more knowledgeable ptxdist developers suggested using GNU Make 3.81 instead. That addressed the ptxdist build problems. eventually I will try Fedora 14 - 64 bit again using make 3.81 dbl > -----Original Message----- > From: klee-dev-bounces at keeda.stanford.edu [mailto:klee-dev- > bounces at keeda.stanford.edu] On Behalf Of kumar at illinois.edu > Sent: Thursday, February 24, 2011 12:07 PM > To: klee-dev at keeda.stanford.edu > Subject: [klee-dev] Error compiling Klee with LLVM 2.7 > > Hi, > > I tried following the instructions on this page: > http://klee.llvm.org/GetStarted.html > > However, I get the following error message. Any help would be appreciated -- > thanks! > > > [~/klee]make ENABLE_OPTIMIZED=1 > make[1]: Entering directory `/home/engr/kumar/klee/lib' > make[2]: Entering directory `/home/engr/kumar/klee/lib/Basic' > make[2]: Nothing to be done for `all'. > make[2]: Leaving directory `/home/engr/kumar/klee/lib/Basic' > make[2]: Entering directory `/home/engr/kumar/klee/lib/Support' > make[2]: Nothing to be done for `all'. > make[2]: Leaving directory `/home/engr/kumar/klee/lib/Support' > make[2]: Entering directory `/home/engr/kumar/klee/lib/Expr' > llvm[2]: Compiling Constraints.cpp for Release build > /usr/lib/gcc/x86_64-redhat- > linux/4.1.2/../../../../include/c++/4.1.2/tr1/functional: In static member function > static bool > std::tr1::_Function_base::_Base_manager<_Functor>::_M_manager(std::tr1::_A > ny_d > ata&, const std::tr1::_Any_data&, std::tr1::_Manager_operation) : > /usr/lib/gcc/x86_64-redhat- > linux/4.1.2/../../../../include/c++/4.1.2/tr1/functional:904: > error: cannot use typeid with -fno-rtti > > ... <snip > ... > > /usr/lib/gcc/x86_64-redhat- > linux/4.1.2/../../../../include/c++/4.1.2/tr1/functional_iterate.h:912: error: > cannot use typeid with -fno-rtti > make[2]: *** [/home/engr/kumar/klee/lib/Expr/Release/Constraints.o] Error 1 > make[2]: Leaving directory `/home/engr/kumar/klee/lib/Expr' > make[1]: *** [Expr/.makeall] Error 2 > make[1]: Leaving directory `/home/engr/kumar/klee/lib' > make: *** [all] Error 1 > > Viraj Kumar > Visiting Lecturer, Dept. of Computer Science University of Illinois at Urbana- > Champaign _______________________________________________ > klee-dev mailing list > klee-dev at keeda.stanford.edu > http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
