aboutsummaryrefslogtreecommitdiff
path: root/gnu
diff options
context:
space:
mode:
authorDanny Milosavljevic <dannym@scratchpost.org>2018-10-07 15:28:37 +0200
committerDanny Milosavljevic <dannym@scratchpost.org>2018-10-07 15:28:37 +0200
commitae6922ed148b6bde06e37a2c244c67a4f5e6dc00 (patch)
treec6d81feaf085b1f7595c282785923a75a2e982b8 /gnu
parent12a0b38ce6f93913ead590bb7ebc35db66a6e7b2 (diff)
downloadpatches-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.scm33
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")