|
Lines 3-8
Link Here
|
| 3 |
PORTNAME= eprover |
3 |
PORTNAME= eprover |
| 4 |
DISTVERSIONPREFIX= E- |
4 |
DISTVERSIONPREFIX= E- |
| 5 |
DISTVERSION= 2.0 |
5 |
DISTVERSION= 2.0 |
|
|
6 |
PORTREVISION= 1 |
| 6 |
CATEGORIES= math |
7 |
CATEGORIES= math |
| 7 |
|
8 |
|
| 8 |
MAINTAINER= greg@unrelenting.technology |
9 |
MAINTAINER= greg@unrelenting.technology |
|
Lines 39-48
Link Here
|
| 39 |
|
40 |
|
| 40 |
.if ${OPSYS} == FreeBSD && ${OSVERSION} < 1100000 |
41 |
.if ${OPSYS} == FreeBSD && ${OSVERSION} < 1100000 |
| 41 |
# the default compiler hangs on 10 |
42 |
# the default compiler hangs on 10 |
| 42 |
BUILD_DEPENDS+= clang40:devel/llvm40 |
43 |
BUILD_DEPENDS+= clang60:devel/llvm60 |
| 43 |
RUN_DEPENDS+= clang40:devel/llvm40 |
44 |
RUN_DEPENDS+= clang60:devel/llvm60 |
| 44 |
CC= clang40 |
45 |
CC= clang60 |
| 45 |
CXX= clang++40 |
46 |
CXX= clang++60 |
| 46 |
.endif |
47 |
.endif |
| 47 |
|
48 |
|
| 48 |
.include <bsd.port.post.mk> |
49 |
.include <bsd.port.post.mk> |