svn commit: r390756 - in head/math: . alt-ergo-spark
John Marino
marino at FreeBSD.org
Sun Jun 28 08:38:48 UTC 2015
Author: marino
Date: Sun Jun 28 08:38:46 2015
New Revision: 390756
URL: https://svnweb.freebsd.org/changeset/ports/390756
Log:
Add new port math/alt-ergo-spark (required by SPARK 2015)
This will be RUN_DEPENDS for lang/spark when it is fixed. The "stock"
math/alt-ergo cannot be used, it locks up when gnatprove calls it.
Added:
head/math/alt-ergo-spark/
head/math/alt-ergo-spark/Makefile (contents, props changed)
head/math/alt-ergo-spark/distinfo (contents, props changed)
head/math/alt-ergo-spark/pkg-descr (contents, props changed)
Modified:
head/math/Makefile
Modified: head/math/Makefile
==============================================================================
--- head/math/Makefile Sun Jun 28 08:38:43 2015 (r390755)
+++ head/math/Makefile Sun Jun 28 08:38:46 2015 (r390756)
@@ -52,6 +52,7 @@
SUBDIR += algae
SUBDIR += algotutor
SUBDIR += alt-ergo
+ SUBDIR += alt-ergo-spark
SUBDIR += analitza
SUBDIR += ann
SUBDIR += apc
Added: head/math/alt-ergo-spark/Makefile
==============================================================================
--- /dev/null 00:00:00 1970 (empty, because file is newly added)
+++ head/math/alt-ergo-spark/Makefile Sun Jun 28 08:38:46 2015 (r390756)
@@ -0,0 +1,32 @@
+# $FreeBSD$
+
+PORTNAME= alt-ergo
+PORTVERSION= 2015
+CATEGORIES= math
+MASTER_SITES= http://downloads.dragonlace.net/src/
+PKGNAMESUFFIX= -spark
+DISTNAME= alt-ergo-for-spark-gpl-${PORTVERSION}-src
+
+MAINTAINER= marino at FreeBSD.org
+COMMENT= Automatic solver for SPARK 2015
+
+LICENSE= CeCILL-C
+LICENSE_NAME= Ce[a] C[nrs] I[nria] L[ogiciel] L[ibre] C license, version 1
+LICENSE_FILE= ${WRKSRC}/LICENSE
+LICENSE_PERMS= dist-mirror dist-sell pkg-mirror pkg-sell auto-accept
+
+BUILD_DEPENDS= ocaml-zarith>1.2:${PORTSDIR}/math/ocaml-zarith \
+ ocaml-ocamlgraph>1.8:${PORTSDIR}/math/ocaml-ocamlgraph
+RUN_DEPENDS= ocaml-ocamlgraph>1.8:${PORTSDIR}/math/ocaml-ocamlgraph
+
+USES= gmake
+USE_OCAML= yes
+GNU_CONFIGURE= yes
+MAKE_ARGS= NAME=alt-ergo-spark
+PLIST_FILES= bin/alt-ergo-spark man/man1/alt-ergo-spark.1.gz
+
+post-install:
+ ${MV} ${STAGEDIR}${MANPREFIX}/man/man1/alt-ergo.1 \
+ ${STAGEDIR}${MANPREFIX}/man/man1/alt-ergo-spark.1.gz
+
+.include <bsd.port.mk>
Added: head/math/alt-ergo-spark/distinfo
==============================================================================
--- /dev/null 00:00:00 1970 (empty, because file is newly added)
+++ head/math/alt-ergo-spark/distinfo Sun Jun 28 08:38:46 2015 (r390756)
@@ -0,0 +1,2 @@
+SHA256 (alt-ergo-for-spark-gpl-2015-src.tar.gz) = 56e70ee8d7b67e95945c156ff80833e45612882605a163a779b7d11ea01f6fbf
+SIZE (alt-ergo-for-spark-gpl-2015-src.tar.gz) = 230073
Added: head/math/alt-ergo-spark/pkg-descr
==============================================================================
--- /dev/null 00:00:00 1970 (empty, because file is newly added)
+++ head/math/alt-ergo-spark/pkg-descr Sun Jun 28 08:38:46 2015 (r390756)
@@ -0,0 +1,4 @@
+This is a component of SPARK 2015: Those looking for the automatic
+theorem prover known as Alt-Ergo should refer to math/alt-ergo instead
+
+WWW: https://forge.open-do.org/projects/spark2014
More information about the svn-ports-all
mailing list