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