* [gentoo-commits] proj/sci:master commit in: sci-mathematics/acl2/
@ 2011-04-12 17:26 Justin Lecher
0 siblings, 0 replies; 19+ messages in thread
From: Justin Lecher @ 2011-04-12 17:26 UTC (permalink / raw
To: gentoo-commits
commit: b1a5a236fe0625f4493511061d7b67c58521cfe2
Author: Justin Lecher <jlec <AT> gentoo <DOT> org>
AuthorDate: Tue Apr 12 17:25:56 2011 +0000
Commit: Justin Lecher <jlec <AT> gentoo <DOT> org>
CommitDate: Tue Apr 12 17:25:56 2011 +0000
URL: http://git.overlays.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=b1a5a236
Slightly streamlined ebuild
(Portage version: 2.2.0_alpha29/git/Linux x86_64, signed Manifest commit with key 70EB7916)
---
sci-mathematics/acl2/ChangeLog | 5 ++-
sci-mathematics/acl2/acl2-4.2.ebuild | 52 ++++++++++++---------------------
2 files changed, 23 insertions(+), 34 deletions(-)
diff --git a/sci-mathematics/acl2/ChangeLog b/sci-mathematics/acl2/ChangeLog
index 8572e54..65b0eef 100644
--- a/sci-mathematics/acl2/ChangeLog
+++ b/sci-mathematics/acl2/ChangeLog
@@ -1,7 +1,10 @@
# ChangeLog for sci-mathematics/acl2
-# Copyright 1999-2009 Gentoo Foundation; Distributed under the GPL v2
+# Copyright 1999-2011 Gentoo Foundation; Distributed under the GPL v2
# $Header: $
+ 12 Apr 2011; Justin Lecher <jlec@gentoo.org> acl2-4.2.ebuild:
+ Slightly streamlined ebuild
+
*acl2-4.2 (13 Apr 2011)
13 Apr 2011; Dongxu Li <dongxuli2011@gmail.com> +acl2-4.2.ebuild +ChangeLog +metadata.xml :
diff --git a/sci-mathematics/acl2/acl2-4.2.ebuild b/sci-mathematics/acl2/acl2-4.2.ebuild
index 65df35b..9d4db97 100644
--- a/sci-mathematics/acl2/acl2-4.2.ebuild
+++ b/sci-mathematics/acl2/acl2-4.2.ebuild
@@ -1,63 +1,49 @@
-# Copyright 1999-2009 Gentoo Foundation
+# Copyright 1999-2011 Gentoo Foundation
# Distributed under the terms of the GNU General Public License v2
# $Header: $
-#EAPI=0
+EAPI=4
inherit eutils
-DESCRIPTION="ACL2 industrial strength theorem prover"
-
+DESCRIPTION="Industrial strength theorem prover"
HOMEPAGE="http://www.cs.utexas.edu/users/moore/acl2/"
-
-SRC_URI="http://www.cs.utexas.edu/users/moore/acl2/v${PV/\./-}/distrib/acl2.tar.gz"
+SRC_URI="http://www.cs.utexas.edu/users/moore/${PN}/v${PV/\./-}/distrib/${PN}.tar.gz -> ${P}.tar.gz"
LICENSE="GPL-2"
-
SLOT="0"
-
KEYWORDS="~amd64 ~x86"
-
IUSE=""
-#RESTRICT="strip"
-
DEPEND="dev-lisp/sbcl"
-
RDEPEND="${DEPEND}"
S="${WORKDIR}/${PN}-sources"
src_compile() {
emake LISP="sbcl --noinform --noprint" || die "emake failed"
+ cd books
+ einfo
+ einfo "Building certificates..."
+ einfo "(this may take hours to finish)"
+ emake
}
src_install() {
- sed -ie "s:${S}:/usr/share/acl2:g" saved_acl2
- insinto /usr/bin
- insopts -m0755
- doins saved_acl2
+ sed -ie "s:${S}:${EPREFIX}/usr/share/acl2:g" saved_acl2 || die
+ dobin saved_acl2
insinto /usr/share/acl2
- doins TAGS || die
- insopts -m0755
- doins saved_acl2 || die
- doins saved_acl2.core || die
+ doins TAGS
+# insopts -m0755
+ doins saved_acl2
+ doins saved_acl2.core
- dodir /usr/share/acl2/books
- cp -a books "${D}"/usr/share/acl2
- chmod --recursive a+rx "${D}"/usr/share/acl2/books
- #dodoc LICENSE
- #dodoc ${WORKDIR}/acl2-book.ps
+ insinto /usr/share/acl2/
+ doins -r books
- dohtml doc/HTML/* || die
+ dohtml -r doc/HTML/*
- doinfo doc/EMACS/* || die
- cd "${D}"/usr/share/acl2/books
- einfo
- einfo "Building certificates..."
- einfo "(this may take hours to finish)"
- sleep 5
- emake || die
+ doinfo doc/EMACS/*
}
^ permalink raw reply related [flat|nested] 19+ messages in thread
* [gentoo-commits] proj/sci:master commit in: sci-mathematics/acl2/
@ 2011-04-13 20:16 Dongxu Li
0 siblings, 0 replies; 19+ messages in thread
From: Dongxu Li @ 2011-04-13 20:16 UTC (permalink / raw
To: gentoo-commits
commit: bcb8c4dbdc455d200ddcfd86600f65c5b9bc6cea
Author: Dongxu Li <dongxuli2011 <AT> gmail <DOT> com>
AuthorDate: Wed Apr 13 20:14:47 2011 +0000
Commit: Dongxu Li <dongxuli2011 <AT> gmail <DOT> com>
CommitDate: Wed Apr 13 20:14:47 2011 +0000
URL: http://git.overlays.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=bcb8c4db
sci-mathematics/acl2: have to build books in place
---
sci-mathematics/acl2/ChangeLog | 3 +++
sci-mathematics/acl2/acl2-4.2.ebuild | 22 ++++++++++------------
2 files changed, 13 insertions(+), 12 deletions(-)
diff --git a/sci-mathematics/acl2/ChangeLog b/sci-mathematics/acl2/ChangeLog
index 7f7beaf..48176d9 100644
--- a/sci-mathematics/acl2/ChangeLog
+++ b/sci-mathematics/acl2/ChangeLog
@@ -4,6 +4,9 @@
*acl2-4.2 (13 Apr 2011)
+ 13 Apr 2011; Dongxu Li <dongxuli2011@gmail.com> -files/set-booksdir.patch:
+ Build books in pkg_postinst(), following #49316
+
12 Apr 2011; Dongxu Li <dongxuli2011@gmail.com> +files/set-booksdir.patch:
fixed books dir for certificates
diff --git a/sci-mathematics/acl2/acl2-4.2.ebuild b/sci-mathematics/acl2/acl2-4.2.ebuild
index 6514a3d..9c13965 100644
--- a/sci-mathematics/acl2/acl2-4.2.ebuild
+++ b/sci-mathematics/acl2/acl2-4.2.ebuild
@@ -2,8 +2,6 @@
# Distributed under the terms of the GNU General Public License v2
# $Header: $
-EAPI=2
-
inherit eutils
DESCRIPTION="ACL2 industrial strength theorem prover"
@@ -28,18 +26,8 @@ RDEPEND="${DEPEND}"
S="${WORKDIR}/${PN}-sources"
-src_prepare() {
- epatch "${FILESDIR}"/set-booksdir.patch
-}
-
src_compile() {
emake LISP="sbcl --noinform --noprint" || die "emake failed"
- cd books
- einfo
- einfo "Building certificates..."
- einfo "(this may take hours to finish)"
- sleep 5
- emake ACL2="${S}"/saved_acl2 || die
}
src_install() {
@@ -62,3 +50,13 @@ src_install() {
doinfo doc/EMACS/* || die
}
+
+pkg_postinst() {
+ local BOOKSDIR="/usr/share/acl2/books"
+ cd "${BOOKSDIR}"
+ einfo
+ einfo "Building certificates in ${BOOKSDIR} ..."
+ einfo "(this may take hours to finish)"
+ sleep 5
+ emake || die
+}
^ permalink raw reply related [flat|nested] 19+ messages in thread
* [gentoo-commits] proj/sci:master commit in: sci-mathematics/acl2/
@ 2011-06-25 17:21 Justin Lecher
0 siblings, 0 replies; 19+ messages in thread
From: Justin Lecher @ 2011-06-25 17:21 UTC (permalink / raw
To: gentoo-commits
commit: 65aefa15bf9985ec8c52ebd919bd31645e7398c6
Author: Justin Lecher <jlec <AT> gentoo <DOT> org>
AuthorDate: Fri Jun 24 20:18:41 2011 +0000
Commit: Justin Lecher <jlec <AT> gentoo <DOT> org>
CommitDate: Fri Jun 24 20:18:41 2011 +0000
URL: http://git.overlays.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=65aefa15
Some ebuild cleaning
(Portage version: 2.2.0_alpha41/git/Linux x86_64, signed Manifest commit with key 70EB7916)
---
sci-mathematics/acl2/ChangeLog | 5 ++++-
sci-mathematics/acl2/acl2-4.2.ebuild | 10 +---------
2 files changed, 5 insertions(+), 10 deletions(-)
diff --git a/sci-mathematics/acl2/ChangeLog b/sci-mathematics/acl2/ChangeLog
index 48176d9..5a37fb3 100644
--- a/sci-mathematics/acl2/ChangeLog
+++ b/sci-mathematics/acl2/ChangeLog
@@ -1,7 +1,10 @@
# ChangeLog for sci-mathematics/acl2
-# Copyright 1999-2009 Gentoo Foundation; Distributed under the GPL v2
+# Copyright 1999-2011 Gentoo Foundation; Distributed under the GPL v2
# $Header: $
+ 24 Jun 2011; Justin Lecher <jlec@gentoo.org> acl2-4.2.ebuild:
+ Some ebuild cleaning
+
*acl2-4.2 (13 Apr 2011)
13 Apr 2011; Dongxu Li <dongxuli2011@gmail.com> -files/set-booksdir.patch:
diff --git a/sci-mathematics/acl2/acl2-4.2.ebuild b/sci-mathematics/acl2/acl2-4.2.ebuild
index 9c13965..bf7d919 100644
--- a/sci-mathematics/acl2/acl2-4.2.ebuild
+++ b/sci-mathematics/acl2/acl2-4.2.ebuild
@@ -5,23 +5,15 @@
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/acl2/v${PV/\./-}/distrib/acl2.tar.gz"
-LICENSE="GPL-2"
-
SLOT="0"
-
+LICENSE="GPL-2"
KEYWORDS="~amd64 ~x86"
-
IUSE=""
-#RESTRICT="strip"
-
DEPEND="dev-lisp/sbcl"
-
RDEPEND="${DEPEND}"
S="${WORKDIR}/${PN}-sources"
^ permalink raw reply related [flat|nested] 19+ messages in thread
* [gentoo-commits] proj/sci:master commit in: sci-mathematics/acl2/
@ 2011-07-07 19:14 Dongxu Li
0 siblings, 0 replies; 19+ messages in thread
From: Dongxu Li @ 2011-07-07 19:14 UTC (permalink / raw
To: gentoo-commits
commit: d16eb521f102c012e08ea1b72958f179de719d64
Author: Dongxu Li <dongxuli2011 <AT> gmail <DOT> com>
AuthorDate: Thu Jul 7 19:13:53 2011 +0000
Commit: Dongxu Li <dongxuli2011 <AT> gmail <DOT> com>
CommitDate: Thu Jul 7 19:13:53 2011 +0000
URL: http://git.overlays.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=d16eb521
sci-mathematics/acl2: version bump to 4.3
---
sci-mathematics/acl2/acl2-4.3.ebuild | 54 ++++++++++++++++++++++++++++++++++
1 files changed, 54 insertions(+), 0 deletions(-)
diff --git a/sci-mathematics/acl2/acl2-4.3.ebuild b/sci-mathematics/acl2/acl2-4.3.ebuild
new file mode 100644
index 0000000..bf7d919
--- /dev/null
+++ b/sci-mathematics/acl2/acl2-4.3.ebuild
@@ -0,0 +1,54 @@
+# Copyright 1999-2011 Gentoo Foundation
+# Distributed under the terms of the GNU General Public License v2
+# $Header: $
+
+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/acl2/v${PV/\./-}/distrib/acl2.tar.gz"
+
+SLOT="0"
+LICENSE="GPL-2"
+KEYWORDS="~amd64 ~x86"
+IUSE=""
+
+DEPEND="dev-lisp/sbcl"
+RDEPEND="${DEPEND}"
+
+S="${WORKDIR}/${PN}-sources"
+
+src_compile() {
+ emake LISP="sbcl --noinform --noprint" || die "emake failed"
+}
+
+src_install() {
+ sed -ie "s:${S}:/usr/share/acl2:g" saved_acl2
+ insinto /usr/bin
+ insopts -m0755
+ doins saved_acl2
+
+ insinto /usr/share/acl2
+ doins TAGS || die
+ insopts -m0755
+ doins saved_acl2 || die
+ doins saved_acl2.core || die
+
+ dodir /usr/share/acl2/books
+ cp -a books "${D}"/usr/share/acl2
+ chmod --recursive a+rx "${D}"/usr/share/acl2/books
+
+ dohtml doc/HTML/* || die
+
+ doinfo doc/EMACS/* || die
+}
+
+pkg_postinst() {
+ local BOOKSDIR="/usr/share/acl2/books"
+ cd "${BOOKSDIR}"
+ einfo
+ einfo "Building certificates in ${BOOKSDIR} ..."
+ einfo "(this may take hours to finish)"
+ sleep 5
+ emake || die
+}
^ permalink raw reply related [flat|nested] 19+ messages in thread
* [gentoo-commits] proj/sci:master commit in: sci-mathematics/acl2/
@ 2011-07-07 19:19 Dongxu Li
0 siblings, 0 replies; 19+ messages in thread
From: Dongxu Li @ 2011-07-07 19:19 UTC (permalink / raw
To: gentoo-commits
commit: d5f29a5d74ab349ee7ca0fc4e27c516287449c56
Author: Dongxu Li <dongxuli2011 <AT> gmail <DOT> com>
AuthorDate: Thu Jul 7 19:19:14 2011 +0000
Commit: Dongxu Li <dongxuli2011 <AT> gmail <DOT> com>
CommitDate: Thu Jul 7 19:19:14 2011 +0000
URL: http://git.overlays.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=d5f29a5d
sci-mathematics/acl2: updated ChangeLog
---
sci-mathematics/acl2/ChangeLog | 3 +++
sci-mathematics/acl2/metadata.xml | 3 ++-
2 files changed, 5 insertions(+), 1 deletions(-)
diff --git a/sci-mathematics/acl2/ChangeLog b/sci-mathematics/acl2/ChangeLog
index 5a37fb3..1d33757 100644
--- a/sci-mathematics/acl2/ChangeLog
+++ b/sci-mathematics/acl2/ChangeLog
@@ -2,6 +2,9 @@
# Copyright 1999-2011 Gentoo Foundation; Distributed under the GPL v2
# $Header: $
+ 7 Jul 2011; Dongxu Li <dongxuli2011@gmail.com> +acl2-4.3.ebuild:
+ Version bump to 4.3
+
24 Jun 2011; Justin Lecher <jlec@gentoo.org> acl2-4.2.ebuild:
Some ebuild cleaning
diff --git a/sci-mathematics/acl2/metadata.xml b/sci-mathematics/acl2/metadata.xml
index efb490d..fab9a66 100644
--- a/sci-mathematics/acl2/metadata.xml
+++ b/sci-mathematics/acl2/metadata.xml
@@ -3,6 +3,7 @@
<pkgmetadata>
<herd>sci</herd>
<maintainer>
- <email>sci@gentoo.org</email>
+ <name>Dongxu Li</name>
+ <email>dongxuli2011@gmail.com</email>
</maintainer>
</pkgmetadata>
^ permalink raw reply related [flat|nested] 19+ messages in thread
* [gentoo-commits] proj/sci:master commit in: sci-mathematics/acl2/
@ 2011-08-15 17:14 Kacper Kowalik
0 siblings, 0 replies; 19+ messages in thread
From: Kacper Kowalik @ 2011-08-15 17:14 UTC (permalink / raw
To: gentoo-commits
commit: 03c6891f06d449fbce4fc04858505fd5e903503a
Author: Kacper Kowalik (Xarthisius) <xarthisius <AT> gentoo <DOT> org>
AuthorDate: Mon Aug 15 17:14:39 2011 +0000
Commit: Kacper Kowalik <xarthisius <AT> gentoo <DOT> org>
CommitDate: Mon Aug 15 17:14:39 2011 +0000
URL: http://git.overlays.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=03c6891f
fix metadata
---
sci-mathematics/acl2/metadata.xml | 10 +++++-----
1 files changed, 5 insertions(+), 5 deletions(-)
diff --git a/sci-mathematics/acl2/metadata.xml b/sci-mathematics/acl2/metadata.xml
index fab9a66..52062d1 100644
--- a/sci-mathematics/acl2/metadata.xml
+++ b/sci-mathematics/acl2/metadata.xml
@@ -1,9 +1,9 @@
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata>
-<herd>sci</herd>
-<maintainer>
- <name>Dongxu Li</name>
- <email>dongxuli2011@gmail.com</email>
-</maintainer>
+ <herd>sci</herd>
+ <maintainer>
+ <email>dongxuli2011@gmail.com</email>
+ <name>Dongxu Li</name>
+ </maintainer>
</pkgmetadata>
^ permalink raw reply related [flat|nested] 19+ messages in thread
* [gentoo-commits] proj/sci:master commit in: sci-mathematics/acl2/
@ 2011-08-15 17:52 Dongxu Li
0 siblings, 0 replies; 19+ messages in thread
From: Dongxu Li @ 2011-08-15 17:52 UTC (permalink / raw
To: gentoo-commits
commit: 41489b7edfc0f0598f8f228743491cd976893d0f
Author: Dongxu Li <dongxuli2011 <AT> gmail <DOT> com>
AuthorDate: Mon Aug 15 17:48:22 2011 +0000
Commit: Dongxu Li <dongxuli2011 <AT> gmail <DOT> com>
CommitDate: Mon Aug 15 17:48:22 2011 +0000
URL: http://git.overlays.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=41489b7e
sci-mathematics/acl2: updated metadata
---
sci-mathematics/acl2/ChangeLog | 3 +++
sci-mathematics/acl2/metadata.xml | 14 +++++++++-----
2 files changed, 12 insertions(+), 5 deletions(-)
diff --git a/sci-mathematics/acl2/ChangeLog b/sci-mathematics/acl2/ChangeLog
index 1d33757..5b182f9 100644
--- a/sci-mathematics/acl2/ChangeLog
+++ b/sci-mathematics/acl2/ChangeLog
@@ -2,6 +2,9 @@
# Copyright 1999-2011 Gentoo Foundation; Distributed under the GPL v2
# $Header: $
+ 15 Aug 2011; Dongxu Li <dongxuli2011@gmail.com> +acl2-4.3.ebuild:
+ Updated metadata
+
7 Jul 2011; Dongxu Li <dongxuli2011@gmail.com> +acl2-4.3.ebuild:
Version bump to 4.3
diff --git a/sci-mathematics/acl2/metadata.xml b/sci-mathematics/acl2/metadata.xml
index fab9a66..a6f96cd 100644
--- a/sci-mathematics/acl2/metadata.xml
+++ b/sci-mathematics/acl2/metadata.xml
@@ -1,9 +1,13 @@
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata>
-<herd>sci</herd>
-<maintainer>
- <name>Dongxu Li</name>
- <email>dongxuli2011@gmail.com</email>
-</maintainer>
+ <herd>sci</herd>
+ <maintainer>
+ <email>dongxuli2011@gmail.com</email>
+ <name>Dongxu Li</name>
+ <description>ACL2 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 Software System Award.</longdescription>
</pkgmetadata>
^ permalink raw reply related [flat|nested] 19+ messages in thread
* [gentoo-commits] proj/sci:master commit in: sci-mathematics/acl2/
@ 2011-08-15 18:02 Dongxu Li
0 siblings, 0 replies; 19+ messages in thread
From: Dongxu Li @ 2011-08-15 18:02 UTC (permalink / raw
To: gentoo-commits
commit: 7fe3d709ced9080192c3eb7d6d9abaeb3ee2e37d
Author: Dongxu Li <dongxuli2011 <AT> gmail <DOT> com>
AuthorDate: Mon Aug 15 18:02:15 2011 +0000
Commit: Dongxu Li <dongxuli2011 <AT> gmail <DOT> com>
CommitDate: Mon Aug 15 18:02:15 2011 +0000
URL: http://git.overlays.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=7fe3d709
sci-mathematics/acl2: fixed broken git merge
---
sci-mathematics/acl2/metadata.xml | 8 +-------
1 files changed, 1 insertions(+), 7 deletions(-)
diff --git a/sci-mathematics/acl2/metadata.xml b/sci-mathematics/acl2/metadata.xml
index d7e31bf..42ce6d7 100644
--- a/sci-mathematics/acl2/metadata.xml
+++ b/sci-mathematics/acl2/metadata.xml
@@ -5,13 +5,7 @@
<maintainer>
<email>dongxuli2011@gmail.com</email>
<name>Dongxu Li</name>
-<<<<<<< HEAD
<description>ACL2 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 Software System Award.</longdescription>
-=======
- </maintainer>
->>>>>>> 25472952dde6cf1e1c106c813dce6feb32d1638d
+ <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 Software System Award.</longdescription>
</pkgmetadata>
^ permalink raw reply related [flat|nested] 19+ messages in thread
* [gentoo-commits] proj/sci:master commit in: sci-mathematics/acl2/
@ 2013-12-09 15:06 Justin Lecher
0 siblings, 0 replies; 19+ messages in thread
From: Justin Lecher @ 2013-12-09 15:06 UTC (permalink / raw
To: gentoo-commits
commit: 226e93fdba1e89adb663241cf6fe32c4e280e5e9
Author: Justin Lecher <jlec <AT> gentoo <DOT> org>
AuthorDate: Mon Dec 9 15:06:10 2013 +0000
Commit: Justin Lecher <jlec <AT> gentoo <DOT> org>
CommitDate: Mon Dec 9 15:06:10 2013 +0000
URL: http://git.overlays.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=226e93fd
Squashed commit of the following:
commit fc52b002e2c028c5df04a4b9868b42989a934b03
Author: Justin Lecher <jlec <AT> gentoo.org>
Date: Mon Dec 9 16:05:48 2013 +0100
sci-mathematics/acl2: Add missing die
Package-Manager: portage-2.2.7
commit 79cdf0b10e55b0426e379dba02393c37c381753a
Author: zcj <ustcscgy <AT> 163.com>
Date: Mon Dec 9 21:16:12 2013 +0800
sci-mathematics/acl2-6.3: add new USE into metadata.xml
commit adf57931576d698bb613be4f7470e991efe6f0d0
Author: zcj <ustcscgy <AT> 163.com>
Date: Mon Dec 9 16:48:24 2013 +0800
sci-mathematics/acl2-6.3: clean up
commit 7cfe9431208ac8d2e2194e8ef07ba2c9c8a6d8cd
Author: zcj <ustcscgy <AT> 163.com>
Date: Mon Dec 9 15:51:19 2013 +0800
sci-mathematics/acl2: Version bump to 6.3
Signed-off-by: Justin Lecher <jlec <AT> gentoo.org>
---
sci-mathematics/acl2/ChangeLog | 5 ++-
sci-mathematics/acl2/acl2-6.3.ebuild | 69 ++++++++++++++++++++++++++++++++++++
sci-mathematics/acl2/metadata.xml | 32 +++++++++++++----
3 files changed, 98 insertions(+), 8 deletions(-)
diff --git a/sci-mathematics/acl2/ChangeLog b/sci-mathematics/acl2/ChangeLog
index 5b182f9..4c1c852 100644
--- a/sci-mathematics/acl2/ChangeLog
+++ b/sci-mathematics/acl2/ChangeLog
@@ -1,7 +1,10 @@
# ChangeLog for sci-mathematics/acl2
-# Copyright 1999-2011 Gentoo Foundation; Distributed under the GPL v2
+# Copyright 1999-2013 Gentoo Foundation; Distributed under the GPL v2
# $Header: $
+ 09 Dec 2013; Justin Lecher <jlec@gentoo.org> acl2-6.3.ebuild, metadata.xml:
+ Add missing die
+
15 Aug 2011; Dongxu Li <dongxuli2011@gmail.com> +acl2-4.3.ebuild:
Updated metadata
diff --git a/sci-mathematics/acl2/acl2-6.3.ebuild b/sci-mathematics/acl2/acl2-6.3.ebuild
new file mode 100644
index 0000000..794d34e
--- /dev/null
+++ b/sci-mathematics/acl2/acl2-6.3.ebuild
@@ -0,0 +1,69 @@
+# Copyright 1999-2013 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="GPL-2"
+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/metadata.xml b/sci-mathematics/acl2/metadata.xml
index f0da4f8..d0675a2 100644
--- a/sci-mathematics/acl2/metadata.xml
+++ b/sci-mathematics/acl2/metadata.xml
@@ -1,11 +1,29 @@
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata>
- <herd>sci-mathematics</herd>
- <maintainer>
- <email>dongxuli2011@gmail.com</email>
- <name>Dongxu Li</name>
- <description>ACL2 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 Software System Award.</longdescription>
+ <herd>sci-mathematics</herd>
+ <maintainer>
+ <email>dongxuli2011@gmail.com</email>
+ <name>Dongxu Li</name>
+ <description>ACL2 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
+Software System Award.
+</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>
+ </use>
</pkgmetadata>
^ permalink raw reply related [flat|nested] 19+ messages in thread
* [gentoo-commits] proj/sci:master commit in: sci-mathematics/acl2/
@ 2013-12-10 16:41 Justin Lecher
0 siblings, 0 replies; 19+ messages in thread
From: Justin Lecher @ 2013-12-10 16:41 UTC (permalink / raw
To: gentoo-commits
commit: 459520846d38ee18e0fc8019295da683b3a49886
Author: Keshav Kini <keshav.kini <AT> gmail <DOT> com>
AuthorDate: Tue Dec 10 16:28:36 2013 +0000
Commit: Justin Lecher <jlec <AT> gentoo <DOT> org>
CommitDate: Tue Dec 10 16:41:11 2013 +0000
URL: http://git.overlays.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=45952084
Fix license, set USE="books" as default
---
sci-mathematics/acl2/acl2-6.3.ebuild | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/sci-mathematics/acl2/acl2-6.3.ebuild b/sci-mathematics/acl2/acl2-6.3.ebuild
index 794d34e..c605e3d 100644
--- a/sci-mathematics/acl2/acl2-6.3.ebuild
+++ b/sci-mathematics/acl2/acl2-6.3.ebuild
@@ -14,9 +14,9 @@ SRC_URI="
workshops? ( http://acl2-books.googlecode.com/files/workshops-${PV}.tar.gz ) )"
SLOT="0"
-LICENSE="GPL-2"
+LICENSE="BSD"
KEYWORDS="~amd64 ~x86"
-IUSE="books workshops html"
+IUSE="+books workshops html"
REQUIRED_USE="workshops? ( books )"
^ permalink raw reply related [flat|nested] 19+ messages in thread
* [gentoo-commits] proj/sci:master commit in: sci-mathematics/acl2/
@ 2014-11-13 0:15 Christoph Junghans
0 siblings, 0 replies; 19+ messages in thread
From: Christoph Junghans @ 2014-11-13 0:15 UTC (permalink / raw
To: gentoo-commits
commit: 2a27e55d9b2a69d07b946d4f97442cf388492c62
Author: Justin Lecher <jlec <AT> gentoo <DOT> org>
AuthorDate: Wed Nov 12 14:16:59 2014 +0000
Commit: Christoph Junghans <ottxor <AT> gentoo <DOT> org>
CommitDate: Wed Nov 12 14:16:59 2014 +0000
URL: http://sources.gentoo.org/gitweb/?p=proj/sci.git;a=commit;h=2a27e55d
sci-mathematics/acl2: Drop old
Package-Manager: portage-2.2.14
---
sci-mathematics/acl2/ChangeLog | 6 +++-
sci-mathematics/acl2/acl2-4.2.ebuild | 54 ------------------------------------
sci-mathematics/acl2/acl2-4.3.ebuild | 54 ------------------------------------
3 files changed, 5 insertions(+), 109 deletions(-)
diff --git a/sci-mathematics/acl2/ChangeLog b/sci-mathematics/acl2/ChangeLog
index 4c1c852..995db65 100644
--- a/sci-mathematics/acl2/ChangeLog
+++ b/sci-mathematics/acl2/ChangeLog
@@ -1,7 +1,11 @@
# ChangeLog for sci-mathematics/acl2
-# Copyright 1999-2013 Gentoo Foundation; Distributed under the GPL v2
+# Copyright 1999-2014 Gentoo Foundation; Distributed under the GPL v2
# $Header: $
+ 12 Nov 2014; Justin Lecher <jlec@gentoo.org> -acl2-4.2.ebuild,
+ -acl2-4.3.ebuild:
+ Drop old
+
09 Dec 2013; Justin Lecher <jlec@gentoo.org> acl2-6.3.ebuild, metadata.xml:
Add missing die
diff --git a/sci-mathematics/acl2/acl2-4.2.ebuild b/sci-mathematics/acl2/acl2-4.2.ebuild
deleted file mode 100644
index bc9b946..0000000
--- a/sci-mathematics/acl2/acl2-4.2.ebuild
+++ /dev/null
@@ -1,54 +0,0 @@
-# Copyright 1999-2014 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Header: $
-
-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/acl2/v${PV/\./-}/distrib/acl2.tar.gz"
-
-SLOT="0"
-LICENSE="GPL-2"
-KEYWORDS="~amd64 ~x86"
-IUSE=""
-
-DEPEND="dev-lisp/sbcl"
-RDEPEND="${DEPEND}"
-
-S="${WORKDIR}/${PN}-sources"
-
-src_compile() {
- emake LISP="sbcl --noinform --noprint" || die "emake failed"
-}
-
-src_install() {
- sed -ie "s:${S}:/usr/share/acl2:g" saved_acl2
- insinto /usr/bin
- insopts -m0755
- doins saved_acl2
-
- insinto /usr/share/acl2
- doins TAGS || die
- insopts -m0755
- doins saved_acl2 || die
- doins saved_acl2.core || die
-
- dodir /usr/share/acl2/books
- cp -a books "${D}"/usr/share/acl2
- chmod --recursive a+rx "${D}"/usr/share/acl2/books
-
- dohtml doc/HTML/* || die
-
- doinfo doc/EMACS/* || die
-}
-
-pkg_postinst() {
- local BOOKSDIR="/usr/share/acl2/books"
- cd "${BOOKSDIR}"
- einfo
- einfo "Building certificates in ${BOOKSDIR} ..."
- einfo "(this may take hours to finish)"
- sleep 5
- emake || die
-}
diff --git a/sci-mathematics/acl2/acl2-4.3.ebuild b/sci-mathematics/acl2/acl2-4.3.ebuild
deleted file mode 100644
index bc9b946..0000000
--- a/sci-mathematics/acl2/acl2-4.3.ebuild
+++ /dev/null
@@ -1,54 +0,0 @@
-# Copyright 1999-2014 Gentoo Foundation
-# Distributed under the terms of the GNU General Public License v2
-# $Header: $
-
-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/acl2/v${PV/\./-}/distrib/acl2.tar.gz"
-
-SLOT="0"
-LICENSE="GPL-2"
-KEYWORDS="~amd64 ~x86"
-IUSE=""
-
-DEPEND="dev-lisp/sbcl"
-RDEPEND="${DEPEND}"
-
-S="${WORKDIR}/${PN}-sources"
-
-src_compile() {
- emake LISP="sbcl --noinform --noprint" || die "emake failed"
-}
-
-src_install() {
- sed -ie "s:${S}:/usr/share/acl2:g" saved_acl2
- insinto /usr/bin
- insopts -m0755
- doins saved_acl2
-
- insinto /usr/share/acl2
- doins TAGS || die
- insopts -m0755
- doins saved_acl2 || die
- doins saved_acl2.core || die
-
- dodir /usr/share/acl2/books
- cp -a books "${D}"/usr/share/acl2
- chmod --recursive a+rx "${D}"/usr/share/acl2/books
-
- dohtml doc/HTML/* || die
-
- doinfo doc/EMACS/* || die
-}
-
-pkg_postinst() {
- local BOOKSDIR="/usr/share/acl2/books"
- cd "${BOOKSDIR}"
- einfo
- einfo "Building certificates in ${BOOKSDIR} ..."
- einfo "(this may take hours to finish)"
- sleep 5
- emake || die
-}
^ permalink raw reply related [flat|nested] 19+ messages in thread
* [gentoo-commits] proj/sci:master commit in: sci-mathematics/acl2/
@ 2015-06-06 10:23 Justin Lecher
0 siblings, 0 replies; 19+ messages in thread
From: Justin Lecher @ 2015-06-06 10:23 UTC (permalink / raw
To: gentoo-commits
commit: 6ef79c2b660839a4859e5040734387981dd963f4
Author: Justin Lecher <jlec <AT> gentoo <DOT> org>
AuthorDate: Sat Jun 6 10:22:20 2015 +0000
Commit: Justin Lecher <jlec <AT> gentoo <DOT> org>
CommitDate: Sat Jun 6 10:22:20 2015 +0000
URL: https://gitweb.gentoo.org/proj/sci.git/commit/?id=6ef79c2b
sci-mathematics/acl2: Add github to remote-id in metadata.xml
Package-Manager: portage-2.2.20
sci-mathematics/acl2/ChangeLog | 3 +++
sci-mathematics/acl2/metadata.xml | 23 +++++++++++++----------
2 files changed, 16 insertions(+), 10 deletions(-)
diff --git a/sci-mathematics/acl2/ChangeLog b/sci-mathematics/acl2/ChangeLog
index baff65a..76c3446 100644
--- a/sci-mathematics/acl2/ChangeLog
+++ b/sci-mathematics/acl2/ChangeLog
@@ -2,6 +2,9 @@
# Copyright 1999-2015 Gentoo Foundation; Distributed under the GPL v2
# $Header: $
+ 06 Jun 2015; Justin Lecher <jlec@gentoo.org> metadata.xml:
+ sci-mathematics/acl2: Add github to remote-id in metadata.xml
+
*acl2-7.0 (25 Mar 2015)
25 Mar 2015; zcj <ustcscgy@163.com> +acl2-7.0.ebuild, -acl2-6.3.ebuild,
diff --git a/sci-mathematics/acl2/metadata.xml b/sci-mathematics/acl2/metadata.xml
index 47ab9ca..672cea8 100644
--- a/sci-mathematics/acl2/metadata.xml
+++ b/sci-mathematics/acl2/metadata.xml
@@ -1,21 +1,24 @@
<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata>
- <herd>sci-mathematics</herd>
- <maintainer>
- <email>dongxuli2011@gmail.com</email>
- <name>Dongxu Li</name>
- <description>Industrial strength theorem prover</description>
- </maintainer>
- <longdescription>
+ <herd>sci-mathematics</herd>
+ <maintainer>
+ <email>dongxuli2011@gmail.com</email>
+ <name>Dongxu Li</name>
+ <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
Software System Award.
</longdescription>
- <use>
- <flag name="books">
+ <use>
+ <flag name="books">
build community books, the canonical collection of open-source libraries
</flag>
- </use>
+ </use>
+ <upstream>
+ <remote-id type="github">acl2/acl2</remote-id>
+ </upstream>
</pkgmetadata>
^ permalink raw reply related [flat|nested] 19+ messages in thread
* [gentoo-commits] proj/sci:master commit in: sci-mathematics/acl2/
@ 2015-06-16 13:32 Justin Lecher
0 siblings, 0 replies; 19+ messages in thread
From: Justin Lecher @ 2015-06-16 13:32 UTC (permalink / raw
To: gentoo-commits
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>
^ permalink raw reply related [flat|nested] 19+ messages in thread
* [gentoo-commits] proj/sci:master commit in: sci-mathematics/acl2/
@ 2020-10-02 15:55 Aisha Tammy
0 siblings, 0 replies; 19+ messages in thread
From: Aisha Tammy @ 2020-10-02 15:55 UTC (permalink / raw
To: gentoo-commits
commit: 1da2c5c0b390c9c7b71fd5e948a2243cfbf0c1b3
Author: Aisha Tammy <gentoo <AT> aisha <DOT> cc>
AuthorDate: Fri Oct 2 15:55:22 2020 +0000
Commit: Aisha Tammy <gentoo <AT> aisha <DOT> cc>
CommitDate: Fri Oct 2 15:55:22 2020 +0000
URL: https://gitweb.gentoo.org/proj/sci.git/commit/?id=1da2c5c0
sci-mathematics/acl2: version bump
Package-Manager: Portage-3.0.8, Repoman-3.0.1
Signed-off-by: Aisha Tammy <gentoo <AT> aisha.cc>
sci-mathematics/acl2/acl2-8.3.ebuild | 51 ++++++++++++++++++++++++++++++++++++
sci-mathematics/acl2/metadata.xml | 14 +++++-----
2 files changed, 57 insertions(+), 8 deletions(-)
diff --git a/sci-mathematics/acl2/acl2-8.3.ebuild b/sci-mathematics/acl2/acl2-8.3.ebuild
new file mode 100644
index 000000000..a360cd404
--- /dev/null
+++ b/sci-mathematics/acl2/acl2-8.3.ebuild
@@ -0,0 +1,51 @@
+# Copyright 1999-2020 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=7
+
+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}/releases/download/${PV}/${P}.tar.gz"
+
+SLOT="0"
+LICENSE="BSD"
+KEYWORDS="~amd64 ~x86"
+IUSE="books"
+
+BDEPEND="dev-lisp/sbcl"
+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 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 b77817aa3..6035ff684 100644
--- a/sci-mathematics/acl2/metadata.xml
+++ b/sci-mathematics/acl2/metadata.xml
@@ -11,15 +11,13 @@
<name>Gentoo Mathematics Project</name>
</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
-Software System Award.
-</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
+ Software System Award.
+ </longdescription>
<use>
- <flag name="books">
-build community books, the canonical collection of open-source libraries
-</flag>
+ <flag name="books">build community books, the canonical collection of open-source libraries</flag>
</use>
<upstream>
<remote-id type="github">acl2-devel/acl2-devel</remote-id>
^ permalink raw reply related [flat|nested] 19+ messages in thread
* [gentoo-commits] proj/sci:master commit in: sci-mathematics/acl2/
@ 2021-01-13 21:06 Andrew Ammerlaan
0 siblings, 0 replies; 19+ messages in thread
From: Andrew Ammerlaan @ 2021-01-13 21:06 UTC (permalink / raw
To: gentoo-commits
commit: ac80edad7027140fe8aea99792e035b1cd7a3b6d
Author: Andrew Ammerlaan <andrewammerlaan <AT> riseup <DOT> net>
AuthorDate: Wed Jan 13 20:40:33 2021 +0000
Commit: Andrew Ammerlaan <andrewammerlaan <AT> riseup <DOT> net>
CommitDate: Wed Jan 13 20:40:33 2021 +0000
URL: https://gitweb.gentoo.org/proj/sci.git/commit/?id=ac80edad
sci-mathematics/acl2: use https for homepage
Package-Manager: Portage-3.0.13, Repoman-3.0.2
Signed-off-by: Andrew Ammerlaan <andrewammerlaan <AT> riseup.net>
sci-mathematics/acl2/acl2-7.1.ebuild | 4 ++--
sci-mathematics/acl2/acl2-8.3.ebuild | 4 ++--
2 files changed, 4 insertions(+), 4 deletions(-)
diff --git a/sci-mathematics/acl2/acl2-7.1.ebuild b/sci-mathematics/acl2/acl2-7.1.ebuild
index 774c5a6d3..04a8bdd7a 100644
--- a/sci-mathematics/acl2/acl2-7.1.ebuild
+++ b/sci-mathematics/acl2/acl2-7.1.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2015 Gentoo Foundation
+# Copyright 1999-2021 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=5
@@ -6,7 +6,7 @@ EAPI=5
inherit eutils
DESCRIPTION="Industrial strength theorem prover"
-HOMEPAGE="http://www.cs.utexas.edu/users/moore/acl2/"
+HOMEPAGE="https://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"
diff --git a/sci-mathematics/acl2/acl2-8.3.ebuild b/sci-mathematics/acl2/acl2-8.3.ebuild
index a360cd404..63326e257 100644
--- a/sci-mathematics/acl2/acl2-8.3.ebuild
+++ b/sci-mathematics/acl2/acl2-8.3.ebuild
@@ -1,4 +1,4 @@
-# Copyright 1999-2020 Gentoo Authors
+# Copyright 1999-2021 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=7
@@ -6,7 +6,7 @@ EAPI=7
inherit eutils
DESCRIPTION="Industrial strength theorem prover"
-HOMEPAGE="http://www.cs.utexas.edu/users/moore/acl2/"
+HOMEPAGE="https://www.cs.utexas.edu/users/moore/acl2/"
MY_PN=${PN}-devel
SRC_URI="https://github.com/${MY_PN}/${MY_PN}/releases/download/${PV}/${P}.tar.gz"
^ permalink raw reply related [flat|nested] 19+ messages in thread
* [gentoo-commits] proj/sci:master commit in: sci-mathematics/acl2/
@ 2021-03-20 10:44 Andrew Ammerlaan
0 siblings, 0 replies; 19+ messages in thread
From: Andrew Ammerlaan @ 2021-03-20 10:44 UTC (permalink / raw
To: gentoo-commits
commit: 9da87a3e3928d78da8fb8829bcfbdf92c94a3bb6
Author: Andrew Ammerlaan <andrewammerlaan <AT> riseup <DOT> net>
AuthorDate: Sat Mar 20 10:41:11 2021 +0000
Commit: Andrew Ammerlaan <andrewammerlaan <AT> riseup <DOT> net>
CommitDate: Sat Mar 20 10:41:11 2021 +0000
URL: https://gitweb.gentoo.org/proj/sci.git/commit/?id=9da87a3e
sci-mathematics/acl2: drop old
Package-Manager: Portage-3.0.17, Repoman-3.0.2
Signed-off-by: Andrew Ammerlaan <andrewammerlaan <AT> riseup.net>
sci-mathematics/acl2/acl2-7.1.ebuild | 50 ------------------------------------
1 file changed, 50 deletions(-)
diff --git a/sci-mathematics/acl2/acl2-7.1.ebuild b/sci-mathematics/acl2/acl2-7.1.ebuild
deleted file mode 100644
index 04a8bdd7a..000000000
--- a/sci-mathematics/acl2/acl2-7.1.ebuild
+++ /dev/null
@@ -1,50 +0,0 @@
-# Copyright 1999-2021 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=5
-
-inherit eutils
-
-DESCRIPTION="Industrial strength theorem prover"
-HOMEPAGE="https://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
-}
^ permalink raw reply related [flat|nested] 19+ messages in thread
* [gentoo-commits] proj/sci:master commit in: sci-mathematics/acl2/
@ 2021-09-20 8:52 Andrew Ammerlaan
0 siblings, 0 replies; 19+ messages in thread
From: Andrew Ammerlaan @ 2021-09-20 8:52 UTC (permalink / raw
To: gentoo-commits
commit: 8764b94161a13ddae10d7e2a24bb255cb3888aa1
Author: Lucas Mitrak <lucas <AT> lucasmitrak <DOT> com>
AuthorDate: Sun Sep 19 05:37:31 2021 +0000
Commit: Andrew Ammerlaan <andrewammerlaan <AT> gentoo <DOT> org>
CommitDate: Mon Sep 20 08:50:51 2021 +0000
URL: https://gitweb.gentoo.org/proj/sci.git/commit/?id=8764b941
sci-mathematics/acl2: Require >=dev-lisp/sbcl-1.5.2 in BDEPEND
* Require >=dev-lisp/sbcl-1.5.2 due to addition of "--tls-limit 16384"
Currently, sci-mathematics/acl2-8.4 will not compile with the current
stable dev-lisp/sbcl-1.4.9 due to the addition of "--tls-limit 16384"
to sbcl within the created file saved_acl2. This addition is documented
in the acl-8.4 release notes [1] as "Increased the number of special
variables that can be created". Within sbcl, this new feature was added
in version 1.5.2. The news for that version [2] reads "enhancement:
command-line option '--tls-limit' can be used". Therefore attempting
to use the argument "--tls-limit 16384" with sbcl versions prior to
1.5.2 causes it to fail. Thus a minimum version requirement is needed
for acl2-8.4.
[1] https://www.cs.utexas.edu/users/moore/acl2/v8-4/combined-manual/
index.html?topic=ACL2____NOTE-8-4
[2] http://www.sbcl.org/all-news.html
Closes: https://github.com/gentoo/sci/issues/1113
Package-Manager: Portage-3.0.20, Repoman-3.0.3
Signed-off-by: Lucas Mitrak <lucas <AT> lucasmitrak.com>
Signed-off-by: Andrew Ammerlaan <andrewammerlaan <AT> gentoo.org>
sci-mathematics/acl2/acl2-8.4.ebuild | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/sci-mathematics/acl2/acl2-8.4.ebuild b/sci-mathematics/acl2/acl2-8.4.ebuild
index d0bb4eade..dfc3967ed 100644
--- a/sci-mathematics/acl2/acl2-8.4.ebuild
+++ b/sci-mathematics/acl2/acl2-8.4.ebuild
@@ -15,7 +15,7 @@ KEYWORDS="~amd64 ~x86"
IUSE="books doc emacs"
BDEPEND="
- dev-lisp/sbcl
+ >=dev-lisp/sbcl-1.5.2
emacs? ( >=app-editors/emacs-23.1:* )
"
DEPEND="
^ permalink raw reply related [flat|nested] 19+ messages in thread
* [gentoo-commits] proj/sci:master commit in: sci-mathematics/acl2/
@ 2021-09-20 8:52 Andrew Ammerlaan
0 siblings, 0 replies; 19+ messages in thread
From: Andrew Ammerlaan @ 2021-09-20 8:52 UTC (permalink / raw
To: gentoo-commits
commit: 748646f321601c12ab799437b9774e158fd902b8
Author: Lucas Mitrak <lucas <AT> lucasmitrak <DOT> com>
AuthorDate: Sun Sep 19 06:10:09 2021 +0000
Commit: Andrew Ammerlaan <andrewammerlaan <AT> gentoo <DOT> org>
CommitDate: Mon Sep 20 08:52:33 2021 +0000
URL: https://gitweb.gentoo.org/proj/sci.git/commit/?id=748646f3
sci-mathematics/acl2: Update 8.3 to the original intended ebuild
* Update 8.3's ebuild to the one originally intended for 8.3
Currently, sci-mathematics/acl2-8.3 will not compile to the fixed bug
755368 [1]. This bug was fixed in PR 1109 on github [2]. However, due
to a version bump, acl2-8.3 remains unchanged. Therefore the ebuild for
8.3 should be updated to the original PR. acl2-8.3 was tested to
work with the latest unstable version of sbcl-2.1.8. With this commit,
acl2-8.3 will install successfully. Without this commit, it will not.
[1] https://bugs.gentoo.org/755368
[2] https://github.com/gentoo/sci/pull/1109
Package-Manager: Portage-3.0.20, Repoman-3.0.3
Signed-off-by: Lucas Mitrak <lucas <AT> lucasmitrak.com>
Closes: https://github.com/gentoo/sci/pull/1114
Signed-off-by: Andrew Ammerlaan <andrewammerlaan <AT> gentoo.org>
sci-mathematics/acl2/acl2-8.3-r1.ebuild | 86 +++++++++++++++++++++++++++++++++
sci-mathematics/acl2/acl2-8.3.ebuild | 51 -------------------
2 files changed, 86 insertions(+), 51 deletions(-)
diff --git a/sci-mathematics/acl2/acl2-8.3-r1.ebuild b/sci-mathematics/acl2/acl2-8.3-r1.ebuild
new file mode 100644
index 000000000..d0bb4eade
--- /dev/null
+++ b/sci-mathematics/acl2/acl2-8.3-r1.ebuild
@@ -0,0 +1,86 @@
+# Copyright 1999-2021 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit elisp-common
+
+DESCRIPTION="Industrial strength theorem prover"
+HOMEPAGE="https://www.cs.utexas.edu/users/moore/acl2/"
+SRC_URI="https://github.com/acl2/acl2/archive/${PV}/${P}.tar.gz"
+
+SLOT="0"
+LICENSE="BSD"
+KEYWORDS="~amd64 ~x86"
+IUSE="books doc emacs"
+
+BDEPEND="
+ dev-lisp/sbcl
+ emacs? ( >=app-editors/emacs-23.1:* )
+"
+DEPEND="
+ dev-lisp/sbcl:=
+ books? ( dev-lang/perl )
+ doc? ( dev-lang/perl )
+"
+RDEPEND="${DEPEND}"
+
+PATCHES=( "${FILESDIR}"/${PN}-use_make_variable.patch )
+
+src_prepare() {
+ find . -type f -name "*.bak" -delete
+ find . -type f -name "*.orig" -delete
+ # Remove sparc binary inadvertently included in upstream
+ rm books/workshops/2003/schmaltz-al-sammane-et-al/support/acl2link || die
+ default
+}
+
+src_compile() {
+ emake LISP="sbcl --noinform --noprint \
+ --no-sysinit --no-userinit --disable-debugger"
+
+ if use books; then
+ emake "ACL2=${S}/saved_acl2" basic
+ fi
+
+ if use doc; then
+ emake "ACL2=${S}/saved_acl2" DOC
+ fi
+
+ if use emacs; then
+ elisp-compile emacs/*.el
+ fi
+}
+
+src_install() {
+ local SAVED_NAME=saved_acl2
+ sed -e "s:${S}:/usr/share/acl2:g" -i ${SAVED_NAME} || die
+ dobin ${SAVED_NAME}
+
+ insinto /usr/share/acl2
+ doins ${SAVED_NAME}.core
+ if use books; then
+ sed -e "/5/a export ACL2_SYSTEM_BOOKS=/usr/share/acl2/books/" \
+ -i ${SAVED_NAME} || die
+ doins -r books
+ fi
+
+ DOCS=( books/README.md )
+ if use doc; then
+ HTML_DOCS=( doc/HTML/. )
+ fi
+ einstalldocs
+
+ if use emacs; then
+ elisp-install ${PN} emacs/*{.el,elc}
+ doins TAGS
+ fi
+}
+
+pkg_postinst() {
+ use emacs && elisp-site-regen
+}
+
+pkg_postrm() {
+ use emacs && elisp-site-regen
+}
diff --git a/sci-mathematics/acl2/acl2-8.3.ebuild b/sci-mathematics/acl2/acl2-8.3.ebuild
deleted file mode 100644
index 63326e257..000000000
--- a/sci-mathematics/acl2/acl2-8.3.ebuild
+++ /dev/null
@@ -1,51 +0,0 @@
-# Copyright 1999-2021 Gentoo Authors
-# Distributed under the terms of the GNU General Public License v2
-
-EAPI=7
-
-inherit eutils
-
-DESCRIPTION="Industrial strength theorem prover"
-HOMEPAGE="https://www.cs.utexas.edu/users/moore/acl2/"
-MY_PN=${PN}-devel
-SRC_URI="https://github.com/${MY_PN}/${MY_PN}/releases/download/${PV}/${P}.tar.gz"
-
-SLOT="0"
-LICENSE="BSD"
-KEYWORDS="~amd64 ~x86"
-IUSE="books"
-
-BDEPEND="dev-lisp/sbcl"
-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 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
-}
^ permalink raw reply related [flat|nested] 19+ messages in thread
* [gentoo-commits] proj/sci:master commit in: sci-mathematics/acl2/
@ 2021-10-07 11:20 Andrew Ammerlaan
0 siblings, 0 replies; 19+ messages in thread
From: Andrew Ammerlaan @ 2021-10-07 11:20 UTC (permalink / raw
To: gentoo-commits
commit: a068c3fa5bf8f506a6a93e6c5fba3da56522942f
Author: Lucas Mitrak <lucas <AT> lucasmitrak <DOT> com>
AuthorDate: Fri Oct 1 07:33:58 2021 +0000
Commit: Andrew Ammerlaan <andrewammerlaan <AT> gentoo <DOT> org>
CommitDate: Thu Oct 7 11:20:46 2021 +0000
URL: https://gitweb.gentoo.org/proj/sci.git/commit/?id=a068c3fa
sci-mathematics/acl2: Fix sed expression, clearer books install
* Fix sed expression which does not execute at all
* Move books down to original install location
Currently, the sed expression
`/5/a export ACL2_SYSTEM_BOOKS=/usr/share/acl2/books/` does not modify
the acl2 executable script. The sed expression's intended behavior
seems to be adding the enviroment variable `ACL2_SYSTEM_BOOKS` to the
fifth line on the final script; however, no modification is made.
A new sed expression must replace it, namely
`5iexport ACL2_SYSTEM_BOOKS=/usr/share/acl2/books/` which accomplishes
inserting the enviroment variable into the script. This enviroment
variable is recommended when the books directory resides outside
where the executable was built [1].
In addition, the command `doins -r books` should be moved further down
for the sake of clarity. This way the src_install() function modifies
the files at the top and installs them at the bottom. Also, now
the command `doins -r books` is beside the other similar commands.
[1] https://raw.githubusercontent.com/acl2/acl2/master/doc.lisp
Package-Manager: Portage-3.0.20, Repoman-3.0.3
Signed-off-by: Lucas Mitrak <lucas <AT> lucasmitrak.com>
Closes: https://github.com/gentoo/sci/pull/1115
Signed-off-by: Andrew Ammerlaan <andrewammerlaan <AT> gentoo.org>
sci-mathematics/acl2/acl2-8.3-r2.ebuild | 89 +++++++++++++++++++++++++++++++++
sci-mathematics/acl2/acl2-8.4-r1.ebuild | 89 +++++++++++++++++++++++++++++++++
2 files changed, 178 insertions(+)
diff --git a/sci-mathematics/acl2/acl2-8.3-r2.ebuild b/sci-mathematics/acl2/acl2-8.3-r2.ebuild
new file mode 100644
index 000000000..03cd890b4
--- /dev/null
+++ b/sci-mathematics/acl2/acl2-8.3-r2.ebuild
@@ -0,0 +1,89 @@
+# Copyright 1999-2021 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit elisp-common
+
+DESCRIPTION="Industrial strength theorem prover"
+HOMEPAGE="https://www.cs.utexas.edu/users/moore/acl2/"
+SRC_URI="https://github.com/acl2/acl2/archive/${PV}/${P}.tar.gz"
+
+SLOT="0"
+LICENSE="BSD"
+KEYWORDS="~amd64 ~x86"
+IUSE="books doc emacs"
+
+BDEPEND="
+ dev-lisp/sbcl
+ emacs? ( >=app-editors/emacs-23.1:* )
+"
+DEPEND="
+ dev-lisp/sbcl:=
+ books? ( dev-lang/perl )
+ doc? ( dev-lang/perl )
+"
+RDEPEND="${DEPEND}"
+
+PATCHES=( "${FILESDIR}"/${PN}-use_make_variable.patch )
+
+src_prepare() {
+ find . -type f -name "*.bak" -delete
+ find . -type f -name "*.orig" -delete
+ # Remove sparc binary inadvertently included in upstream
+ rm books/workshops/2003/schmaltz-al-sammane-et-al/support/acl2link || die
+ default
+}
+
+src_compile() {
+ emake LISP="sbcl --noinform --noprint \
+ --no-sysinit --no-userinit --disable-debugger"
+
+ if use books; then
+ emake "ACL2=${S}/saved_acl2" basic
+ fi
+
+ if use doc; then
+ emake "ACL2=${S}/saved_acl2" DOC
+ fi
+
+ if use emacs; then
+ elisp-compile emacs/*.el
+ fi
+}
+
+src_install() {
+ local SAVED_NAME=saved_acl2
+ sed -e "s:${S}:/usr/share/acl2:g" -i ${SAVED_NAME} || die
+ if use books; then
+ sed -e "5iexport ACL2_SYSTEM_BOOKS=/usr/share/acl2/books/" \
+ -i ${SAVED_NAME} || die
+ fi
+ dobin ${SAVED_NAME}
+
+ insinto /usr/share/acl2
+ doins ${SAVED_NAME}.core
+
+ if use books; then
+ doins -r books
+ fi
+
+ DOCS=( books/README.md )
+ if use doc; then
+ HTML_DOCS=( doc/HTML/. )
+ fi
+ einstalldocs
+
+ if use emacs; then
+ elisp-install ${PN} emacs/*{.el,elc}
+ doins TAGS
+ fi
+}
+
+pkg_postinst() {
+ use emacs && elisp-site-regen
+}
+
+pkg_postrm() {
+ use emacs && elisp-site-regen
+}
diff --git a/sci-mathematics/acl2/acl2-8.4-r1.ebuild b/sci-mathematics/acl2/acl2-8.4-r1.ebuild
new file mode 100644
index 000000000..cb1098877
--- /dev/null
+++ b/sci-mathematics/acl2/acl2-8.4-r1.ebuild
@@ -0,0 +1,89 @@
+# Copyright 1999-2021 Gentoo Authors
+# Distributed under the terms of the GNU General Public License v2
+
+EAPI=8
+
+inherit elisp-common
+
+DESCRIPTION="Industrial strength theorem prover"
+HOMEPAGE="https://www.cs.utexas.edu/users/moore/acl2/"
+SRC_URI="https://github.com/acl2/acl2/archive/${PV}/${P}.tar.gz"
+
+SLOT="0"
+LICENSE="BSD"
+KEYWORDS="~amd64 ~x86"
+IUSE="books doc emacs"
+
+BDEPEND="
+ >=dev-lisp/sbcl-1.5.2
+ emacs? ( >=app-editors/emacs-23.1:* )
+"
+DEPEND="
+ dev-lisp/sbcl:=
+ books? ( dev-lang/perl )
+ doc? ( dev-lang/perl )
+"
+RDEPEND="${DEPEND}"
+
+PATCHES=( "${FILESDIR}"/${PN}-use_make_variable.patch )
+
+src_prepare() {
+ find . -type f -name "*.bak" -delete
+ find . -type f -name "*.orig" -delete
+ # Remove sparc binary inadvertently included in upstream
+ rm books/workshops/2003/schmaltz-al-sammane-et-al/support/acl2link || die
+ default
+}
+
+src_compile() {
+ emake LISP="sbcl --noinform --noprint \
+ --no-sysinit --no-userinit --disable-debugger"
+
+ if use books; then
+ emake "ACL2=${S}/saved_acl2" basic
+ fi
+
+ if use doc; then
+ emake "ACL2=${S}/saved_acl2" DOC
+ fi
+
+ if use emacs; then
+ elisp-compile emacs/*.el
+ fi
+}
+
+src_install() {
+ local SAVED_NAME=saved_acl2
+ sed -e "s:${S}:/usr/share/acl2:g" -i ${SAVED_NAME} || die
+ if use books; then
+ sed -e "5iexport ACL2_SYSTEM_BOOKS=/usr/share/acl2/books/" \
+ -i ${SAVED_NAME} || die
+ fi
+ dobin ${SAVED_NAME}
+
+ insinto /usr/share/acl2
+ doins ${SAVED_NAME}.core
+
+ if use books; then
+ doins -r books
+ fi
+
+ DOCS=( books/README.md )
+ if use doc; then
+ HTML_DOCS=( doc/HTML/. )
+ fi
+ einstalldocs
+
+ if use emacs; then
+ elisp-install ${PN} emacs/*{.el,elc}
+ doins TAGS
+ fi
+}
+
+pkg_postinst() {
+ use emacs && elisp-site-regen
+}
+
+pkg_postrm() {
+ use emacs && elisp-site-regen
+}
^ permalink raw reply related [flat|nested] 19+ messages in thread
end of thread, other threads:[~2021-10-07 11:20 UTC | newest]
Thread overview: 19+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2011-08-15 17:52 [gentoo-commits] proj/sci:master commit in: sci-mathematics/acl2/ Dongxu Li
-- strict thread matches above, loose matches on Subject: below --
2021-10-07 11:20 Andrew Ammerlaan
2021-09-20 8:52 Andrew Ammerlaan
2021-09-20 8:52 Andrew Ammerlaan
2021-03-20 10:44 Andrew Ammerlaan
2021-01-13 21:06 Andrew Ammerlaan
2020-10-02 15:55 Aisha Tammy
2015-06-16 13:32 Justin Lecher
2015-06-06 10:23 Justin Lecher
2014-11-13 0:15 Christoph Junghans
2013-12-10 16:41 Justin Lecher
2013-12-09 15:06 Justin Lecher
2011-08-15 18:02 Dongxu Li
2011-08-15 17:14 Kacper Kowalik
2011-07-07 19:19 Dongxu Li
2011-07-07 19:14 Dongxu Li
2011-06-25 17:21 Justin Lecher
2011-04-13 20:16 Dongxu Li
2011-04-12 17:26 Justin Lecher
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox