diff options
author | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2009-10-28 14:06:56 +0000 |
---|---|---|
committer | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2009-10-28 14:06:56 +0000 |
commit | f53195f29e69dbb79f44039b809bb1fa40f34ac2 (patch) | |
tree | 03d9da1314f6c0f6dfd1a0f5cf2f5ffe4aa3a8a2 /pkgs/development/compilers/yap | |
parent | cbfbaf736a0e697c0ee8188e9f68cfde5bd703e3 (diff) | |
download | nixlib-f53195f29e69dbb79f44039b809bb1fa40f34ac2.tar nixlib-f53195f29e69dbb79f44039b809bb1fa40f34ac2.tar.gz nixlib-f53195f29e69dbb79f44039b809bb1fa40f34ac2.tar.bz2 nixlib-f53195f29e69dbb79f44039b809bb1fa40f34ac2.tar.lz nixlib-f53195f29e69dbb79f44039b809bb1fa40f34ac2.tar.xz nixlib-f53195f29e69dbb79f44039b809bb1fa40f34ac2.tar.zst nixlib-f53195f29e69dbb79f44039b809bb1fa40f34ac2.zip |
* Improved a bunch of "name" attributes (mostly missing version
numbers). svn path=/nixpkgs/trunk/; revision=17991
Diffstat (limited to 'pkgs/development/compilers/yap')
-rw-r--r-- | pkgs/development/compilers/yap/default.nix | 19 |
1 files changed, 9 insertions, 10 deletions
diff --git a/pkgs/development/compilers/yap/default.nix b/pkgs/development/compilers/yap/default.nix index 27075d1cca63..753c0f8ee778 100644 --- a/pkgs/development/compilers/yap/default.nix +++ b/pkgs/development/compilers/yap/default.nix @@ -1,17 +1,16 @@ -args: -args.stdenv.mkDerivation rec { - name = "Yap-5.1.1"; +{ stdenv, fetchurl }: + +stdenv.mkDerivation rec { + name = "yap-5.1.1"; - src = args.fetchurl { - url = "http://downloads.sourceforge.net/yap/${name}.tar.gz"; + src = fetchurl { + url = "http://downloads.sourceforge.net/yap/Yap-5.1.1.tar.gz"; sha256 = "0bajxmlla9gay4m4l7y7x6qldxzi0jcq2ykgpjk9liky7g5kbnya"; }; - buildInputs =(with args; []); - meta = { - description = "Yap Prolog System is a ISO-compatible high-performance Prolog compiler"; - homepage = http://yap.sourceforge.net/; - license = "artistic"; + description = "Yap Prolog System is a ISO-compatible high-performance Prolog compiler"; + homepage = http://yap.sourceforge.net/; + license = "artistic"; }; } |