svn commit: r479612 - head/math/eprover

[Brooks Davis]

Author: brooks
Date: Wed Sep 12 16:01:03 2018
New Revision: 479612
URL: https://svnweb.freebsd.org/changeset/ports/479612

Log:
  Update llvm dependency (for 10.x support) to llvm60.
  
  PR:		231289
  Approved by:	Greg V <greg at unrelenting.technology> (maintainer)
  Sponsored by:	DARPA, AFRL

Modified:
  head/math/eprover/Makefile

Modified: head/math/eprover/Makefile
==============================================================================
--- head/math/eprover/Makefile	Wed Sep 12 15:08:05 2018	(r479611)
+++ head/math/eprover/Makefile	Wed Sep 12 16:01:03 2018	(r479612)
@@ -3,6 +3,7 @@
 PORTNAME=	eprover
 DISTVERSIONPREFIX=	E-
 DISTVERSION=	2.0
+PORTREVISION=	1
 CATEGORIES=	math
 
 MAINTAINER=	greg at unrelenting.technology
@@ -39,10 +40,10 @@ post-install:
 
 .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>