blob: 1cc303054e3c80f899629974e6d5f395c2f7e6c4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
# $FreeBSD$
PORTNAME= lean
DISTVERSIONPREFIX= v
DISTVERSION= 3.4.2
CATEGORIES= math
PKGNAMEPREFIX= ${PYTHON_PKGNAMEPREFIX}
MAINTAINER= yuri@FreeBSD.org
COMMENT= Theorem prover
LICENSE= APACHE20
LICENSE_FILE= ${WRKSRC}/../LICENSE
LIB_DEPENDS= libgmp.so:math/gmp
USES= cmake compiler:c++11-lang
USE_GITHUB= yes
GH_ACCOUNT= leanprover
USE_LDCONFIG= yes
WRKSRC_SUBDIR= src
PORTSCOUT= limit:.*[0-9]+\.[0-9]+$$
.include <bsd.port.mk>
|
