From 9ab5f7f134017657603f21bdacc5341dbbdc64b1 Mon Sep 17 00:00:00 2001
From: zcj <ustcscgy@163.com>
Date: Tue, 16 Jun 2015 15:23:00 +0800
Subject: sci-mathematics/acl2: Version bump; Upstream url changes.

---
 sci-mathematics/acl2/ChangeLog       |  7 +++++
 sci-mathematics/acl2/Manifest        |  2 +-
 sci-mathematics/acl2/acl2-7.0.ebuild | 50 -----------------------------------
 sci-mathematics/acl2/acl2-7.1.ebuild | 51 ++++++++++++++++++++++++++++++++++++
 sci-mathematics/acl2/metadata.xml    |  2 +-
 5 files changed, 60 insertions(+), 52 deletions(-)
 delete mode 100644 sci-mathematics/acl2/acl2-7.0.ebuild
 create mode 100644 sci-mathematics/acl2/acl2-7.1.ebuild

diff --git a/sci-mathematics/acl2/ChangeLog b/sci-mathematics/acl2/ChangeLog
index 76c3446f5..108ca3f59 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 <ustcscgy@163.com> +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 <jlec@gentoo.org> metadata.xml:
   sci-mathematics/acl2: Add github to remote-id in metadata.xml
 
diff --git a/sci-mathematics/acl2/Manifest b/sci-mathematics/acl2/Manifest
index abf3d42ae..1444f00a9 100644
--- a/sci-mathematics/acl2/Manifest
+++ b/sci-mathematics/acl2/Manifest
@@ -1 +1 @@
-DIST acl2-7.0.tar.gz 58301172 SHA256 dbbe63ddbe342072fa0504e05f9e02fb01bb654b6befcc1e34ba7ceab2b1e0eb SHA512 25746df91de3b418d0be8f5b6aa906b5456eb95e46745362f4c8697cd5dc57ad44fa25151ebffa6ad3efc28efd9ecdb830dedc136c79082d3fbc71e9393fa2cc WHIRLPOOL 1b7232d0c7c9c68bd3ee8bfc9d2a6547e533dfac5681313e513f7f72bc4aff6a727f36b1704020c21f2d44a8bf36baac91ac411633ff67cf7a3f46071e671fa8
+DIST acl2-7.1.tar.gz 63345284 SHA256 1a8503095a4e1deb6a6b0f3bc51823ba65cad38466def8d6845f193d73338f9d SHA512 5875b88615930fc841cd1d7ed30ada7c04b241a391eeee22184b4e3630e57cc6304a51e445e33ca1284576c2b4110c269f9eb59c47bd2eb47659134450151e27 WHIRLPOOL 632012e3d8998c67f70cd19b8fa7c7ff8000dbdba2d87dfdd56d5b4b39ebb390503d243e051c308c8a5aea0097bb48fa4e5c510b24478886a4a8bfca2c8d0645
diff --git a/sci-mathematics/acl2/acl2-7.0.ebuild b/sci-mathematics/acl2/acl2-7.0.ebuild
deleted file mode 100644
index c1bfb9036..000000000
--- a/sci-mathematics/acl2/acl2-7.0.ebuild
+++ /dev/null
@@ -1,50 +0,0 @@
-# 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/acl2-7.1.ebuild b/sci-mathematics/acl2/acl2-7.1.ebuild
new file mode 100644
index 000000000..8378eafb5
--- /dev/null
+++ b/sci-mathematics/acl2/acl2-7.1.ebuild
@@ -0,0 +1,51 @@
+# 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/"
+MY_PN=${PN}-devel
+SRC_URI="https://github.com/${MY_PN}/${MY_PN}/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}"
+S="${WORKDIR}/${MY_PN}-${PV}"
+
+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 certify-books
+	fi
+}
+
+src_install() {
+	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}
+
+	insinto /usr/share/acl2
+	doins TAGS ${SAVED_NAME}.core
+	if use books; then
+		doins -r books
+	fi
+}
diff --git a/sci-mathematics/acl2/metadata.xml b/sci-mathematics/acl2/metadata.xml
index 672cea888..0782df404 100644
--- a/sci-mathematics/acl2/metadata.xml
+++ b/sci-mathematics/acl2/metadata.xml
@@ -19,6 +19,6 @@ Software System Award.
     </flag>
 	</use>
 	<upstream>
-		<remote-id type="github">acl2/acl2</remote-id>
+		<remote-id type="github">acl2-devel/acl2-devel</remote-id>
 	</upstream>
 </pkgmetadata>
-- 
cgit v1.2.3