diff options
author | Michael Raskin <7c6f434c@mail.ru> | 2011-04-08 08:00:55 +0000 |
---|---|---|
committer | Michael Raskin <7c6f434c@mail.ru> | 2011-04-08 08:00:55 +0000 |
commit | 0aff57f299bebd2233f9560373a1158ef5686962 (patch) | |
tree | 2055e745a30eef0ab386d619a748376e498e59c2 /pkgs/development/interpreters/pure | |
parent | 2b61f3f4e51514241dcd35db0a885c558ee8040c (diff) |
Adding Pure programming language
svn path=/nixpkgs/trunk/; revision=26749
Diffstat (limited to 'pkgs/development/interpreters/pure')
-rw-r--r-- | pkgs/development/interpreters/pure/default.nix | 50 |
1 files changed, 50 insertions, 0 deletions
diff --git a/pkgs/development/interpreters/pure/default.nix b/pkgs/development/interpreters/pure/default.nix new file mode 100644 index 0000000000000..709ca213db6ee --- /dev/null +++ b/pkgs/development/interpreters/pure/default.nix @@ -0,0 +1,50 @@ +x@{builderDefsPackage + , llvm, gmp, mpfr + , ...}: +builderDefsPackage +(a : +let + helperArgNames = ["stdenv" "fetchurl" "builderDefsPackage"] ++ + []; + + buildInputs = map (n: builtins.getAttr n x) + (builtins.attrNames (builtins.removeAttrs x helperArgNames)); + sourceInfo = rec { + baseName="pure"; + project="pure-lang"; + version="0.47"; + name="${baseName}-${version}"; + extension="tar.gz"; + url="http://${project}.googlecode.com/files/${name}.${extension}"; + hash="16j0k639kw2am4fc2h7q5sk7kx5z7nca896dakhphlb9zn9h0gbv"; + }; +in +rec { + src = a.fetchurl { + url = sourceInfo.url; + sha256 = sourceInfo.hash; + }; + + inherit (sourceInfo) name version; + inherit buildInputs; + + /* doConfigure should be removed if not needed */ + phaseNames = ["doConfigure" "doMakeInstall"]; + + meta = { + description = "A purely functional programming language based on term rewriting"; + maintainers = with a.lib.maintainers; + [ + raskin + ]; + platforms = with a.lib.platforms; + linux; + license = a.lib.licenses.gpl3Plus; + }; + passthru = { + updateInfo = { + downloadPage = "http://code.google.com/p/pure-lang/downloads/list"; + }; + }; +}) x + |