Hi, Following Klee's Getting Started instructions at http://klee.llvm.org/GetStarted.html I am trying to build Klee on Red Hat Linux.? LLVM builds ok, but I am getting an error during compilation of Klee:
> error: cannot use typeid with -fno-rtti (See further below for a more complete trace.) The message at http://keeda.stanford.edu/pipermail/klee-dev/2011-February/000581.html suggests using Gnu make 3.81 instead of make 3.82, but I am already using that version.? (See below for more version info.) Any help/suggestions for getting Klee built would be welcome! Thanks, David ============================================= Version info ============================================= > uname -a Linux bark.ndc.nasa.gov 2.6.18-238.9.1.el5 #1 SMP Fri Mar 18 12:42:04 EDT 2011 i686 i686 i386 GNU/Linux > lsb_release -a LSB Version: :core-4.0-ia32:core-4.0-noarch:graphics-4.0-ia32:graphics-4.0-noarch:printing-4.0-ia32:printing-4.0-noarch Distributor ID:??? RedHatEnterpriseClient Description:??? Red Hat Enterprise Linux Client release 5.6 (Tikanga) Release:??? 5.6 Codename:??? Tikanga > gcc --version gcc (GCC) 4.1.2 20080704 (Red Hat 4.1.2-50) Copyright (C) 2006 Free Software Foundation, Inc. This is free software; see the source for copying conditions.? There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. > make --version GNU Make 3.81 Copyright (C) 2006? Free Software Foundation, Inc. This is free software; see the source for copying conditions. There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. This program built for i686-redhat-linux-gnu ============================================= 'make' output: ============================================= > make ENABLE_OPTIMIZED=1 make[1]: Entering directory `/path/to/klee/lib' make[2]: Entering directory `/path/to/klee/lib/Basic' llvm[2]: Compiling KTest.cpp for Release build llvm[2]: Compiling Statistics.cpp for Release build llvm[2]: Building Release Archive Library libkleeBasic.a make[2]: Leaving directory `/path/to/klee/lib/Basic' make[2]: Entering directory `/path/to/klee/lib/Support' llvm[2]: Compiling RNG.cpp for Release build llvm[2]: Compiling Time.cpp for Release build llvm[2]: Compiling Timer.cpp for Release build llvm[2]: Compiling TreeStream.cpp for Release build llvm[2]: Building Release Archive Library libkleeSupport.a make[2]: Leaving directory `/path/to/klee/lib/Support' make[2]: Entering directory `/path/to/klee/lib/Expr' llvm[2]: Compiling Constraints.cpp for Release build /usr/lib/gcc/i386-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_data&, const std::tr1::_Any_data&, std::tr1::_Manager_operation)?: /usr/lib/gcc/i386-redhat-linux/4.1.2/../../../../include/c++/4.1.2/tr1/functional:904: error: cannot use typeid with -fno-rtti /usr/lib/gcc/i386-redhat-linux/4.1.2/../../../../include/c++/4.1.2/tr1/functional: In static member function ?static bool std::tr1::_Function_base::_Ref_manager<_Functor>::_M_manager(std::tr1::_Any_data&, const std::tr1::_Any_data&, std::tr1::_Manager_operation)?: /usr/lib/gcc/i386-redhat-linux/4.1.2/../../../../include/c++/4.1.2/tr1/functional:982: error: cannot use typeid with -fno-rtti /usr/lib/gcc/i386-redhat-linux/4.1.2/../../../../include/c++/4.1.2/tr1/functional_iterate.h: In static member function ?static bool std::tr1::_Function_handler<void ()(), _Member _Class::*>::_M_manager(std::tr1::_Any_data&, const std::tr1::_Any_data&, std::tr1::_Manager_operation)?: /usr/lib/gcc/i386-redhat-linux/4.1.2/../../../../include/c++/4.1.2/tr1/functional_iterate.h:572: error: cannot use typeid with -fno-rtti /usr/lib/gcc/i386-redhat-linux/4.1.2/../../../../include/c++/4.1.2/tr1/functional_iterate.h: In member function ?const std::type_info& std::tr1::function<_Res ()()>::target_type() const?: /usr/lib/gcc/i386-redhat-linux/4.1.2/../../../../include/c++/4.1.2/tr1/functional_iterate.h:883: error: cannot use typeid with -fno-rtti ...etc... /usr/lib/gcc/i386-redhat-linux/4.1.2/../../../../include/c++/4.1.2/tr1/functional_iterate.h: In member function ?const _Functor* std::tr1::function<_Res ()(_T1, _T2, _T3, _T4, _T5, _T6, _T7, _T8, _T9, _T10)>::target() const?: /usr/lib/gcc/i386-redhat-linux/4.1.2/../../../../include/c++/4.1.2/tr1/functional_iterate.h:912: error: cannot use typeid with -fno-rtti make[2]: *** [/path/to/klee/lib/Expr/Release/Constraints.o] Error 1 make[2]: Leaving directory `/path/to/klee/lib/Expr' make[1]: *** [Expr/.makeall] Error 2 make[1]: Leaving directory `/path/to/klee/lib' make: *** [all] Error 1
