K 10
svn:author
V 4
miwi
K 8
svn:date
V 27
2013-04-17T15:35:27.461621Z
K 7
svn:log
V 503
- Broken fails to build

/work/a/ports/devel/klee/work/klee-169327.138/lib/Core/Executor.cpp: In member function 'unsigned int klee::Executor::getWidthForLLVMType(llvm::Type*) const':
/work/a/ports/devel/klee/work/klee-169327.138/lib/Core/Executor.cpp:3516: error: invalid use of incomplete type 'struct llvm::TargetData'
/work/a/ports/devel/klee/work/klee-169327.138/include/klee/Internal/Module/KModule.h:27: error: forward declaration of 'struct llvm::TargetData'
*** Error code 1

Feature safe:	yes

END