diff options
| -rw-r--r-- | pkgs/servers/http/jetty/bin-builder.sh | 7 | ||||
| -rw-r--r-- | pkgs/servers/http/jetty/default.nix | 12 | ||||
| -rw-r--r-- | pkgs/system/all-packages-generic.nix | 4 |
3 files changed, 23 insertions, 0 deletions
diff --git a/pkgs/servers/http/jetty/bin-builder.sh b/pkgs/servers/http/jetty/bin-builder.sh new file mode 100644 index 0000000000000..42cb9cdd86be6 --- /dev/null +++ b/pkgs/servers/http/jetty/bin-builder.sh @@ -0,0 +1,7 @@ +set -e + +. $stdenv/setup + +tar zxf $src +mkdir $out +mv jetty*/* $out diff --git a/pkgs/servers/http/jetty/default.nix b/pkgs/servers/http/jetty/default.nix new file mode 100644 index 0000000000000..20cc2b2233278 --- /dev/null +++ b/pkgs/servers/http/jetty/default.nix @@ -0,0 +1,12 @@ +{stdenv, fetchurl}: + +stdenv.mkDerivation { + name = "jetty-4.2.22"; + + builder = ./bin-builder.sh; + + src = fetchurl { + url = http://belnet.dl.sourceforge.net/sourceforge/jetty/jetty-4.2.22.tar.gz; + md5 = "e89c582d1846cd7d31e402abaf801e17"; + }; +} diff --git a/pkgs/system/all-packages-generic.nix b/pkgs/system/all-packages-generic.nix index 020ae8b106cb9..eaef81e08ca8a 100644 --- a/pkgs/system/all-packages-generic.nix +++ b/pkgs/system/all-packages-generic.nix @@ -646,6 +646,10 @@ rec { ant = apacheAntBlackdown14; }; + jetty = (import ../servers/http/jetty) { + inherit fetchurl stdenv; + }; + ### OS-SPECIFIC kernelHeaders = (import ../os-specific/linux/kernel-headers) { |