Date: Thu, 15 Sep 2016 01:35:58 +0000 (UTC) From: John Marino <marino@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r422174 - in head: lang/spark math/alt-ergo-spark math/why3-spark Message-ID: <201609150135.u8F1ZwQ4017850@repo.freebsd.org>
next in thread | raw e-mail | index | archive | help
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@FreeBSD.org +MAINTAINER= ports@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@FreeBSD.org +MAINTAINER= ports@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@FreeBSD.org +MAINTAINER= ports@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 \
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201609150135.u8F1ZwQ4017850>