summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRicardo Wurmus <rekado@elephly.net>2017-05-09 22:46:35 +0200
committerRicardo Wurmus <rekado@elephly.net>2017-05-15 22:33:17 +0200
commitc24d11b734c88037979c583d96a51bab79528d41 (patch)
tree7c345feef455b8c535a5464bf1e8a94ddd6708f9
parentbf96acf7e5869fb5e6d05ef0ccfd13d4619002fa (diff)
downloadpatches-c24d11b734c88037979c583d96a51bab79528d41.tar
patches-c24d11b734c88037979c583d96a51bab79528d41.tar.gz
gnu: Add java-eclipse-jdt-core.
* gnu/packages/java.scm (java-eclipse-jdt-core): New variable.
-rw-r--r--gnu/packages/java.scm35
1 files changed, 35 insertions, 0 deletions
diff --git a/gnu/packages/java.scm b/gnu/packages/java.scm
index aebcbd6b47..e2221637d2 100644
--- a/gnu/packages/java.scm
+++ b/gnu/packages/java.scm
@@ -2880,6 +2880,41 @@ provides the basic building blocks for text and text editors within Eclipse
and contributes the Eclipse default text editor.")
(license license:epl1.0)))
+(define-public java-eclipse-jdt-core
+ (package
+ (name "java-eclipse-jdt-core")
+ (version "3.12.3")
+ (source (origin
+ (method url-fetch)
+ (uri (string-append "https://repo1.maven.org/maven2/"
+ "org/eclipse/jdt/org.eclipse.jdt.core/"
+ version "/org.eclipse.jdt.core-"
+ version "-sources.jar"))
+ (sha256
+ (base32
+ "191xw4lc7mjjkprh4ji5vnpjvr5r4zvbpwkriy4bvsjqrz35vh1j"))))
+ (build-system ant-build-system)
+ (arguments
+ `(#:tests? #f ; no tests included
+ #:jar-name "eclipse-jdt-core.jar"))
+ (inputs
+ `(("java-eclipse-core-contenttype" ,java-eclipse-core-contenttype)
+ ("java-eclipse-core-filesystem" ,java-eclipse-core-filesystem)
+ ("java-eclipse-core-jobs" ,java-eclipse-core-jobs)
+ ("java-eclipse-core-resources" ,java-eclipse-core-resources)
+ ("java-eclipse-core-runtime" ,java-eclipse-core-runtime)
+ ("java-eclipse-equinox-app" ,java-eclipse-equinox-app)
+ ("java-eclipse-equinox-common" ,java-eclipse-equinox-common)
+ ("java-eclipse-equinox-preferences" ,java-eclipse-equinox-preferences)
+ ("java-eclipse-equinox-registry" ,java-eclipse-equinox-registry)
+ ("java-eclipse-osgi" ,java-eclipse-osgi)
+ ("java-eclipse-text" ,java-eclipse-text)))
+ (home-page "https://www.eclipse.org/jdt")
+ (synopsis "Java development tools core libraries")
+ (description "This package provides the core libraries of the Eclipse Java
+development tools.")
+ (license license:epl1.0)))
+
(define-public java-commons-cli
(package
(name "java-commons-cli")