From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from lists.gentoo.org (pigeon.gentoo.org [208.92.234.80]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by finch.gentoo.org (Postfix) with ESMTPS id 3624E13835A for ; Thu, 4 Mar 2021 11:53:04 +0000 (UTC) Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id 45394E0882; Thu, 4 Mar 2021 11:53:03 +0000 (UTC) Received: from smtp.gentoo.org (smtp.gentoo.org [140.211.166.183]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by pigeon.gentoo.org (Postfix) with ESMTPS id 2D1C0E0882 for ; Thu, 4 Mar 2021 11:53:03 +0000 (UTC) Received: from oystercatcher.gentoo.org (oystercatcher.gentoo.org [148.251.78.52]) (using TLSv1.2 with cipher ECDHE-RSA-AES128-GCM-SHA256 (128/128 bits)) (No client certificate requested) by smtp.gentoo.org (Postfix) with ESMTPS id CEBA8340F37 for ; Thu, 4 Mar 2021 11:53:01 +0000 (UTC) Received: from localhost.localdomain (localhost [IPv6:::1]) by oystercatcher.gentoo.org (Postfix) with ESMTP id 3DD3A579 for ; Thu, 4 Mar 2021 11:53:00 +0000 (UTC) From: "Andrew Ammerlaan" To: gentoo-commits@lists.gentoo.org Content-Transfer-Encoding: 8bit Content-type: text/plain; charset=UTF-8 Reply-To: gentoo-dev@lists.gentoo.org, "Andrew Ammerlaan" Message-ID: <1614858776.3da11fc58fc8db8834367e4d3fbb36e1e51011f3.andrewammerlaan@gentoo> Subject: [gentoo-commits] proj/sci:master commit in: sci-mathematics/why3/ X-VCS-Repository: proj/sci X-VCS-Files: sci-mathematics/why3/why3-0.83.ebuild X-VCS-Directories: sci-mathematics/why3/ X-VCS-Committer: andrewammerlaan X-VCS-Committer-Name: Andrew Ammerlaan X-VCS-Revision: 3da11fc58fc8db8834367e4d3fbb36e1e51011f3 X-VCS-Branch: master Date: Thu, 4 Mar 2021 11:53:00 +0000 (UTC) Precedence: bulk List-Post: List-Help: List-Unsubscribe: List-Subscribe: List-Id: Gentoo Linux mail X-BeenThere: gentoo-commits@lists.gentoo.org X-Auto-Response-Suppress: DR, RN, NRN, OOF, AutoReply X-Archives-Salt: 9a7eec35-3b22-43c3-9961-f1b9ffcf465a X-Archives-Hash: e28015b90b7ca1829fdf5b144b664946 commit: 3da11fc58fc8db8834367e4d3fbb36e1e51011f3 Author: Andrew Ammerlaan riseup net> AuthorDate: Thu Mar 4 11:52:56 2021 +0000 Commit: Andrew Ammerlaan riseup net> CommitDate: Thu Mar 4 11:52:56 2021 +0000 URL: https://gitweb.gentoo.org/proj/sci.git/commit/?id=3da11fc5 sci-mathematics/why3: drop old Package-Manager: Portage-3.0.16, Repoman-3.0.2 Signed-off-by: Andrew Ammerlaan riseup.net> sci-mathematics/why3/why3-0.83.ebuild | 59 ----------------------------------- 1 file changed, 59 deletions(-) diff --git a/sci-mathematics/why3/why3-0.83.ebuild b/sci-mathematics/why3/why3-0.83.ebuild deleted file mode 100644 index ac914306c..000000000 --- a/sci-mathematics/why3/why3-0.83.ebuild +++ /dev/null @@ -1,59 +0,0 @@ -# Copyright 1999-2016 Gentoo Foundation -# Distributed under the terms of the GNU General Public License v2 - -EAPI=5 - -inherit eutils - -DESCRIPTION=" Why3 is a platform for deductive program verification" -HOMEPAGE="http://why3.lri.fr/" -SRC_URI="https://gforge.inria.fr/frs/download.php/33490/${P}.tar.gz" - -LICENSE="LGPL-2" -SLOT="0" -KEYWORDS="~amd64" -IUSE="float frama-c doc examples" - -DEPEND=">=dev-lang/ocaml-3.12.1 - dev-ml/zarith - sci-mathematics/coq - frama-c? ( >=sci-mathematics/frama-c-20140301 ) - float? ( sci-mathematics/flocq ) - doc? ( dev-tex/rubber )" -RDEPEND="${DEPEND}" - -DOCS=( CHANGES README Version ) - -src_prepare() { - mv doc/why.1 doc/why3.1 || die - sed -i configure.in -e "s/\"pvs\"/\"sri-pvs\"/g" || die - sed -i configure -e "s/\"pvs\"/\"sri-pvs\"/g" || die - sed -i Makefile.in -e "s:DESTDIR =::g" \ - -e "s:\$(RUBBER) --warn all --pdf manual.tex:makeindex manual.tex; \$(RUBBER) --warn all --pdf manual.tex; cd ..:g" || die -} - -src_configure() { - econf $(use_enable frama-c) -} - -src_compile() { - MAKEOPTS+=" -j1" - - default - if use doc; then - emake doc/manual.pdf - fi -} - -src_install(){ - default - - doman doc/why3.1 - if use doc; then - dodoc doc/manual.pdf - fi - if use examples; then - insinto /usr/share/doc/${PF} - doins -r examples - fi -}