diff options
Diffstat (limited to 'pkgs/development/interpreters/acl2/default.nix')
-rw-r--r-- | pkgs/development/interpreters/acl2/default.nix | 50 |
1 files changed, 20 insertions, 30 deletions
diff --git a/pkgs/development/interpreters/acl2/default.nix b/pkgs/development/interpreters/acl2/default.nix index e723133e256d..f1e2315d7941 100644 --- a/pkgs/development/interpreters/acl2/default.nix +++ b/pkgs/development/interpreters/acl2/default.nix @@ -1,45 +1,35 @@ -a : -let - fetchurl = a.fetchurl; +{ stdenv, fetchurl, sbcl }: + +stdenv.mkDerivation rec { + name = "acl2-${version}"; + version = "v6-5"; - 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 = []; + buildInputs = [ sbcl ]; - /* doConfigure should be removed if not needed */ - phaseNames = ["doDeploy" "doBuild"]; - - makeFlags = ["LISP='${a.sbcl}/bin/sbcl'"]; + phases = "unpackPhase installPhase"; installSuffix = "acl2"; - doDeploy = (a.simplyShare installSuffix); - doBuild = a.fullDepEntry ('' + + installPhase = '' + mkdir -p $out/share/${installSuffix} + cp -R . $out/share/${installSuffix} 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; + 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 a.lib.maintainers; - [ - raskin - ]; - platforms = with a.lib.platforms; - linux; + maintainers = with stdenv.lib.maintainers; [ raskin ]; + platforms = stdenv.lib.platforms.linux; }; } |