2005-05-24 16:57:41 +02:00
|
|
|
{stdenv, fetchurl, unzip}:
|
2004-08-30 20:22:14 +02:00
|
|
|
|
|
|
|
stdenv.mkDerivation {
|
2008-02-15 11:56:31 +01:00
|
|
|
name = "jetty-5.1.12";
|
2004-08-30 20:22:14 +02:00
|
|
|
|
|
|
|
src = fetchurl {
|
2008-02-15 11:56:31 +01:00
|
|
|
url = ftp://ftp.mortbay.org/pub/jetty-5/jetty-5.1.12.zip;
|
|
|
|
sha256 = "04nysajgrlyvfh810jpyr8iay38kwjrbmh6bgs10mwd30qhj4rd1";
|
2004-08-30 20:22:14 +02:00
|
|
|
};
|
2008-02-15 11:56:31 +01:00
|
|
|
|
|
|
|
buildInputs = [unzip];
|
|
|
|
|
|
|
|
buildPhase = "true";
|
|
|
|
|
|
|
|
installPhase = ''
|
|
|
|
ensureDir $out
|
|
|
|
cp -pr * $out/
|
|
|
|
'';
|
2004-08-30 20:22:14 +02:00
|
|
|
}
|