diff options
Diffstat (limited to 'pkgs/development/libraries/java/jetty-util/default.nix')
| -rw-r--r-- | pkgs/development/libraries/java/jetty-util/default.nix | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/pkgs/development/libraries/java/jetty-util/default.nix b/pkgs/development/libraries/java/jetty-util/default.nix new file mode 100644 index 0000000000000..8f1f676c10708 --- /dev/null +++ b/pkgs/development/libraries/java/jetty-util/default.nix @@ -0,0 +1,13 @@ +{stdenv, fetchurl}: + +stdenv.mkDerivation { + name = "jetty-util-6.1.16"; + src = fetchurl { + url = http://repository.codehaus.org/org/mortbay/jetty/jetty-util/6.1.16/jetty-util-6.1.16.jar; + sha256 = "1ld94lb5dk7y6sjg1rq8zdk97wiy56ik5vbgy7yjj4f6rz5pxbyq"; + }; + buildCommand = '' + ensureDir $out/share/java + cp $src $out/share/java/$name.jar + ''; +} |