blob: f1e2315d794175b2de2bf7a766c1a88d0d75c798 (
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
|
{ stdenv, fetchurl, sbcl }:
stdenv.mkDerivation rec {
name = "acl2-${version}";
version = "v6-5";
src = fetchurl {
url = "http://www.cs.utexas.edu/users/moore/acl2/${version}/distrib/acl2.tar.gz";
sha256 = "19kfclgpdyms016s06pjf3icj3mx9jlcj8vfgpbx2ac4ls0ir36g";
name = "acl2-${version}.tar.gz";
};
buildInputs = [ sbcl ];
phases = "unpackPhase installPhase";
installSuffix = "acl2";
installPhase = ''
mkdir -p $out/share/${installSuffix}
cp -R . $out/share/${installSuffix}
cd $out/share/${installSuffix}
make 'LISP=${sbcl}/bin/sbcl --dynamic-space-size 2000'
make 'LISP=${sbcl}/bin/sbcl --dynamic-space-size 2000' regression
make LISP=${sbcl}/bin/sbcl TAGS
mkdir -p $out/bin
cp saved_acl2 $out/bin/acl2
'';
meta = {
description = "An interpreter and a prover for a Lisp dialect";
maintainers = with stdenv.lib.maintainers; [ raskin ];
platforms = stdenv.lib.platforms.linux;
};
}
|