diff options
author | Danny Milosavljevic <dannym@scratchpost.org> | 2018-10-07 14:15:21 +0200 |
---|---|---|
committer | Danny Milosavljevic <dannym@scratchpost.org> | 2018-10-07 14:15:21 +0200 |
commit | da99c46f63d13cd42b871f3e180be830061cc8b3 (patch) | |
tree | b7786a62f431dc6e81fb40e1e0aab48510f0e494 /gnu/packages | |
parent | 2c4be1add077bf30f949282edcc2ea507ba44497 (diff) | |
download | patches-da99c46f63d13cd42b871f3e180be830061cc8b3.tar patches-da99c46f63d13cd42b871f3e180be830061cc8b3.tar.gz |
gnu: Add java-w3c-svg.
* gnu/packages/batik.scm (java-w3c-svg-1.0, java-w3c-svg): New variables.
Diffstat (limited to 'gnu/packages')
-rw-r--r-- | gnu/packages/batik.scm | 68 |
1 files changed, 68 insertions, 0 deletions
diff --git a/gnu/packages/batik.scm b/gnu/packages/batik.scm index 91eb8f01d5..b3361d9092 100644 --- a/gnu/packages/batik.scm +++ b/gnu/packages/batik.scm @@ -88,3 +88,71 @@ public interface TimeEvent extends Event { (description "This package provides a SAC interface by the W3C. SAC is an interface for CSS parsers.") (license license:w3c))) + +(define-public java-w3c-svg-1.0 + (package + (name "java-w3c-svg") + (version "20010904") + (source + (origin + (method url-fetch) + (uri (string-append "http://www.w3.org/TR/2001/REC-SVG-" version + "/java-binding.zip")) + (sha256 + (base32 + "0gnxvx51bg6ijplf6l2q0i1m07101f7fickawshfygnsdjqfdnbp")))) + (build-system ant-build-system) + (arguments + `(#:jar-name "w3c-svg.jar" + #:source-dir "." + #:tests? #f ; No tests exist. + #:phases + (modify-phases %standard-phases + (replace 'unpack + (lambda* (#:key source #:allow-other-keys) + (invoke "unzip" source))) + (add-after 'unpack 'patch-interface + (lambda _ + ;; Make it compatible with batik. + ;; This is equivalent to usingxml commons externals' + ;; "externals" part from https://xerces.apache.org/mirrors.cgi + (substitute* "SVGFEConvolveMatrixElement.java" + (("public SVGAnimatedLength[ ]*getKernelUnitLength") + "public SVGAnimatedNumber getKernelUnitLength")) + (substitute* "SVGFEMorphologyElement.java" + (("public SVGAnimatedLength[ ]*getRadius") + "public SVGAnimatedNumber getRadius")) + (call-with-output-file "EventListenerInitializer.java" + (lambda (port) + (format port " +// License: http://www.apache.org/licenses/LICENSE-2.0 +package org.w3c.dom.svg; +public interface EventListenerInitializer { + public void initializeEventListeners(SVGDocument doc); +} + +"))) + #t))))) + (propagated-inputs + `(("java-w3c-smil" ,java-w3c-smil-3.0))) + (native-inputs + `(("unzip" ,unzip))) + (home-page "https://www.w3.org/Style/CSS/SAC/") + (synopsis "W3C SVG interface") + (description "This package provides a SVG interface.") + (license license:w3c))) + +(define-public java-w3c-svg + (package + (inherit java-w3c-svg-1.0) + (version "20110816") + (source + (origin + (method url-fetch) + (uri (string-append "http://www.w3.org/TR/2011/REC-SVG11-" version + "/java-binding.zip")) + (sha256 + (base32 + "0jicqcrxav8ggs37amgvvwgc2f0qp1c5wns4rb2i3si83s2m09ns")))) + (propagated-inputs + `()))) |