Merge pull request #38852 from yorickvP/jetty

jetty: 9.3.10.v20160621 -> 9.4.8.v20171121
This commit is contained in:
Yegor Timoshenko 2018-04-12 15:06:28 +00:00 committed by GitHub
commit d8e6548287
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -2,19 +2,18 @@
stdenv.mkDerivation rec {
name = "jetty-${version}";
version = "9.3.10.v20160621";
version = "9.4.8.v20171121";
src = fetchurl {
url = "http://repo1.maven.org/maven2/org/eclipse/jetty/jetty-distribution/${version}/jetty-distribution-${version}.tar.gz";
name = "jetty-distribution-${version}.tar.gz";
sha256 = "0xqv7bp82i95gikma70kyi91nlgsj5zabzg59ly9ga4mqf5y0zbz";
sha256 = "0bvwi70vdk468yqgvgq99lwrpy2y5znrl0b1cr8j6ygmsgnvvmjh";
};
phases = [ "unpackPhase" "installPhase" ];
installPhase = ''
mkdir -p $out
mv etc lib modules start.jar $out
mv etc lib modules start.ini start.jar $out
'';
meta = {