7 commits

Author	SHA1	Message	Date
Keshav Kini	0094ca20cc	acl2: 6.5 -> 7.4, refactor ... The `make regression` line was failing because the expression was downloading a core-system-only, no-libraries source tarball. I switched to using fetchFromGitHub, which downloads the full source code -- the core system as well as the "community books", i.e. libraries -- but the libraries unfortunately do not build yet because they have more dependencies than the core system, and they also run into some impurity problems during the build process. This commit changes the ACL2 package so that at least the user will obtain the latest version of the core system, even though they won't get the community books. In a later commit I hope to fix this; it will require either changes to ACL2 itself, or a patch to be applied to ACL2 in nixpkgs. ACL2 7.4 has no trouble building on the current version of SBCL in nixpkgs, so I let it do so instead of using the ancient SBCL version 1.2.0 from 2014. I also added myself as a maintainer to this package, since I'm an active contributor to the ACL2 project and am interested in seeing it working on Nix.	2017-11-04 13:48:22 -07:00
Robin Gloster	2b430c9aa6	acl2: use mkDerivation	2016-01-30 20:31:02 +00:00
Michael Raskin	18ca33ee7c	Adopt fix from ewemoa to give more memory to acl2 build	2014-09-20 12:13:43 +04:00
Michael Raskin	ef22c53905	Update ACL2	2014-09-01 09:11:32 +04:00
Eelco Dolstra	c556a6ea46	* "ensureDir" -> "mkdir -p". "ensureDir" is a rather pointless ... function, so obsolete it. svn path=/nixpkgs/branches/stdenv-updates/; revision=31644	2012-01-18 20:16:00 +00:00
Michael Raskin	e70276079f	Add myself as a maintainer ... svn path=/nixpkgs/trunk/; revision=19594	2010-01-21 10:07:25 +00:00
Michael Raskin	7ffff9d558	Adding ACL2. ... ACL2 = A Computational Logic for Applicative Common Lisp. It is a Lisp sublanguage and a correctness prover for it. svn path=/nixpkgs/trunk/; revision=16708	2009-08-13 14:32:52 +00:00