From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:4830:134:3::10]:51169) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1fgnBN-0007iT-Vc for guix-patches@gnu.org; Sat, 21 Jul 2018 04:24:07 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1fgnBL-0004pk-9R for guix-patches@gnu.org; Sat, 21 Jul 2018 04:24:05 -0400 Received: from debbugs.gnu.org ([208.118.235.43]:45160) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1fgnBL-0004pg-56 for guix-patches@gnu.org; Sat, 21 Jul 2018 04:24:03 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1fgnBK-0000Qt-Ve for guix-patches@gnu.org; Sat, 21 Jul 2018 04:24:02 -0400 Subject: [bug#32231] [PATCH 4/8] gnu: Add java-javaee-servletapi. Resent-Message-ID: Date: Sat, 21 Jul 2018 10:23:55 +0200 From: =?UTF-8?Q?Bj=C3=B6rn_?= =?UTF-8?Q?H=C3=B6fling?= Message-ID: <20180721102355.17a0a64f@alma-ubu> In-Reply-To: <20180721101401.63dee9b6@alma-ubu> References: <20180721101401.63dee9b6@alma-ubu> MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha1; boundary="Sig_/QuuGMweEaH4rs+vzoZAHceS"; protocol="application/pgp-signature" List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+kyle=kyleam.com@gnu.org Sender: "Guix-patches" To: 32231@debbugs.gnu.org --Sig_/QuuGMweEaH4rs+vzoZAHceS Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: quoted-printable * gnu/packages/java.scm (java-javaee-servletapi): New variable. --- gnu/packages/java.scm | 31 +++++++++++++++++++++++++++++++ 1 file changed, 31 insertions(+) diff --git a/gnu/packages/java.scm b/gnu/packages/java.scm index d6c88f5..b60aedd 100644 --- a/gnu/packages/java.scm +++ b/gnu/packages/java.scm @@ -2537,6 +2537,37 @@ ClasspathX project. It provides implementations of = version 3.0 of the servlet API and version 2.1 of the Java ServerPages API.") (license license:gpl3+))) =20 +(define-public java-javaee-servletapi + (package + (name "java-javaee-servletapi") + (version "3.1.0") + (source (origin + (method url-fetch) + (uri (string-append "https://github.com/javaee/servlet-spec/" + "archive/" version ".zip")) + (file-name (string-append name "-" version ".zip")) + (sha256 + (base32 + "0m6p13vgfb1ihich1jp5j6fqlhkjsrkn32c86bsbkryp38ipwg8w")))) + (build-system ant-build-system) + (arguments + `(#:jar-name "javax-servletapi.jar" + ;; no tests + #:tests? #f + #:source-dir "src/main/java")) + (native-inputs + `(("unzip" ,unzip))) + (home-page "https://javaee.github.io/servlet-spec/") + (synopsis "Java servlet API") + (description "Java Servlet is the foundation web specification in the +Java Enterprise Platform. Developers can build web applications using the +Servlet API to interact with the request/response workflow. This project +provides information on the continued development of the Java Servlet +specification.") + ;; Main code is dual-licensed by Oracle under either GLP2 or CDDL 1.1. + ;; Some files are licensed under ASL 2.0. + (license (list license:asl2.0 license:gpl2 license:cddl1.1)))) + (define-public java-swt (package (name "java-swt") --=20 2.7.4 --Sig_/QuuGMweEaH4rs+vzoZAHceS Content-Type: application/pgp-signature Content-Description: OpenPGP digital signature -----BEGIN PGP SIGNATURE----- Version: GnuPG v2 iEYEARECAAYFAltS7ZwACgkQvyhstlk+X/2bkwCdEP30ggr7tXoIobFpw1hWycRJ iwUAn1wGKNn8bqYRB4WDngVc96yF/95M =zhKU -----END PGP SIGNATURE----- --Sig_/QuuGMweEaH4rs+vzoZAHceS--