svn commit: r518670 - in head/math: . abella
Yuri Victorovich
yuri at FreeBSD.org
Fri Nov 29 19:40:19 UTC 2019
Author: yuri
Date: Fri Nov 29 19:40:18 2019
New Revision: 518670
URL: https://svnweb.freebsd.org/changeset/ports/518670
Log:
New port: math/abella: Interactive theorem prover
Added:
head/math/abella/
head/math/abella/Makefile (contents, props changed)
head/math/abella/distinfo (contents, props changed)
head/math/abella/pkg-descr (contents, props changed)
Modified:
head/math/Makefile
Modified: head/math/Makefile
==============================================================================
--- head/math/Makefile Fri Nov 29 18:18:47 2019 (r518669)
+++ head/math/Makefile Fri Nov 29 19:40:18 2019 (r518670)
@@ -113,6 +113,7 @@
SUBDIR += SCIP
SUBDIR += SoPlex
SUBDIR += aamath
+ SUBDIR += abella
SUBDIR += abs
SUBDIR += acalc
SUBDIR += add
Added: head/math/abella/Makefile
==============================================================================
--- /dev/null 00:00:00 1970 (empty, because file is newly added)
+++ head/math/abella/Makefile Fri Nov 29 19:40:18 2019 (r518670)
@@ -0,0 +1,24 @@
+# $FreeBSD$
+
+PORTNAME= abella
+DISTVERSION= 2.0.6
+CATEGORIES= math
+MASTER_SITES= http://abella-prover.org/distributions/
+
+MAINTAINER= yuri at FreeBSD.org
+COMMENT= Interactive theorem prover
+
+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>
Added: head/math/abella/distinfo
==============================================================================
--- /dev/null 00:00:00 1970 (empty, because file is newly added)
+++ head/math/abella/distinfo Fri Nov 29 19:40:18 2019 (r518670)
@@ -0,0 +1,3 @@
+TIMESTAMP = 1575054547
+SHA256 (abella-2.0.6.tar.gz) = d1f793b1e34f3adcaf6d28e2c0274bccb281afe89c8e3093c1e64df6ec4b9898
+SIZE (abella-2.0.6.tar.gz) = 214785
Added: head/math/abella/pkg-descr
==============================================================================
--- /dev/null 00:00:00 1970 (empty, because file is newly added)
+++ head/math/abella/pkg-descr Fri Nov 29 19:40:18 2019 (r518670)
@@ -0,0 +1,6 @@
+Abella is an interactive theorem prover based on lambda-tree syntax. This means
+that Abella is well-suited for reasoning about the meta-theory of programming
+languages and other logical systems which manipulate objects with binding. For
+example, the following applications are included in the distribution of Abella.
+
+WWW: http://abella-prover.org/
More information about the svn-ports-head
mailing list