cpet/freebsd-ports
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Drop spark-related ports for removal after 30 Sept

Browse Source
This commit is contained in:
John Marino 2016-09-15 01:35:58 +00:00
parent 252c5d5f38
commit 0cacccdf65
Notes: svn2git 2021-03-31 03:12:20 +00:00 
svn path=/head/; revision=422174
3 changed files with 10 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
lang/spark/Makefile
View File

@ -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 \

5
math/alt-ergo-spark/Makefile
View File

@ -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

5
math/why3-spark/Makefile
View File

@ -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 \