blob: a99fdfbb916a5b418afcd12d42fe8d780c62fd08 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
PORTNAME= abella
DISTVERSION= 2.0.7
CATEGORIES= math
MASTER_SITES= http://abella-prover.org/distributions/
MAINTAINER= yuri@FreeBSD.org
COMMENT= Interactive theorem prover
WWW= https://abella-prover.org/
LICENSE= GPLv3
LICENSE_FILE= ${WRKSRC}/LICENSE
BUILD_DEPENDS= ocamlbuild:devel/ocaml-ocamlbuild \
ocamlfind:devel/ocaml-findlib
USES= gmake
PLIST_FILES= bin/${PORTNAME}
do-install:
${INSTALL_PROGRAM} ${WRKSRC}/${PORTNAME} ${STAGEDIR}${PREFIX}/bin
.include <bsd.port.mk>
|
