Index: head/security/hs-cryptol/Makefile
===================================================================
--- head/security/hs-cryptol/Makefile	(revision 526978)
+++ head/security/hs-cryptol/Makefile	(revision 526979)
@@ -1,52 +1,50 @@
 # $FreeBSD$
 
 PORTNAME=	cryptol
 DISTVERSION=	2.8.0
 CATEGORIES=	security lang haskell
 
 MAINTAINER=	yuri@FreeBSD.org
 COMMENT=	Language of cryptography
 
 LICENSE=	BSD3CLAUSE
 LICENSE_FILE=	${WRKSRC}/LICENSE
 
 USES=		cabal
 
 USE_CABAL=	\
 		FloatingHex-0.4 \
 		GraphSCC-1.0.4 \
 		QuickCheck-2.13.2 \
 		alex-3.2.5 \
 		ansi-terminal-0.10.3 \
 		async-2.2.2 \
 		base-compat-0.10.5 \
 		base-orphans-0.8.2 \
 		blaze-builder-0.4.1.0 \
 		blaze-html-0.9.1.2 \
 		blaze-markup-0.8.2.3 \
 		colour-2.3.5 \
 		crackNum-2.3 \
 		cryptohash-sha1-0.11.100.1_4 \
 		generic-deriving-1.13.1 \
 		gitrev-1.3.1 \
 		happy-1.19.12 \
 		hashable-1.3.0.0 \
 		heredoc-0.2.0.0 \
 		monad-control-1.0.2.3 \
 		monadLib-3.10_1 \
 		panic-0.4.0.1 \
 		primitive-0.7.0.0_1 \
 		random-1.1_1 \
 		sbv-8.6 \
 		simple-smt-0.9.4_1 \
 		splitmix-0.0.3_1 \
 		strict-0.3.2 \
 		syb-0.7.1 \
 		tf-random-0.5 \
 		th-abstraction-0.3.2.0 \
 		transformers-base-0.4.5.2 \
 		transformers-compat-0.6.5
 
-EXECUTABLES=	${PORTNAME}
-
 .include <bsd.port.mk>