diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2017-05-09 22:46:35 +0200 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2017-05-15 22:33:17 +0200 |
| commit | c24d11b734c88037979c583d96a51bab79528d41 (patch) | |
| tree | 7c345feef455b8c535a5464bf1e8a94ddd6708f9 | |
| parent | bf96acf7e5869fb5e6d05ef0ccfd13d4619002fa (diff) | |
| download | guix-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.scm | 35 |
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") |