From owner-svn-ports-head@FreeBSD.ORG  Wed Apr 17 15:35:28 2013
Return-Path: <owner-svn-ports-head@FreeBSD.ORG>
Delivered-To: svn-ports-head@freebsd.org
Received: from mx1.freebsd.org (mx1.freebsd.org
 [IPv6:2001:1900:2254:206a::19:1])
 by hub.freebsd.org (Postfix) with ESMTP id 0E3A0782;
 Wed, 17 Apr 2013 15:35:28 +0000 (UTC)
 (envelope-from miwi@FreeBSD.org)
Received: from svn.freebsd.org (svn.freebsd.org
 [IPv6:2001:1900:2254:2068::e6a:0])
 by mx1.freebsd.org (Postfix) with ESMTP id 00BA2F95;
 Wed, 17 Apr 2013 15:35:28 +0000 (UTC)
Received: from svn.freebsd.org ([127.0.1.70])
 by svn.freebsd.org (8.14.6/8.14.6) with ESMTP id r3HFZRip051508;
 Wed, 17 Apr 2013 15:35:27 GMT (envelope-from miwi@svn.freebsd.org)
Received: (from miwi@localhost)
 by svn.freebsd.org (8.14.6/8.14.5/Submit) id r3HFZRLu051507;
 Wed, 17 Apr 2013 15:35:27 GMT (envelope-from miwi@svn.freebsd.org)
Message-Id: <201304171535.r3HFZRLu051507@svn.freebsd.org>
From: Martin Wilke <miwi@FreeBSD.org>
Date: Wed, 17 Apr 2013 15:35:27 +0000 (UTC)
To: ports-committers@freebsd.org, svn-ports-all@freebsd.org,
 svn-ports-head@freebsd.org
Subject: svn commit: r315975 - head/devel/klee
X-SVN-Group: ports-head
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
X-BeenThere: svn-ports-head@freebsd.org
X-Mailman-Version: 2.1.14
Precedence: list
List-Id: SVN commit messages for the ports tree for head
 <svn-ports-head.freebsd.org>
List-Unsubscribe: <http://lists.freebsd.org/mailman/options/svn-ports-head>,
 <mailto:svn-ports-head-request@freebsd.org?subject=unsubscribe>
List-Archive: <http://lists.freebsd.org/pipermail/svn-ports-head>
List-Post: <mailto:svn-ports-head@freebsd.org>
List-Help: <mailto:svn-ports-head-request@freebsd.org?subject=help>
List-Subscribe: <http://lists.freebsd.org/mailman/listinfo/svn-ports-head>,
 <mailto:svn-ports-head-request@freebsd.org?subject=subscribe>
X-List-Received-Date: Wed, 17 Apr 2013 15:35:28 -0000

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