diff options
| author | Björn Höfling <bjoern.hoefling@bjoernhoefling.de> | 2019-03-04 18:42:22 +0100 |
|---|---|---|
| committer | Björn Höfling <bjoern.hoefling@bjoernhoefling.de> | 2019-10-13 22:35:04 +0200 |
| commit | 8ea8d607f978bbbf5d3062a52797f106a2beb041 (patch) | |
| tree | 95ae0cb43979feb7eb74081f5eb15c7a7af0ec46 | |
| parent | 44bac44ca13d0b79a32bfd8f96601fff78bd4cd0 (diff) | |
| download | patches-8ea8d607f978bbbf5d3062a52797f106a2beb041.tar patches-8ea8d607f978bbbf5d3062a52797f106a2beb041.tar.gz | |
gnu: java-javaee-servletapi: Add properties-files to jar.
* gnu/packages/java.scm (jav-javaee-servletapi)[arguments]: Add phase
'copy-resources' to copy properties-files.
| -rw-r--r-- | gnu/packages/java.scm | 20 |
1 files changed, 19 insertions, 1 deletions
diff --git a/gnu/packages/java.scm b/gnu/packages/java.scm index 9c1cec2aa4..ace50f3a47 100644 --- a/gnu/packages/java.scm +++ b/gnu/packages/java.scm @@ -2955,7 +2955,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/") |