diff options
author | Julien Lepiller <julien@lepiller.eu> | 2017-10-14 22:51:00 +0200 |
---|---|---|
committer | Julien Lepiller <julien@lepiller.eu> | 2017-10-23 22:55:02 +0200 |
commit | 8528e20dff43ded152020a43dc2d1a5ff837e502 (patch) | |
tree | c23cdccd880c00a1ad950aea455190de57b62463 | |
parent | e36e2bee4619e812d7a942cec94565aeeda9b37a (diff) | |
download | patches-8528e20dff43ded152020a43dc2d1a5ff837e502.tar patches-8528e20dff43ded152020a43dc2d1a5ff837e502.tar.gz |
gnu: Add java-eclipse-jetty-security.
* gnu/packages/web.scm (java-eclipse-jetty-security): New variable.
-rw-r--r-- | gnu/packages/web.scm | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/gnu/packages/web.scm b/gnu/packages/web.scm index 9e0f31cc2b..0e3a8017be 100644 --- a/gnu/packages/web.scm +++ b/gnu/packages/web.scm @@ -5802,3 +5802,32 @@ artifact."))) (native-inputs `(("test-classes" ,java-eclipse-jetty-http-test-classes-9.2) ,@(package-native-inputs java-eclipse-jetty-util-9.2))))) + +(define-public java-eclipse-jetty-security + (package + (inherit java-eclipse-jetty-util) + (name "java-eclipse-jetty-security") + (arguments + `(#:jar-name "eclipse-jetty-security.jar" + #:source-dir "src/main/java" + #:jdk ,icedtea-8 + #:phases + (modify-phases %standard-phases + (add-before 'configure 'chdir + (lambda _ + (chdir "jetty-security") + #t))))) + (inputs + `(("slf4j" ,java-slf4j-api) + ("servlet" ,java-tomcat) + ("http" ,java-eclipse-jetty-http) + ("server" ,java-eclipse-jetty-server) + ("util" ,java-eclipse-jetty-util))) + (native-inputs + `(("io" ,java-eclipse-jetty-io) + ,@(package-native-inputs java-eclipse-jetty-util))) + (synopsis "Jetty security infrastructure") + (description "The Jetty Web Server provides an HTTP server and Servlet +container capable of serving static and dynamic content either from a standalone +or embedded instantiation. This package provides the core jetty security +infrastructure"))) |