[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#35570] [PATCH 3/8] gnu: java-javaee-servletapi: Add properties-file
From: |
Björn Höfling |
Subject: |
[bug#35570] [PATCH 3/8] gnu: java-javaee-servletapi: Add properties-files to jar. |
Date: |
Sun, 5 May 2019 00:38:23 +0200 |
* gnu/packages/java.scm (jav-javaee-servletapi)[arguments]: Add phase
'copy-resources' to copy properties-files.
---
gnu/packages/java.scm | 20 +++++++++++++++++++-
1 file changed, 19 insertions(+), 1 deletion(-)
diff --git a/gnu/packages/java.scm b/gnu/packages/java.scm
index f92b3d5e89..9b635699f6 100644
--- a/gnu/packages/java.scm
+++ b/gnu/packages/java.scm
@@ -2851,7 +2851,25 @@ API and version 2.1 of the Java ServerPages
API.") `(#:jar-name "javax-servletapi.jar"
;; no tests
#:tests? #f
- #:source-dir "src/main/java"))
+ #:source-dir "src/main/java"
+ #:phases
+ (modify-phases %standard-phases
+ (add-before 'build 'copy-resources
+ (lambda _
+ (mkdir-p "build/classes/javax/servlet/http")
+ (let ((from-prefix "src/main/java/javax/servlet/")
+ (to-prefix "build/classes/javax/servlet/"))
+ (for-each (lambda (f)
+ (copy-file (string-append from-prefix f)
+ (string-append to-prefix f)))
+ (list "LocalStrings_ja.properties"
+ "LocalStrings.properties"
+ "LocalStrings_fr.properties"
+ "http/LocalStrings_es.properties"
+ "http/LocalStrings_ja.properties"
+ "http/LocalStrings.properties"
+ "http/LocalStrings_fr.properties")))
+ #t)))))
(native-inputs
`(("unzip" ,unzip)))
(home-page "https://javaee.github.io/servlet-spec/")
--
2.21.0
pgp5SbsGW8gXs.pgp
Description: OpenPGP digital signature
- [bug#35570] java-tomcat: Make it the full package, Björn Höfling, 2019/05/04
- [bug#35570] [PATCH 1/8] gnu: ant-build-system: Don't override symlinks., Björn Höfling, 2019/05/04
- [bug#35570] [PATCH 2/8] gnu: java-javaee-servletapi: Don't use unstable tarball., Björn Höfling, 2019/05/04
- [bug#35570] [PATCH 3/8] gnu: java-javaee-servletapi: Add properties-files to jar.,
Björn Höfling <=
- [bug#35570] [PATCH 4/8] gnu: Remove dependencies on java-tomcat, use servlet API, Björn Höfling, 2019/05/04
- [bug#35570] [PATCH 5/8] gnu: java-commons-daemon: Update to 1.1.0., Björn Höfling, 2019/05/04
- [bug#35570] [PATCH 6/8] gnu: Add java-ecj in version 4.6.3., Björn Höfling, 2019/05/04
- [bug#35570] [PATCH 8/8] gnu: java-tomcat: Update to 8.5.40., Björn Höfling, 2019/05/04
- [bug#35570] [PATCH 7/8] gnu: java-tomcat: Build the full Tomcat package., Björn Höfling, 2019/05/04