diff options
| author | brooks <brooks@FreeBSD.org> | 2018-09-13 00:01:03 +0800 |
|---|---|---|
| committer | brooks <brooks@FreeBSD.org> | 2018-09-13 00:01:03 +0800 |
| commit | 5545deae968aa9135ee2181ddd40329844eb4cc4 (patch) | |
| tree | 5e9890cce8adb8cf9b9155f0a1ddbb31f7a35508 /math | |
| parent | c68e5c7cc669a41db9b9c11c843f77cd96854de8 (diff) | |
| download | freebsd-ports-gnome-5545deae968aa9135ee2181ddd40329844eb4cc4.tar.gz freebsd-ports-gnome-5545deae968aa9135ee2181ddd40329844eb4cc4.tar.zst freebsd-ports-gnome-5545deae968aa9135ee2181ddd40329844eb4cc4.zip | |
Update llvm dependency (for 10.x support) to llvm60.
PR: 231289
Approved by: Greg V <greg@unrelenting.technology> (maintainer)
Sponsored by: DARPA, AFRL
Diffstat (limited to 'math')
| -rw-r--r-- | math/eprover/Makefile | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/math/eprover/Makefile b/math/eprover/Makefile index 36a58736397e..dc063ab9a05e 100644 --- a/math/eprover/Makefile +++ b/math/eprover/Makefile @@ -3,6 +3,7 @@ PORTNAME= eprover DISTVERSIONPREFIX= E- DISTVERSION= 2.0 +PORTREVISION= 1 CATEGORIES= math MAINTAINER= greg@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> |