Index: head/math/eprover/Makefile
===================================================================
--- head/math/eprover/Makefile	(revision 479611)
+++ head/math/eprover/Makefile	(revision 479612)
@@ -1,48 +1,49 @@
 # $FreeBSD$
 
 PORTNAME=	eprover
 DISTVERSIONPREFIX=	E-
 DISTVERSION=	2.0
+PORTREVISION=	1
 CATEGORIES=	math
 
 MAINTAINER=	greg@unrelenting.technology
 COMMENT=	Theorem prover for full first-order logic with equality
 
 LICENSE=	LGPL20+ GPLv2+
 LICENSE_COMB=	dual
 LICENSE_FILE=	${WRKSRC}/COPYING
 
 BUILD_DEPENDS=	bash:shells/bash \
 		help2man:misc/help2man
 RUN_DEPENDS=	bash:shells/bash
 
 USES=		shebangfix
 USE_GITHUB=	yes
 
 HAS_CONFIGURE=	yes
 CONFIGURE_ARGS=	--bindir=${STAGEDIR}${PREFIX}/bin/ \
 		--man-prefix=${STAGEDIR}${PREFIX}/man/man1/
 SHEBANG_FILES=	PROVER/eproof PROVER/eproof_ram
 
 post-build:
 	@cd ${WRKSRC} && ${MAKE} man
 	@${REINPLACE_CMD} -e 's|EXECPATH=.|EXECPATH=${PREFIX}/bin|' \
 		${WRKSRC}/PROVER/eproof ${WRKSRC}/PROVER/eproof_ram
 
 post-install:
 .for f in checkproof e_axfilter e_deduction_server e_ltb_runner eground \
 	  ekb_create ekb_delete ekb_ginsert ekb_insert epclextract eprover
 	@${STRIP_CMD} ${STAGEDIR}${PREFIX}/bin/${f}
 .endfor
 
 .include <bsd.port.pre.mk>
 
 .if ${OPSYS} == FreeBSD && ${OSVERSION} < 1100000
 # the default compiler hangs on 10
-BUILD_DEPENDS+=	clang40:devel/llvm40
-RUN_DEPENDS+=	clang40:devel/llvm40
-CC=		clang40
-CXX=		clang++40
+BUILD_DEPENDS+=	clang60:devel/llvm60
+RUN_DEPENDS+=	clang60:devel/llvm60
+CC=		clang60
+CXX=		clang++60
 .endif
 
 .include <bsd.port.post.mk>