[gentoo-commits] proj/sci:master commit in: sci-mathematics/acl2/, sci-mathematics/acl2/files/

[Justin Lecher]

commit:     b4f72187a5b3973e5afeb7c09a04735d46a9f932
Author:     zcj <ustcscgy <AT> 163 <DOT> com>
AuthorDate: Wed Mar 25 12:27:42 2015 +0000
Commit:     Justin Lecher <jlec <AT> gentoo <DOT> 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 <ustcscgy@×××.com> +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 <jlec@g.o> -acl2-4.2.ebuild,
   -acl2-4.3.ebuild:
   Drop old
@@ -28,4 +34,3 @@
 
   12 Apr 2011; Dongxu Li <dongxuli2011@×××××.com> +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 @@
   <maintainer>
     <email>dongxuli2011@×××××.com</email>
     <name>Dongxu Li</name>
-    <description>ACL2 industrial strength theorem prover</description>
+    <description>Industrial strength theorem prover</description>
   </maintainer>
   <longdescription>
-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.
-</longdescription>
+  </longdescription>
   <use>
     <flag name="books">
 	build community books, the canonical collection of open-source libraries
-</flag>
-  </use>
-  <use>
-    <flag name="html"> Install HTML documentation</flag>
-  </use>
-  <use>
-    <flag name="workshops"> 
-	build community books from ACL2 community workshops
-</flag>
+    </flag>
   </use>
 </pkgmetadata>