Summary: | app-sci/acl2-2.8.ebuild - industrial strength theorem prover (New Package) | ||
---|---|---|---|
Product: | Gentoo Linux | Reporter: | Thomas Veith (RETIRED) <xtv> |
Component: | New packages | Assignee: | Default Assignee for New Packages <maintainer-wanted> |
Status: | CONFIRMED --- | ||
Severity: | normal | CC: | common-lisp, ormaaj, robbat2, sci |
Priority: | Normal | Keywords: | EBUILD |
Version: | unspecified | ||
Hardware: | All | ||
OS: | Linux | ||
URL: | http://www.cs.utexas.edu/users/moore/acl2/ | ||
Whiteboard: | |||
Package list: | Runtime testing required: | --- | |
Attachments: | acl2-2.8.ebuild |
Description
Thomas Veith (RETIRED)
2004-04-28 13:50:34 UTC
Created attachment 30271 [details]
acl2-2.8.ebuild
This builds the ACL2 system
I don't know how base-system got this... (In reply to comment #2) > I don't know how base-system got this... > Yes this should probably fall under the category of lisp. Maybe even mathematics, science, or emulation. Either way, acl2 is very mainstream and widely used. It should definitely be in the tree. latest release is 3.6 acl2-4.2.ebuild in science overlay I don't like the idea of building books in /usr/share in pkg_postinst(). Hope upstream will allow building in another folder and copying over. |