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 <[email protected]> +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 <[email protected]> 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>
