diff options
| author | John Marino <marino@FreeBSD.org> | 2016-09-15 01:35:58 +0000 |
|---|---|---|
| committer | John Marino <marino@FreeBSD.org> | 2016-09-15 01:35:58 +0000 |
| commit | 0cacccdf657c492f63697db5e76d9cd7e04721bd (patch) | |
| tree | 27e0d5f2ae5fb45f1bac630fc47cd418a554f953 | |
| parent | 252c5d5f385979ea8657b20b7a619b6c5c4e6a64 (diff) | |
| download | freebsd-ports-0cacccdf657c492f63697db5e76d9cd7e04721bd.zip | |
Drop spark-related ports for removal after 30 Sept
| -rw-r--r-- | lang/spark/Makefile | 4 | ||||
| -rw-r--r-- | math/alt-ergo-spark/Makefile | 5 | ||||
| -rw-r--r-- | math/why3-spark/Makefile | 5 |
3 files changed, 10 insertions, 4 deletions
diff --git a/lang/spark/Makefile b/lang/spark/Makefile index fc796b982ae0..1f82a7cb8590 100644 --- a/lang/spark/Makefile +++ b/lang/spark/Makefile @@ -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 \ diff --git a/math/alt-ergo-spark/Makefile b/math/alt-ergo-spark/Makefile index 13ea4f5b02ab..c31161d4253a 100644 --- a/math/alt-ergo-spark/Makefile +++ b/math/alt-ergo-spark/Makefile @@ -7,9 +7,12 @@ MASTER_SITES= http://downloads.dragonlace.net/src/ 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 diff --git a/math/why3-spark/Makefile b/math/why3-spark/Makefile index ba724d54f640..f49463ad515d 100644 --- a/math/why3-spark/Makefile +++ b/math/why3-spark/Makefile @@ -8,12 +8,15 @@ MASTER_SITES= http://downloads.dragonlace.net/src/ 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 \ |