Index: head/devel/cheritrace-devel/Makefile
===================================================================
--- head/devel/cheritrace-devel/Makefile	(revision 424548)
+++ head/devel/cheritrace-devel/Makefile	(revision 424549)
@@ -1,21 +1,23 @@
 # Created by: David Chisnall <theraven@FreeBSD.org>
 # $FreeBSD$
 
 PORTNAME=	cheritrace
 PORTVERSION=	0.0.1
 CATEGORIES=	devel security
 
 MAINTAINER=	theraven@FreeBSD.org
-COMMENT=	Library and tool for interacting with CHERI streamtraces.
+COMMENT=	Library and tool for interacting with CHERI streamtraces
 
-USES=		cmake
+BUILD_DEPENDS=	llvm-config-cheri:devel/llvm-cheri
+LIB_DEPENDS=	libLLVMCore.so:devel/llvm-cheri
+
+BROKEN_FreeBSD_9=	does not build
+
+USES=		cmake compiler:c++11-lib
 USE_GITHUB=	yes
 GH_ACCOUNT=	CTSRD-CHERI
 GH_TAGNAME=	a7ddf11
 
-BUILD_DEPENDS+=	llvm-config-cheri:devel/llvm-cheri
-LIB_DEPENDS+=	libLLVMCore.so:devel/llvm-cheri
-
-CMAKE_ARGS+=	-DLLVM_CONFIG=${LOCALBASE}/bin/llvm-config-cheri
+CMAKE_ARGS=	-DLLVM_CONFIG=${LOCALBASE}/bin/llvm-config-cheri
 
 .include <bsd.port.mk>