Go to:
Gentoo Home
Documentation
Forums
Lists
Bugs
Planet
Store
Wiki
Get Gentoo!
Gentoo's Bugzilla – Attachment 30271 Details for
Bug 49316
app-sci/acl2-2.8.ebuild - industrial strength theorem prover (New Package)
Home
|
New
–
[Ex]
|
Browse
|
Search
|
Privacy Policy
|
[?]
|
Reports
|
Requests
|
Help
|
New Account
|
Log In
[x]
|
Forgot Password
Login:
[x]
acl2-2.8.ebuild
acl2-2.8.ebuild (text/plain), 1.10 KB, created by
Thomas Veith (RETIRED)
on 2004-04-28 13:51:12 UTC
(
hide
)
Description:
acl2-2.8.ebuild
Filename:
MIME Type:
Creator:
Thomas Veith (RETIRED)
Created:
2004-04-28 13:51:12 UTC
Size:
1.10 KB
patch
obsolete
># Copyright 1999-2004 Gentoo Technologies, Inc. ># Distributed under the terms of the GNU General Public License v2 ># $Header: $ > >DESCRIPTION="A Computational Logic Applicative Common Lisp" > >HOMEPAGE="http://www.cs.utexas.edu/users/moore/acl2/" > >SRC_URI="ftp://ftp.cs.utexas.edu/pub/moore/acl2/v2-8/acl2.tar.gz > http://www.cs.utexas.edu/users/moore/publications/acl2-book.ps.gz" > >LICENSE="GPL-2" >KEYWORDS="~x86" > >SLOT="0" > >IUSE="" >DEPEND="dev-lisp/gcl" > >S="${WORKDIR}/acl2-sources" > >src_compile() { > make large LISP="gcl" || die >} > >src_install() { > sed "s:/var/tmp/portage/acl2-2.8/work/acl2-sources:/usr/share/acl2:g" < saved_acl2 > acl2 > > dobin acl2 > > insinto /usr/share/acl2 > doins TAGS || die > insopts -m0755 > doins saved_acl2 || die > doins saved_acl2.gcl || die > > 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 > > dohtml doc/HTML/* || die > > doinfo doc/EMACS/* || die >} > >pkg_postinst() { > einfo > einfo "Building certificates..." > einfo "(this can take a long time)" > einfo > > cd /usr/share/acl2/books > make || die >} >
You cannot view the attachment while viewing its details because your browser does not support IFRAMEs.
View the attachment on a separate page
.
View Attachment As Raw
Actions:
View
Attachments on
bug 49316
: 30271