From owner-svn-ports-head@freebsd.org Thu Sep 15 01:35:59 2016 Return-Path: Delivered-To: svn-ports-head@mailman.ysv.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2001:1900:2254:206a::19:1]) by mailman.ysv.freebsd.org (Postfix) with ESMTP id D80FCBDBFC1; Thu, 15 Sep 2016 01:35:59 +0000 (UTC) (envelope-from marino@FreeBSD.org) Received: from repo.freebsd.org (repo.freebsd.org [IPv6:2610:1c1:1:6068::e6a:0]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (Client did not present a certificate) by mx1.freebsd.org (Postfix) with ESMTPS id 8E2261B34; Thu, 15 Sep 2016 01:35:59 +0000 (UTC) (envelope-from marino@FreeBSD.org) Received: from repo.freebsd.org ([127.0.1.37]) by repo.freebsd.org (8.15.2/8.15.2) with ESMTP id u8F1ZwYK017853; Thu, 15 Sep 2016 01:35:58 GMT (envelope-from marino@FreeBSD.org) Received: (from marino@localhost) by repo.freebsd.org (8.15.2/8.15.2/Submit) id u8F1ZwQ4017850; Thu, 15 Sep 2016 01:35:58 GMT (envelope-from marino@FreeBSD.org) Message-Id: <201609150135.u8F1ZwQ4017850@repo.freebsd.org> X-Authentication-Warning: repo.freebsd.org: marino set sender to marino@FreeBSD.org using -f From: John Marino Date: Thu, 15 Sep 2016 01:35:58 +0000 (UTC) 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 X-SVN-Group: ports-head MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-BeenThere: svn-ports-head@freebsd.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: SVN commit messages for the ports tree for head List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 15 Sep 2016 01:35:59 -0000 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 \