pyrox.dev
1a :
2let
3 fetchurl = a.fetchurl;
4
5 version = a.lib.attrByPath ["version"] "v6-5" a;
6 buildInputs = with a; [
7 sbcl
8 ];
9in
10rec {
11 src = fetchurl {
12 url = "http://www.cs.utexas.edu/users/moore/acl2/${version}/distrib/acl2.tar.gz";
13 sha256 = "19kfclgpdyms016s06pjf3icj3mx9jlcj8vfgpbx2ac4ls0ir36g";
14 name = "acl2-${version}.tar.gz";
15 };
16
17 inherit buildInputs;
18 configureFlags = [];
19
20 /* doConfigure should be removed if not needed */
21 phaseNames = ["doDeploy" "doBuild"];
22
23 makeFlags = ["LISP='${a.sbcl}/bin/sbcl'"];
24
25 installSuffix = "acl2";
26 doDeploy = (a.simplyShare installSuffix);
27 doBuild = a.fullDepEntry (''
28 cd $out/share/${installSuffix}
29 make LISP='${a.sbcl}/bin/sbcl --dynamic-space-size 2000'
30 make LISP='${a.sbcl}/bin/sbcl --dynamic-space-size 2000' regression
31 mkdir -p "$out/bin"
32 cp saved_acl2 "$out/bin/acl2"
33 '') ["doDeploy" "addInputs" "defEnsureDir"];
34
35 name = "acl2-" + version;
36 meta = {
37 description = "An interpreter and a prover for a Lisp dialect";
38 maintainers = with a.lib.maintainers;
39 [
40 raskin
41 ];
42 platforms = with a.lib.platforms;
43 linux;
44 };
45}