2009-10-20 11:18:36 +01:00
|
|
|
{stdenv, fetchurl}:
|
|
|
|
|
|
|
|
stdenv.mkDerivation {
|
|
|
|
name = "jetty-gwt-6.1.14";
|
|
|
|
src = fetchurl {
|
|
|
|
url = http://repository.codehaus.org/org/mortbay/jetty/jetty-gwt/6.1.14/jetty-gwt-6.1.14.jar;
|
|
|
|
sha256 = "17x8ss75rx9xjn93rq861mdn9d6gw87rbrf24blawa6ahhb56ppf";
|
|
|
|
};
|
|
|
|
buildCommand = ''
|
2012-01-18 20:16:00 +00:00
|
|
|
mkdir -p $out/share/java
|
2009-10-20 13:24:13 +01:00
|
|
|
cp $src $out/share/java/$name.jar
|
2009-10-20 11:18:36 +01:00
|
|
|
'';
|
|
|
|
}
|