diff options
author | Danny Milosavljevic <dannym@scratchpost.org> | 2018-10-07 15:28:37 +0200 |
---|---|---|
committer | Danny Milosavljevic <dannym@scratchpost.org> | 2018-10-07 15:28:37 +0200 |
commit | ae6922ed148b6bde06e37a2c244c67a4f5e6dc00 (patch) | |
tree | c6d81feaf085b1f7595c282785923a75a2e982b8 /gnu | |
parent | 12a0b38ce6f93913ead590bb7ebc35db66a6e7b2 (diff) | |
download | patches-ae6922ed148b6bde06e37a2c244c67a4f5e6dc00.tar patches-ae6922ed148b6bde06e37a2c244c67a4f5e6dc00.tar.gz |
gnu: Add java-jakarta-regexp.
* gnu/packages/java.scm (java-jakarta-regexp): New variable.
Diffstat (limited to 'gnu')
-rw-r--r-- | gnu/packages/java.scm | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/gnu/packages/java.scm b/gnu/packages/java.scm index 96da495c29..93f5bb6aff 100644 --- a/gnu/packages/java.scm +++ b/gnu/packages/java.scm @@ -9634,6 +9634,39 @@ Candidate Recommendation, and will correctly serialize XML 1.1 documents if the DOM level 3 load/save API's are in use.") (license license:asl2.0))) +(define-public java-jakarta-regexp + (package + (name "java-jakarta-regexp") + (version "1.5") + (source + (origin + (method url-fetch) + (uri (string-append + "https://archive.apache.org/dist/jakarta/regexp/jakarta-regexp-" + version ".tar.gz")) + (sha256 + (base32 + "0zg9rmyif48dck0cv6ynpxv23mmcsx265am1fnnxss7brgw0ms3r")))) + (build-system ant-build-system) + (arguments + `(#:test-target "test" + #:phases + (modify-phases %standard-phases + (replace 'install + (lambda* (#:key outputs #:allow-other-keys) + (let* ((out (assoc-ref outputs "out")) + (out-share (string-append out "/share/java"))) + (mkdir-p out-share) + (for-each (lambda (name) + (install-file name out-share)) + (find-files "build" "^jakarta-regexp-.*\\.jar$")) + #t)))))) + (home-page "https://attic.apache.org/projects/jakarta-regexp.html") + (synopsis "Regular expression parser generator for Java.") + (description "@code{jakarta-regexp} is an old regular expression parser +generator for Java.") + (license license:asl2.0))) + (define-public java-jline (package (name "java-jline") |