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 DAC5A138CC4 for ; Sun, 29 Mar 2015 10:24:57 +0000 (UTC) Received: from pigeon.gentoo.org (localhost [127.0.0.1]) by pigeon.gentoo.org (Postfix) with SMTP id 7CD37E08BE; Sun, 29 Mar 2015 10:24:56 +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 200A6E08BE for ; Sun, 29 Mar 2015 10:24:56 +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 1A3EE340BF1 for ; Sun, 29 Mar 2015 10:24:55 +0000 (UTC) Received: from localhost.localdomain (localhost [127.0.0.1]) by oystercatcher.gentoo.org (Postfix) with ESMTP id 0EDD614C46 for ; Sun, 29 Mar 2015 10:24:53 +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: <1427286462.b4f72187a5b3973e5afeb7c09a04735d46a9f932.jlec@gentoo> Subject: [gentoo-commits] proj/sci:master commit in: sci-mathematics/acl2/, sci-mathematics/acl2/files/ X-VCS-Repository: proj/sci X-VCS-Files: sci-mathematics/acl2/ChangeLog sci-mathematics/acl2/acl2-6.3.ebuild sci-mathematics/acl2/acl2-7.0.ebuild sci-mathematics/acl2/files/set-booksdir.patch sci-mathematics/acl2/metadata.xml X-VCS-Directories: sci-mathematics/acl2/files/ sci-mathematics/acl2/ X-VCS-Committer: jlec X-VCS-Committer-Name: Justin Lecher X-VCS-Revision: b4f72187a5b3973e5afeb7c09a04735d46a9f932 X-VCS-Branch: master Date: Sun, 29 Mar 2015 10:24:53 +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: 86866990-03e2-4bf2-8381-acd8e4d9c927 X-Archives-Hash: 7d76ac8cd53651499ddf00e5a165c7e1 commit: b4f72187a5b3973e5afeb7c09a04735d46a9f932 Author: zcj 163 com> AuthorDate: Wed Mar 25 12:27:42 2015 +0000 Commit: Justin Lecher gentoo org> CommitDate: Wed Mar 25 12:27:42 2015 +0000 URL: https://gitweb.gentoo.org/proj/sci.git/commit/?id=b4f72187 sci-mathematics/acl2: Version bump, drop old; USE flags change. sci-mathematics/acl2/ChangeLog | 9 +++- sci-mathematics/acl2/acl2-6.3.ebuild | 69 --------------------------- sci-mathematics/acl2/acl2-7.0.ebuild | 50 +++++++++++++++++++ sci-mathematics/acl2/files/set-booksdir.patch | 11 ----- sci-mathematics/acl2/metadata.xml | 20 +++----- 5 files changed, 63 insertions(+), 96 deletions(-) diff --git a/sci-mathematics/acl2/ChangeLog b/sci-mathematics/acl2/ChangeLog index 995db65..baff65a 100644 --- a/sci-mathematics/acl2/ChangeLog +++ b/sci-mathematics/acl2/ChangeLog @@ -1,7 +1,13 @@ # ChangeLog for sci-mathematics/acl2 -# Copyright 1999-2014 Gentoo Foundation; Distributed under the GPL v2 +# Copyright 1999-2015 Gentoo Foundation; Distributed under the GPL v2 # $Header: $ +*acl2-7.0 (25 Mar 2015) + + 25 Mar 2015; zcj +acl2-7.0.ebuild, -acl2-6.3.ebuild, + -files/set-booksdir.patch, metadata.xml: + sci-mathematics/acl2: sci-mathematics/acl2 version bump, drop old + 12 Nov 2014; Justin Lecher -acl2-4.2.ebuild, -acl2-4.3.ebuild: Drop old @@ -28,4 +34,3 @@ 12 Apr 2011; Dongxu Li +acl2-4.2.ebuild +ChangeLog +metadata.xml : Initial import. #49316 - diff --git a/sci-mathematics/acl2/acl2-6.3.ebuild b/sci-mathematics/acl2/acl2-6.3.ebuild deleted file mode 100644 index 5302b3c..0000000 --- a/sci-mathematics/acl2/acl2-6.3.ebuild +++ /dev/null @@ -1,69 +0,0 @@ -# Copyright 1999-2014 Gentoo Foundation -# Distributed under the terms of the GNU General Public License v2 -# $Header: $ - -EAPI=5 - -inherit eutils - -DESCRIPTION="ACL2 industrial strength theorem prover" -HOMEPAGE="http://www.cs.utexas.edu/users/moore/acl2/" -SRC_URI=" - http://www.cs.utexas.edu/users/moore/${PN}/v${PV/\./-}/distrib/${PN}.tar.gz -> ${P}.tar.gz - books? ( https://acl2-books.googlecode.com/files/books-${PV}.tar.gz - workshops? ( http://acl2-books.googlecode.com/files/workshops-${PV}.tar.gz ) )" - -SLOT="0" -LICENSE="BSD" -KEYWORDS="~amd64 ~x86" -IUSE="+books workshops html" - -REQUIRED_USE="workshops? ( books )" - -DEPEND=" - dev-lisp/sbcl - books? ( dev-lang/perl )" -RDEPEND="${DEPEND}" - -S="${WORKDIR}/${PN}-sources" - -src_unpack() { - default - if use books; then - mv "${WORKDIR}/books" "${S}"/ || die - if use workshops; then - mv "${WORKDIR}/workshops" "${S}/books/" || die - fi - fi -} - -src_compile() { - emake LISP="sbcl --noinform --noprint" - - if use books; then - echo - einfo "Building certificates ..." - einfo "(this may take hours to finish)" - emake regression - fi -} - -src_install() { - sed -e "s:${S}:/usr/share/acl2:g" -i saved_acl2 || die - if use books; then - sed -e "/5/a export ACL2_SYSTEM_BOOKS=/usr/share/acl2/books/" \ - -i saved_acl2 || die - fi - dobin saved_acl2 - - insinto /usr/share/acl2 - doins TAGS saved_acl2.core - if use books; then - doins -r books - fi - - if use html; then - dohtml -r doc/HTML - fi - doinfo doc/EMACS/* -} diff --git a/sci-mathematics/acl2/acl2-7.0.ebuild b/sci-mathematics/acl2/acl2-7.0.ebuild new file mode 100644 index 0000000..c1bfb90 --- /dev/null +++ b/sci-mathematics/acl2/acl2-7.0.ebuild @@ -0,0 +1,50 @@ +# Copyright 1999-2015 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 +# $Header: $ + +EAPI=5 + +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" + +SLOT="0" +LICENSE="BSD" +KEYWORDS="~amd64 ~x86" +IUSE="books" + +DEPEND=" + dev-lisp/sbcl:= + books? ( dev-lang/perl )" +RDEPEND="${DEPEND}" + +src_compile() { + emake LISP="sbcl --noinform --noprint \ + --no-sysinit --no-userinit --disable-debugger" + + if use books; then + echo + einfo "Building certificates ..." + einfo "(this may take hours to finish)" + emake regression + fi +} + +src_install() { + SAVED_NAME=saved_acl2h + 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 + if use books; then + doins -r books + fi +} diff --git a/sci-mathematics/acl2/files/set-booksdir.patch b/sci-mathematics/acl2/files/set-booksdir.patch deleted file mode 100644 index 4f4d433..0000000 --- a/sci-mathematics/acl2/files/set-booksdir.patch +++ /dev/null @@ -1,11 +0,0 @@ ---- a/books/Makefile-generic 2011-04-12 14:42:17.790165650 -0400 -+++ b/books/Makefile-generic 2011-04-12 14:55:54.436829607 -0400 -@@ -55,7 +55,7 @@ - # Determine the location of this Makefile-generic. NOTE: We have - # tried $(realpath $(dir ...)) and similarly for abspath, but they - # have returned the empty string, presumably an error. --BOOKS_DIR := $(dir $(word $(words $(MAKEFILE_LIST)),$(MAKEFILE_LIST))) -+BOOKS_DIR := /usr/share/acl2/books/ - - # and use that to determine the default location of ACL2. To override, - # set the ACL2 variable on the command line or in the environment. diff --git a/sci-mathematics/acl2/metadata.xml b/sci-mathematics/acl2/metadata.xml index d0675a2..47ab9ca 100644 --- a/sci-mathematics/acl2/metadata.xml +++ b/sci-mathematics/acl2/metadata.xml @@ -5,25 +5,17 @@ dongxuli2011@gmail.com Dongxu Li - ACL2 industrial strength theorem prover + Industrial strength theorem prover -ACL2 is both a programming language in which you can model computer systems and -a tool to help you prove properties of those models. ACL2 is part of the -Boyer-Moore family of provers, for which its authors have received the 2005 ACM +ACL2 is both a programming language in which you can model computer systems and +a tool to help you prove properties of those models. ACL2 is part of the +Boyer-Moore family of provers, for which its authors have received the 2005 ACM Software System Award. - + build community books, the canonical collection of open-source libraries - - - - Install HTML documentation - - - - build community books from ACL2 community workshops - +