diff options
author | Julien Lepiller <julien@lepiller.eu> | 2017-10-14 22:55:57 +0200 |
---|---|---|
committer | Julien Lepiller <julien@lepiller.eu> | 2017-10-23 22:55:07 +0200 |
commit | fb680f88e903c95860ab1dc63c1aa764ddb553cc (patch) | |
tree | 641b4364cd07b568ddd136e609ab7e825d49d62b | |
parent | fa2a23a1460140f5ec71df8a83482a928c4d7875 (diff) | |
download | patches-fb680f88e903c95860ab1dc63c1aa764ddb553cc.tar patches-fb680f88e903c95860ab1dc63c1aa764ddb553cc.tar.gz |
gnu: Add java-eclipse-jetty-servlet.
* gnu/packages/web.scm (java-eclipse-jetty-servlet): New variable.
-rw-r--r-- | gnu/packages/web.scm | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/gnu/packages/web.scm b/gnu/packages/web.scm index 2fbdf86d39..dad971fa9d 100644 --- a/gnu/packages/web.scm +++ b/gnu/packages/web.scm @@ -5845,3 +5845,33 @@ infrastructure"))) (native-inputs `(("io" ,java-eclipse-jetty-io-9.2) ,@(package-native-inputs java-eclipse-jetty-util-9.2))))) + +(define-public java-eclipse-jetty-servlet + (package + (inherit java-eclipse-jetty-util) + (name "java-eclipse-jetty-servlet") + (arguments + `(#:jar-name "eclipse-jetty-servlet.jar" + #:source-dir "src/main/java" + #:jdk ,icedtea-8 + #:phases + (modify-phases %standard-phases + (add-before 'configure 'chdir + (lambda _ + (chdir "jetty-servlet") + #t))))) + (inputs + `(("slf4j" ,java-slf4j-api) + ("servlet" ,java-tomcat) + ("http" ,java-eclipse-jetty-http) + ("http-test" ,java-eclipse-jetty-http-test-classes) + ("io" ,java-eclipse-jetty-io) + ("jmx" ,java-eclipse-jetty-jmx) + ("security" ,java-eclipse-jetty-security) + ("server" ,java-eclipse-jetty-server) + ("util" ,java-eclipse-jetty-util))) + (synopsis "Jetty Servlet Container") + (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 servlet +container."))) |