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

["Justin Lecher" <jlec@gentoo.org>]

commit:     9ab5f7f134017657603f21bdacc5341dbbdc64b1
Author:     zcj <ustcscgy <AT> 163 <DOT> com>
AuthorDate: Tue Jun 16 07:23:00 2015 +0000
Commit:     Justin Lecher <jlec <AT> gentoo <DOT> 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 <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/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.
     </flag>
 	</use>
 	<upstream>
-		<remote-id type="github">acl2/acl2</remote-id>
+		<remote-id type="github">acl2-devel/acl2-devel</remote-id>
 	</upstream>
 </pkgmetadata>