From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from lists.gentoo.org (pigeon.gentoo.org [208.92.234.80]) by finch.gentoo.org (Postfix) with ESMTP id 1E5E4138CED for ; Tue, 16 Jun 2015 13:32:31 +0000 (UTC) Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id 97DA0E081C; Tue, 16 Jun 2015 13:32:28 +0000 (UTC) Received: from smtp.gentoo.org (smtp.gentoo.org [140.211.166.183]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by pigeon.gentoo.org (Postfix) with ESMTPS id F1AFEE082B for ; Tue, 16 Jun 2015 13:32:27 +0000 (UTC) Received: from oystercatcher.gentoo.org (oystercatcher.gentoo.org [148.251.78.52]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by smtp.gentoo.org (Postfix) with ESMTPS id BE19A340B59 for ; Tue, 16 Jun 2015 13:32:26 +0000 (UTC) Received: from localhost.localdomain (localhost [127.0.0.1]) by oystercatcher.gentoo.org (Postfix) with ESMTP id 6E6A49E1 for ; Tue, 16 Jun 2015 13:32:25 +0000 (UTC) From: "Justin Lecher" To: gentoo-commits@lists.gentoo.org Content-Transfer-Encoding: 8bit Content-type: text/plain; charset=UTF-8 Reply-To: gentoo-dev@lists.gentoo.org, "Justin Lecher" Message-ID: <1434439380.9ab5f7f134017657603f21bdacc5341dbbdc64b1.jlec@gentoo> Subject: [gentoo-commits] proj/sci:master commit in: sci-mathematics/acl2/ X-VCS-Repository: proj/sci X-VCS-Files: sci-mathematics/acl2/ChangeLog sci-mathematics/acl2/acl2-7.0.ebuild sci-mathematics/acl2/acl2-7.1.ebuild sci-mathematics/acl2/metadata.xml X-VCS-Directories: sci-mathematics/acl2/ X-VCS-Committer: jlec X-VCS-Committer-Name: Justin Lecher X-VCS-Revision: 9ab5f7f134017657603f21bdacc5341dbbdc64b1 X-VCS-Branch: master Date: Tue, 16 Jun 2015 13:32:25 +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-Archives-Salt: a40d4ad3-7178-44c1-9e5c-9f639109daed X-Archives-Hash: c410fe35eac42976558129a68f7feb43 commit: 9ab5f7f134017657603f21bdacc5341dbbdc64b1 Author: zcj 163 com> AuthorDate: Tue Jun 16 07:23:00 2015 +0000 Commit: Justin Lecher gentoo org> CommitDate: Tue Jun 16 07:23:00 2015 +0000 URL: https://gitweb.gentoo.org/proj/sci.git/commit/?id=9ab5f7f1 sci-mathematics/acl2: Version bump; Upstream url changes. sci-mathematics/acl2/ChangeLog | 7 +++++++ sci-mathematics/acl2/{acl2-7.0.ebuild => acl2-7.1.ebuild} | 9 +++++---- sci-mathematics/acl2/metadata.xml | 2 +- 3 files changed, 13 insertions(+), 5 deletions(-) diff --git a/sci-mathematics/acl2/ChangeLog b/sci-mathematics/acl2/ChangeLog index 76c3446..108ca3f 100644 --- a/sci-mathematics/acl2/ChangeLog +++ b/sci-mathematics/acl2/ChangeLog @@ -2,6 +2,13 @@ # Copyright 1999-2015 Gentoo Foundation; Distributed under the GPL v2 # $Header: $ +*acl2-7.1 (16 Jun 2015) + + 16 Jun 2015; zcj +acl2-7.1.ebuild, -acl2-7.0.ebuild, + metadata.xml: + sci-mathematics/acl2: sci-mathematics/acl2: Version bump; Upstream url + changes. + 06 Jun 2015; Justin Lecher metadata.xml: sci-mathematics/acl2: Add github to remote-id in metadata.xml diff --git a/sci-mathematics/acl2/acl2-7.0.ebuild b/sci-mathematics/acl2/acl2-7.1.ebuild similarity index 83% rename from sci-mathematics/acl2/acl2-7.0.ebuild rename to sci-mathematics/acl2/acl2-7.1.ebuild index c1bfb90..8378eaf 100644 --- a/sci-mathematics/acl2/acl2-7.0.ebuild +++ b/sci-mathematics/acl2/acl2-7.1.ebuild @@ -8,7 +8,8 @@ inherit eutils DESCRIPTION="Industrial strength theorem prover" HOMEPAGE="http://www.cs.utexas.edu/users/moore/acl2/" -SRC_URI="https://github.com/acl2/acl2/archive/${PV}.tar.gz -> ${P}.tar.gz" +MY_PN=${PN}-devel +SRC_URI="https://github.com/${MY_PN}/${MY_PN}/archive/${PV}.tar.gz -> ${P}.tar.gz" SLOT="0" LICENSE="BSD" @@ -19,6 +20,7 @@ DEPEND=" dev-lisp/sbcl:= books? ( dev-lang/perl )" RDEPEND="${DEPEND}" +S="${WORKDIR}/${MY_PN}-${PV}" src_compile() { emake LISP="sbcl --noinform --noprint \ @@ -28,19 +30,18 @@ src_compile() { echo einfo "Building certificates ..." einfo "(this may take hours to finish)" - emake regression + emake certify-books fi } src_install() { - SAVED_NAME=saved_acl2h + SAVED_NAME=saved_acl2 sed -e "s:${S}:/usr/share/acl2:g" -i ${SAVED_NAME} || die if use books; then sed -e "/5/a export ACL2_SYSTEM_BOOKS=/usr/share/acl2/books/" \ -i ${SAVED_NAME} || die fi dobin ${SAVED_NAME} - dosym ${SAVED_NAME} /usr/bin/saved_acl2 insinto /usr/share/acl2 doins TAGS ${SAVED_NAME}.core diff --git a/sci-mathematics/acl2/metadata.xml b/sci-mathematics/acl2/metadata.xml index 672cea8..0782df4 100644 --- a/sci-mathematics/acl2/metadata.xml +++ b/sci-mathematics/acl2/metadata.xml @@ -19,6 +19,6 @@ Software System Award. - acl2/acl2 + acl2-devel/acl2-devel