svn commit: r422174 - in head: lang/spark math/alt-ergo-spark math/why3-spark
John Marino
marino at FreeBSD.org
Thu Sep 15 01:35:59 UTC 2016
Author: marino
Date: Thu Sep 15 01:35:58 2016
New Revision: 422174
URL: https://svnweb.freebsd.org/changeset/ports/422174
Log:
Drop spark-related ports for removal after 30 Sept
Modified:
head/lang/spark/Makefile
head/math/alt-ergo-spark/Makefile
head/math/why3-spark/Makefile
Modified: head/lang/spark/Makefile
==============================================================================
--- head/lang/spark/Makefile Thu Sep 15 01:29:41 2016 (r422173)
+++ head/lang/spark/Makefile Thu Sep 15 01:35:58 2016 (r422174)
@@ -10,14 +10,14 @@ DISTNAME= spark-gpl-${PORTVERSION}-src
DISTFILES= ${DISTNAME}.tar.gz:main ${IDENTIFICATION}.tar.bz2
EXTRACT_ONLY= ${DISTNAME}.tar.gz
-MAINTAINER= marino at FreeBSD.org
+MAINTAINER= ports at FreeBSD.org
COMMENT= Technology for engineering high-reliability s/w applications
LICENSE= GPLv3
BROKEN= brutally fails test suite - with ICE
DEPRECATED= Broken for more than 6 months
-EXPIRATION_DATE= 2016-10-29
+EXPIRATION_DATE= 2016-09-30
BUILD_DEPENDS= gnatcoll>=2014:devel/gnatcoll
RUN_DEPENDS= gnatwhy3:math/why3-spark \
Modified: head/math/alt-ergo-spark/Makefile
==============================================================================
--- head/math/alt-ergo-spark/Makefile Thu Sep 15 01:29:41 2016 (r422173)
+++ head/math/alt-ergo-spark/Makefile Thu Sep 15 01:35:58 2016 (r422174)
@@ -7,9 +7,12 @@ MASTER_SITES= http://downloads.dragonlac
PKGNAMESUFFIX= -spark
DISTNAME= alt-ergo-for-spark-gpl-${PORTVERSION}-src
-MAINTAINER= marino at FreeBSD.org
+MAINTAINER= ports at FreeBSD.org
COMMENT= Automatic solver for SPARK 2015
+DEPRECATED= Only useful for deprecate lang/spark
+EXPIRATION_DATE= 2016-09-30
+
LICENSE= CeCILL-C
LICENSE_NAME= Ce[a] C[nrs] I[nria] L[ogiciel] L[ibre] C license, version 1
LICENSE_FILE= ${WRKSRC}/LICENSE
Modified: head/math/why3-spark/Makefile
==============================================================================
--- head/math/why3-spark/Makefile Thu Sep 15 01:29:41 2016 (r422173)
+++ head/math/why3-spark/Makefile Thu Sep 15 01:35:58 2016 (r422174)
@@ -8,12 +8,15 @@ MASTER_SITES= http://downloads.dragonlac
PKGNAMESUFFIX= -spark
DISTNAME= why3-for-spark-gpl-${PORTVERSION}-src
-MAINTAINER= marino at FreeBSD.org
+MAINTAINER= ports at FreeBSD.org
COMMENT= Component of SPARK ${PORTVERSION}
LICENSE= LGPL21 GPLv3
LICENSE_COMB= multi
+DEPRECATED= Only useful for deprecated lang/spark
+EXPIRATION_DATE= 2016-09-30
+
BUILD_DEPENDS= menhir:devel/menhir \
ocaml-zip>1:archivers/ocaml-zip \
ocaml-zarith>1.2:math/ocaml-zarith \
More information about the svn-ports-head
mailing list