svn commit: r315975 - head/devel/klee

Martin Wilke miwi at FreeBSD.org
Wed Apr 17 15:35:28 UTC 2013


Author: miwi
Date: Wed Apr 17 15:35:27 2013
New Revision: 315975
URL: http://svnweb.freebsd.org/changeset/ports/315975

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

Modified:
  head/devel/klee/Makefile

Modified: head/devel/klee/Makefile
==============================================================================
--- head/devel/klee/Makefile	Wed Apr 17 15:33:37 2013	(r315974)
+++ head/devel/klee/Makefile	Wed Apr 17 15:35:27 2013	(r315975)
@@ -14,6 +14,8 @@ BUILD_DEPENDS=	llvm-ar:${PORTSDIR}/devel
 RUN_DEPENDS=	llvm-ar:${PORTSDIR}/devel/llvm \
 		ccc-analyzer:${PORTSDIR}/lang/clang
 
+BROKEN=		fails to build
+
 OPTIONS_DEFINE=	DEBUG
 
 USES=		cmake:outsource


More information about the svn-ports-all mailing list