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::_Any_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
