;;; GNU Guix --- Functional package management for GNU

;;; Copyright © 2017 Julien Lepiller <julien@lepiller.eu>

;;;

;;; This file is part of GNU Guix.

;;;

;;; GNU Guix is free software; you can redistribute it and/or modify it

;;; under the terms of the GNU General Public License as published by

;;; the Free Software Foundation; either version 3 of the License, or (at

;;; your option) any later version.

;;;

;;; GNU Guix is distributed in the hope that it will be useful, but

;;; WITHOUT ANY WARRANTY; without even the implied warranty of

;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the

;;; GNU General Public License for more details.

;;;

;;; You should have received a copy of the GNU General Public License

;;; along with GNU Guix.  If not, see <http://www.gnu.org/licenses/>.

(define-module (more packages java)

  #:use-module ((guix licenses) #:prefix license:)

  #:use-module (gnu packages)

  #:use-module (guix packages)

  #:use-module (guix download)

  #:use-module (guix git-download)

  #:use-module (guix utils)

  #:use-module (guix build-system ant)

  #:use-module (guix build-system gnu)

  #:use-module (guix build-system trivial)

  #:use-module (gnu packages base)

  #:use-module (gnu packages zip)

  #:use-module (gnu packages java))

(define-public josm

  (package

    (name "josm")

    (version "c86ae64ca82a5bb9dd1972c7023797eb9a2577f5")

    (source (origin

              (method git-fetch)

              (uri (git-reference

                    (url "https://github.com/openstreetmap/josm.git")

                    (commit version)))

              (sha256

               (base32

                "07z2q4csq9gdpg4lp1zpvcl5z5sqn0fnqah94ya3sirm6bh4k74j"))

              (file-name (string-append name "-" version))))

    (build-system ant-build-system)

    (arguments

     `(#:build-target "dist"

       #:tests? #f

       #:jdk ,icedtea-8

       #:phases

       (modify-phases %standard-phases

         (add-before 'build 'fix-compiler

           (lambda* _

             (substitute* "build.xml"

               (("UNKNOWN") "11639")

               ((".*com.google.errorprone.ErrorProneAntCompilerAdapter.*") "")

               (("compiler=\"[^\"]*\" ") ""))))

         (replace 'install

           (lambda* (#:key outputs #:allow-other-keys)

             (let* ((out (assoc-ref outputs "out"))

                    (bin (string-append out "/bin"))

                    (lib (string-append out "/lib/josm")))

               (mkdir-p bin)

               (mkdir-p lib)

               (copy-file "dist/josm-custom.jar"

                          (string-append lib "/josm.jar"))

               (with-output-to-file (string-append bin "/josm")

                 (lambda _

                   (display

                     (string-append "#!/bin/sh\n"

                                    "java -jar " lib "/josm.jar"))))

               (chmod (string-append bin "/josm") #o755)))))))

    (home-page "https://josm.openstreetmap.de")

    (synopsis "OSM editor")

    (description "OSM editor.")

    (license license:gpl2+)))

(define-public java-icu4j

  (package

    (name "java-icu4j")

    (version "58.2")

    (source (origin

              (method url-fetch)

              (uri (string-append 

                     "http://download.icu-project.org/files/icu4j/" version

                     "/icu4j-"

                     (string-map (lambda (x) (if (char=? x #\.) #\_ x)) version)

                     ".tgz"))

              (sha256

               (base32

                "1mvqjlc3cbaraa0bv0vyl44xf0x6n81inqsh69bl7f88iycfpns9"))))

    (build-system ant-build-system)

    (arguments

     `(#:tests? #f ; Requires java-ivy that we don't have yet.

       #:phases

       (modify-phases %standard-phases

         ;; icu4j archive contains its sources directly at the top, not in

         ;; a subdirectory as usual.

         (add-after 'unpack 'chdir

           (lambda _

             (chdir "..")))

         (replace 'install

           (lambda* (#:key outputs #:allow-other-keys)

             (let ((share (string-append (assoc-ref outputs "out") "/share/java")))

               (mkdir-p share)

               (copy-file "icu4j-charset.jar" (string-append share "/icu4j-charset.jar"))

               (copy-file "icu4j.jar" (string-append share "/icu4j.jar"))))))))

    (home-page "http://site.icu-project.org/")

    (synopsis "")

    (description "")

    (license license:x11)))

(define-public java-treelayout

  (package

    (name "java-treelayout")

    (version "1.0.3")

    (source (origin

              (method url-fetch)

              (uri (string-append 

                     "https://github.com/abego/treelayout/archive/v" version

                     ".tar.gz"))

              (file-name (string-append name "-" version ".tar.gz"))

              (sha256

               (base32

                "0djdw7j66lqjx8bx9zja0hsx10c6nsj3z0z20jmavwfr6bpp0345"))))

    (build-system ant-build-system)

    (arguments

     `(#:jar-name (string-append ,name "-" ,version ".jar")

       #:tests? #f

       #:phases

       (modify-phases %standard-phases

         ;; icu4j archive contains its sources directly at the top, not in

         ;; a subdirectory as usual.

         (add-after 'unpack 'chdir

           (lambda _

             (chdir "org.abego.treelayout"))))))

    (inputs

     `(("junit" ,java-junit)))

    (home-page "http://treelayout.sourceforge.net")

    (synopsis "")

    (description "")

    (license license:bsd-3)))

(define-public java-commons-cli

  (package

    (name "java-commons-cli")

    (version "1.4")

    (source (origin

              (method url-fetch)

              (uri (string-append "http://mirrors.ircam.fr/pub/apache/commons/"

                                  "cli/source/commons-cli-" version "-src.tar.gz"))

              (file-name (string-append name "-" version ".tar.gz"))

              (sha256

               (base32

                "05hgi2z01fqz374y719gl1dxzqvzci5af071zm7vxrjg9vczipm1"))))

    (build-system ant-build-system)

    (arguments

     `(#:jar-name "commons-cli-1.4.jar"

       #:tests? #f))

    (native-inputs

     `(("junit" ,java-junit)))

    (home-page "https://commons.apache.org/proper/commons-cli")

    (synopsis "Java API for parsing command line options passed to programs")

    (description "Apache Commons CLI library provides an API for parsing command

line options passed to programs. It's also able to print help messages detailing

the options available for a command line tool.")

    (license license:asl2.0)))

(define-public java-asm

  (package

    (name "java-asm")

    (version "5.2")

    (source (origin

              (method url-fetch)

              (uri (string-append "http://download.forge.ow2.org/asm/asm-"

                                  version ".tar.gz"))

              (file-name (string-append name "-" version ".tar.gz"))

              (sha256

               (base32

                "0kxvmv5275rnjl7jv0442k3wjnq03ngkb7sghs78avf45pzm4qgr"))))

    (build-system ant-build-system)

    (arguments

     `(#:jar-name "asm-5.2.jar"

       #:tests? #f))

    (native-inputs

     `(("junit" ,java-junit)))

    (home-page "")

    (synopsis "")

    (description "")

    (license license:asl2.0)))

(define-public java-jsr305

  (package

    (name "java-jsr305")

    (version "3.0.2")

    (source (origin

              (method git-fetch)

              (uri (git-reference

                     (url "https://github.com/amaembo/jsr-305.git")

                     (commit "d7734b13c61492982784560ed5b4f4bd6cf9bb2c")))

              (file-name (string-append name "-" version))

              (sha256

               (base32

                "1wk159136pgc6i54drbq2whazfmdilvfqlxj3k19s9dfwbayf621"))))

    (build-system ant-build-system)

    (arguments

     `(#:jar-name (string-append ,name "-" ,version ".jar")

       #:src-dir "ri/src/main/java"

       #:tests? #f))

    (home-page "https://github.com/amaembo/jsr-305")

    (synopsis "")

    (description "")

    (license license:bsd-3)))

(define-public java-checker-framework

  (package

    (name "java-checker-framework")

    (version "2.1.10")

    (source (origin

              (method url-fetch)

              (uri (string-append "https://github.com/typetools/checker-framework/"

                                  "archive/checker-framework-" version ".tar.gz"))

              (file-name (string-append name "-" version ".tar.gz"))

              (sha256

               (base32

                "1infq1hr53zi9bd81v90rn3iripbinb3w145m3xblq8yvnfrxy20"))))

    (build-system ant-build-system)

    (arguments

     `(#:jar-name (string-append ,name "-" ,version ".jar")

       #:src-dir "dataflow/src:javacutil/src"

       #:jdk ,icedtea-8

       #:tests? #f))

    (home-page "https://checkerframework.org")

    (synopsis "")

    (description "")

    (license license:gpl2))); with classpath exception

(define-public java-javapoet

  (package

    (name "java-javapoet")

    (version "1.8.0")

    (source (origin

              (method url-fetch)

              (uri (string-append "https://github.com/square/javapoet/archive/javapoet-"

                                  version ".tar.gz"))

              (file-name (string-append name "-" version ".tar.gz"))

              (sha256

               (base32

                "0xpjbh8wcyj9yd9hb936ia5g6l2q1jlyqjvwcc290cwjrz7crb93"))))

    (build-system ant-build-system)

    (arguments

     `(#:jar-name (string-append ,name "-" ,version ".jar")

       #:src-dir "src/main/java"

       #:jdk ,icedtea-8

       #:tests? #f))

    (home-page "https://github.com/square/javapoet")

    (synopsis "")

    (description "")

    (license license:asl2.0)))

(define-public java-auto-value

  (package

    (name "java-auto-value")

    (version "1.4.1")

    (source (origin

              (method url-fetch)

              (uri (string-append "https://github.com/google/auto/archive/auto-value-"

                                  version ".tar.gz"))

              (file-name (string-append name "-" version ".tar.gz"))

              (sha256

               (base32

                "1qd59bwa56bynsdxfbgm40i7ndrj599wflza214kzigk16nprc1m"))))

    (build-system ant-build-system)

    (arguments

     `(#:jar-name (string-append ,name "-" ,version ".jar")

       #:src-dir "value/src/main/java:common/src/main/java:service/src/main/java"

       #:jdk ,icedtea-8

       #:tests? #f))

    (inputs

     `(("guava" ,java-guava)

       ("javapoet" ,java-javapoet)))

    (home-page "https://github.com/google/auto/tree/master/value")

    (synopsis "")

    (description "")

    (license license:asl2.0)))

;; https://github.com/KengoTODA/java-diff-utils ?

;; com.sun.tools.javac.code.Scope.LookupKind.NON_RECURSIVE

;; com.sun.source.tree.PackageTree

;; com.sun.tools.javac.tree.JCTree.JCPackageDecl

(define-public java-error-prone

  (package

    (name "java-error-prone")

    (version "2.0.19")

    (source (origin

              (method url-fetch)

              (uri (string-append "https://github.com/google/error-prone/archive/v"

                                  version ".tar.gz"))

              (file-name (string-append name "-" version ".tar.gz"))

              (patches (search-patches "java-error-prone-add-build.xml.patch"))

              (sha256

               (base32

                "00igy7a6aylswxdcklj9021g2s8bvsvrysagqyd8cibm4pimxrnk"))))

    (build-system ant-build-system)

    (arguments

     `(#:tests? #f

       #:jdk ,icedtea-8

       #:phases

       (modify-phases %standard-phases

         (add-before 'build 'copy-internal

           (lambda _

             (mkdir-p "ant/src/main/java/com/google/errorprone/internal")

             (copy-file

               "core/src/main/java/com/google/errorprone/internal/NonDelegatingClassLoader.java"

               "ant/src/main/java/com/google/errorprone/internal/NonDelegatingClassLoader.java"))))))

    (inputs

     `(("java-jsr305" ,java-jsr305)

       ("java-auto-value" ,java-auto-value)

       ("java-checker-framework" ,java-checker-framework)

       ("java-guava" ,java-guava)))

    (home-page "https://github.com/google/guava")

    (synopsis "")

    (description "")

    (license license:asl2.0)))

(define-public java-error-prone-annotations

  (package

    (inherit java-error-prone)

    (name "java-error-prone-annotations")

    (version "2.0.19")

    (arguments

     `(#:tests? #f

       #:jar-name (string-append ,name "-" ,version ".jar")

       #:src-dir "annotations/src"))

    (inputs

     `(("java-jsr305" ,java-jsr305)))))

(define-public java-j2objc

  (package

    (name "java-j2objc")

    (version "1.3.1")

    (source (origin

              (method url-fetch)

              (uri (string-append "https://github.com/google/j2objc/archive/"

                                  version ".tar.gz"))

              (file-name (string-append name "-" version ".tar.gz"))

              (patches (search-patches "java-j2objc-add-build.xml.patch"))

              (sha256

               (base32

                "0d5spbr1whw2afg6mknyr7ifm6xivn3bbvnzjxva2zzkyq944hv0"))))

    (build-system ant-build-system)

    (arguments

     `(#:tests? #f))

    (home-page "http://j2objc.org")

    (synopsis "")

    (description "")

    (license license:asl2.0)))

(define-public java-j2objc-annotations

  (package

    (inherit java-j2objc)

    (name "java-j2objc-annotations")

    (version "1.3.1")

    (arguments

     `(#:tests? #f

       #:jar-name (string-append ,name "-" ,version ".jar")

       #:src-dir "annotations/src/main/java"))))

(define-public java-animal-sniffer

  (package

    (name "java-animal-sniffer")

    (version "1.15")

    (source (origin

              (method url-fetch)

              (uri (string-append "https://github.com/mojohaus/animal-sniffer/"

                                  "archive/animal-sniffer-parent-"

                                  version ".tar.gz"))

              (patches (search-patches "java-animal-sniffer-add-build.xml.patch"))

              (file-name (string-append name "-" version ".tar.gz"))

              (sha256

               (base32

                "1350yl003y1fjzdwis0dg5jhi5kggk2sxnkv9821z5janw4p986m"))))

    (build-system ant-build-system)

    (arguments

     `(#:tests? #f))

    (home-page "http://www.mojohaus.org/animal-sniffer")

    (synopsis "")

    (description "")

    (license license:asl2.0)))

(define-public java-animal-sniffer-annotations

  (package

    (inherit java-animal-sniffer)

    (name "java-animal-sniffer-annotations")

    (version "1.15")

    (arguments

     `(#:tests? #f

       #:jar-name (string-append ,name "-" ,version ".jar")

       #:src-dir "animal-sniffer-annotations/src/main/java"))))

(define-public java-guava

  (package

    (name "java-guava")

    (version "20.0")

    (source (origin

              (method url-fetch)

              (uri (string-append "https://github.com/google/guava/archive/v"

                                  version ".tar.gz"))

              (file-name (string-append name "-" version ".tar.gz"))

              (sha256

               (base32

                "1kasavj973iblj1fj35gzbywhkljrnbjpymgqyqaibbbmmbzff8s"))))

    (build-system ant-build-system)

    (arguments

     `(#:jar-name (string-append ,name "-" ,version ".jar")

       #:src-dir "guava/src"

       #:tests? #f))

    (inputs

     `(("java-jsr305" ,java-jsr305)

       ("java-j2objc-annotations" ,java-j2objc-annotations)

       ("java-animal-sniffer-annotations" ,java-animal-sniffer-annotations)

       ("java-error-prone-annotations" ,java-error-prone-annotations)))

    (home-page "https://github.com/google/guava")

    (synopsis "")

    (description "")

    (license license:asl2.0)))

(define-public java-joda-convert

  (package

    (name "java-joda-convert")

    (version "1.8.1")

    (source (origin

              (method url-fetch)

              (uri (string-append "https://github.com/JodaOrg/joda-convert/archive/v"

                                  version ".tar.gz"))

              (file-name (string-append name "-" version ".tar.gz"))

              (sha256

               (base32

                "1di9chp0pgvd2gxsmdaxhldwns9a2ss9705jmn97mdd69cg5zcnc"))))

    (build-system ant-build-system)

    (arguments

     `(#:jar-name (string-append ,name "-" ,version ".jar")

       #:src-dir "src/main/java"

       #:tests? #f))

    (inputs

     `(("java-google-collect" ,java-google-collect)))

    (native-inputs

     `(("junit" ,java-junit)))

    (home-page "")

    (synopsis "")

    (description "")

    (license license:asl2.0)))

(define-public java-joda-time

  (package

    (name "java-joda-time")

    (version "2.9.9")

    (source (origin

              (method url-fetch)

              (uri (string-append "https://github.com/JodaOrg/joda-time/archive/v"

                                  version ".tar.gz"))

              (file-name (string-append name "-" version ".tar.gz"))

              (sha256

               (base32

                "1i9x91mi7yg2pasl0k3912f1pg46n37sps6rdb0v1gs8hj9ppwc1"))))

    (build-system ant-build-system)

    (arguments

     `(#:jar-name (string-append ,name "-" ,version ".jar")

       #:src-dir "src/main/java"

       #:tests? #f))

    (inputs

     `(("java-joda-convert" ,java-joda-convert)))

    (native-inputs

     `(("junit" ,java-junit)))

    (home-page "")

    (synopsis "")

    (description "")

    (license license:asl2.0)))

(define-public java-xstream

  (package

    (name "java-xstream")

    (version "1.4.9")

    (source (origin

              (method url-fetch)

              (uri (string-append "https://repo1.maven.org/maven2/com/thoughtworks"

                                  "/xstream/xstream-distribution/" version

                                  "/xstream-distribution-" version "-src.zip"))

              (file-name (string-append name "-" version ".zip"))

              (sha256

               (base32

                "1cq9j9h839wc6pkrgd9bd7y94a3zrj1j741i134izqs9xx2b54fi"))))

    (build-system ant-build-system)

    (arguments

     `(#:jar-name (string-append ,name "-" ,version ".jar")

       #:tests? #f

       #:src-dir "xstream/src/java"))

    (native-inputs

     `(("unzip" ,unzip)))

    (home-page "https://x-stream.github.io")

    (synopsis "")

    (description "")

    (license license:x11)))

(define-public java-jsonp

  (package

    (name "java-jsonp")

    (version "1.0.4")

    (source (origin

              (method git-fetch)

              (uri (git-reference

                     (url "git://java.net/jsonp~git")

                     (commit "a586e706aea82dc80fb05bdf59f2a25150ee1801")))

              (file-name (string-append name "-" version))

              (sha256

               (base32

                "01r4syivcywpvxkr1hn0az9316pr7qpnx154zzzw0nijfmdlbw7n"))))

    (build-system ant-build-system)

    (arguments

     `(#:jar-name (string-append ,name "-" ,version ".jar")

       #:tests? #f

       #:src-dir "api/src"))

    (home-page "https://jsonp.java.net")

    (synopsis "")

    (description "")

    (license (list license:gpl2

                   ;; actually CDDL 1.1

                   license:cddl1.0))))

;; Can only be built with gradle.

(define-public groovy

  (package

    (name "groovy")

    (version "2.4.10")

    (source (origin

              (method url-fetch)

              (uri (string-append "https://github.com/apache/groovy/archive/GROOVY_"

                                  "2_4_10.tar.gz"))

              (file-name (string-append name "-" version ".tar.gz"))

              (sha256

               (base32

                "0wapzqwpx4bh2fsqpzf3haakjz6wvfjx1vd9a4spavhlrjqk2pbb"))))

    (build-system ant-build-system)

    (arguments

     `(#:jar-name "groovy.jar"

       #:tests? #f))

    (native-inputs

     `(("junit" ,java-junit)))

    (inputs

     `(("commons-cli" ,java-commons-cli)

       ("antlr" ,antlr3)

       ("asm" ,java-asm)))

    (home-page "")

    (synopsis "")

    (description "")

    (license license:asl2.0)))

;; requires jline, javax.servlet, org.fusesource.jansi, org.livetribe,

;;   com.thoughtworks.xstream, org.apache.ivy, bsf

;;   antlr

(define-public groovy-1.8.9

  (package

    (inherit groovy)

    (name "groovy")

    (version "1.8.9")

    (source (origin

              (method url-fetch)

              (uri (string-append "https://github.com/apache/groovy/archive/GROOVY_"

                                  "1_8_9.tar.gz"))

              (file-name (string-append name "-" version ".tar.gz"))

              (sha256

               (base32

                "16z3jv5yw11wwwzbs6x41g83gqazhngg30ys2kpy7cpfm3rsqi71"))))

    (arguments

     `(#:jar-name (string-append ,name "-" ,version ".jar")

       #:tests? #f

       #:src-dir "src/main"))))

;; antlr2 is used to generate some java files in other packages. This is an old

;; package, it is not maintained anymore. It also contains the definition

;; for CommonTree and maybe other classes, so it is still required by more

;; recent antlr versions.

;;

;; antlr3.5 requires an antlr3 generator and ST4. Unfortunately, ST4 requires

;; an antlr3 generator. We use antlr3-3.1 that can be built with ST3 and antlr2

;; to build the intermediate antlr3-3.3 that requires only an antlr3 generator.

;; This intermediate antlr3 is used to build a version of ST4 that do not depend

;; on recent antlr3. Then this version is used to build the latest antlr3,

;; which is used to build the latest ST4, which is used as a dependency of the

;; latest antlr3.

;;

;; Then we can use the latest versions of ST4 and antlr3 to build antlr4.

(define-public antlr2

  (package

    (name "antlr2")

    (version "2.7.7")

    (source (origin

              (method url-fetch)

              (uri (string-append "http://www.antlr2.org/download/antlr-"

                                  version ".tar.gz"))

              (sha256

               (base32

                "1ffvcwdw73id0dk6pj2mlxjvbg0662qacx4ylayqcxgg381fnfl5"))

              (modules '((guix build utils)))

              (snippet

               '(begin

                  (delete-file "antlr.jar")

                  (substitute* "configure"

                    (("/bin/sh") "sh"))))))

    (build-system gnu-build-system)

    (arguments

     `(#:tests? #f

       #:phases

       (modify-phases %standard-phases

         (add-after 'configure 'fix-bin-ls

           (lambda _

             (for-each (lambda (file)

                         (substitute* file

                          (("/bin/ls") "ls")))

               (find-files "Makefile")))))))

    (native-inputs

     `(("which" ,which)

       ("java" ,icedtea "jdk")))

    (inputs

     `(("java" ,icedtea)))

    (home-page "http://www.antlr2.org")

    (synopsis "")

    (description "")

    (license license:public-domain)))

(define-public stringtemplate3

  (package

    (name "stringtemplate3")

    (version "3.2.1")

    (source (origin

              (method url-fetch)

              (uri (string-append "https://github.com/antlr/website-st4/raw/"

                                  "gh-pages/download/stringtemplate-"

                                  version ".tar.gz"))

              (sha256

               (base32

                "086yj68np1vqhkj7483diz3km6s6y4gmwqswa7524a0ca6vxn2is"))))

    (build-system ant-build-system)

    (arguments

     `(#:jar-name "stringtemplate-3.2.1.jar"

       #:tests? #f

       #:phases

       (modify-phases %standard-phases

         (add-before 'build 'generate-grammar

           (lambda _

             (let ((dir "src/org/antlr/stringtemplate/language/"))

               (for-each (lambda (file)

                           (display file)

                           (newline)

                           (system* "antlr" "-o" dir (string-append dir file)))

                         '("template.g" "angle.bracket.template.g" "action.g"

                           "eval.g" "group.g" "interface.g"))))))))

    (native-inputs

     `(("antlr" ,antlr2)))

    (home-page "http://www.stringtemplate.org")

    (synopsis "")

    (description "")

    (license license:bsd-3)))

(define-public antlr3-temp

  (package

    (name "antlr3-temp")

    (version "3.5.2")

    (source (origin

              (method url-fetch)

              (uri (string-append "https://github.com/antlr/antlr3/archive/"

                                  version ".tar.gz"))

              (file-name (string-append name "-" version ".tar.gz"))

              (sha256

               (base32

                "07zff5frmjd53rnqdx31h0pmswz1lv0p2lp28cspfszh25ysz6sj"))))

    (build-system ant-build-system)

    (arguments

     `(#:jar-name (string-append ,name "-" ,version ".jar")

       #:src-dir "tool/src/main/java:runtime/Java/src/main/java:tool/src/main/antlr3"

       #:tests? #f

       #:phases

       (modify-phases %standard-phases

         (add-after 'install 'bin-install

           (lambda* (#:key inputs outputs #:allow-other-keys)

             (let ((jar (string-append (assoc-ref outputs "out") "/share/java"))

                   (bin (string-append (assoc-ref outputs "out") "/bin")))

               (mkdir-p bin)

               (with-output-to-file (string-append bin "/antlr3")

                 (lambda _

                   (display

                     (string-append "#!/bin/sh\n"

                                    "java -cp " jar "/" ,name "-" ,version ".jar:"

                                    (string-concatenate

                                      (find-files (assoc-ref inputs "stringtemplate")

                                                  ".*\\.jar"))

                                    ":"

                                    (string-concatenate

                                      (find-files (assoc-ref inputs "stringtemplate4")

                                                  ".*\\.jar"))

                                    ":"

                                    (string-concatenate

                                      (find-files (string-append (assoc-ref inputs "antlr") "/lib")

                                                  ".*\\.jar"))

                                    " org.antlr.Tool $*"))))

               (chmod (string-append bin "/antlr3") #o755))))

         (add-before 'build 'generate-grammar

           (lambda _

             (chdir "tool/src/main/antlr3/org/antlr/grammar/v3/")

             (for-each (lambda (file)

                         (display file)

                         (newline)

                         (system* "antlr3" file))

                       '("ANTLR.g" "ANTLRTreePrinter.g" "ActionAnalysis.g"

                         "AssignTokenTypesWalker.g"

                         "ActionTranslator.g" "TreeToNFAConverter.g"

                         "ANTLRv3.g" "ANTLRv3Tree.g" "LeftRecursiveRuleWalker.g"

                         "CodeGenTreeWalker.g" "DefineGrammarItemsWalker.g"))

             (chdir "../../../../../../../..")

             (system* "antlr" "-o" "tool/src/main/java/org/antlr/tool"

                      "tool/src/main/java/org/antlr/tool/serialize.g")

             (substitute* "tool/src/main/java/org/antlr/tool/LeftRecursiveRuleAnalyzer.java"

               (("import org.antlr.grammar.v3.\\*;") "import org.antlr.grammar.v3.*;

import org.antlr.grammar.v3.ANTLRTreePrinter;"))

             (substitute* "tool/src/main/java/org/antlr/tool/ErrorManager.java"

               (("case NO_SUCH_ATTRIBUTE_PASS_THROUGH:") ""))

             (substitute* "tool/src/main/antlr3/org/antlr/grammar/v3/ANTLRParser.java"

               (("public Object getTree") "public GrammarAST getTree"))

             (substitute* "tool/src/main/antlr3/org/antlr/grammar/v3/ANTLRv3Parser.java"

               (("public Object getTree") "public CommonTree getTree"))))

         (add-before 'build 'fix-build-xml

           (lambda _

             (substitute* "build.xml"

               (("<exec") "<copy todir=\"${classes.dir}\">

<fileset dir=\"tool/src/main/resources\">

<include name=\"**/*.stg\"/>

<include name=\"**/*.st\"/>

<include name=\"**/*.sti\"/>

<include name=\"**/STLexer.tokens\"/>

</fileset>

</copy><exec")))))))

    (native-inputs

     `(("antlr" ,antlr2)

       ("antlr3" ,antlr3-3.3)))

    (inputs

     `(("junit" ,java-junit)))

    (propagated-inputs

     `(("stringtemplate" ,stringtemplate3)

       ("antlr" ,antlr2)

       ("stringtemplate4" ,stringtemplate4-4.0.6)))

    (home-page "http://www.stringtemplate.org")

    (synopsis "")

    (description "")

    (license license:bsd-3)))

(define-public antlr3

  (package

    (inherit antlr3-temp)

    (name "antlr3")

    (native-inputs

     `(("antlr" ,antlr2)

       ("antlr3" ,antlr3-temp)))

    (inputs

     `(("junit" ,java-junit)

       ("stringtemplate" ,stringtemplate3)

       ("stringtemplate4" ,stringtemplate4)))))

(define-public antlr3-3.3

  (package

    (name "antlr3")

    (version "3.3")

    (source (origin

              (method url-fetch)

              (uri (string-append "https://github.com/antlr/website-antlr3/raw/"

                                  "gh-pages/download/antlr-"

                                  version ".tar.gz"))

              (sha256

               (base32

                "0qgg5vgsm4l1d6dj9pfbaa25dpv2ry2gny8ajy4vvgvfklw97b3m"))))

    (build-system ant-build-system)

    (arguments

     `(#:jar-name (string-append ,name "-" ,version ".jar")

       #:src-dir "tool/src/main/java:runtime/Java/src/main/java:tool/src/main/antlr2:tool/src/main/antlr3"

       #:tests? #f

       #:phases

       (modify-phases %standard-phases

         (add-after 'install 'bin-install

           (lambda* (#:key inputs outputs #:allow-other-keys)

             (let ((jar (string-append (assoc-ref outputs "out") "/share/java"))

                   (bin (string-append (assoc-ref outputs "out") "/bin")))

               (mkdir-p bin)

               (with-output-to-file (string-append bin "/antlr3")

                 (lambda _

                   (display

                     (string-append "#!/bin/sh\n"

                                    "java -cp " jar "/antlr3-3.3.jar:"

                                    (string-concatenate

                                      (find-files (assoc-ref inputs "stringtemplate")

                                                  ".*\\.jar"))

                                    ":"

                                    (string-concatenate

                                      (find-files (string-append (assoc-ref inputs "antlr") "/lib")

                                                  ".*\\.jar"))

                                    " org.antlr.Tool $*"))))

               (chmod (string-append bin "/antlr3") #o755))))

         (add-before 'build 'generate-grammar

           (lambda _

             (let ((dir "tool/src/main/antlr2/org/antlr/grammar/v2/"))

               (for-each (lambda (file)

                           (display file)

                           (newline)

                           (system* "antlr" "-o" dir (string-append dir file)))

                         '("antlr.g" "antlr.print.g" "assign.types.g"

                           "buildnfa.g" "codegen.g" "define.g")))

             (chdir "tool/src/main/antlr3/org/antlr/grammar/v3/")

             (for-each (lambda (file)

                         (display file)

                         (newline)

                         (system* "antlr3" file))

                       '("ActionAnalysis.g" "ActionTranslator.g" "ANTLRv3.g"

                         "ANTLRv3Tree.g"))

             (chdir "../../../../../../../..")

             (substitute* "tool/src/main/java/org/antlr/tool/Grammar.java"

               (("import org.antlr.grammar.v2.\\*;")

                "import org.antlr.grammar.v2.*;\n

import org.antlr.grammar.v2.TreeToNFAConverter;\n

import org.antlr.grammar.v2.DefineGrammarItemsWalker;\n

import org.antlr.grammar.v2.ANTLRTreePrinter;"))))

         (add-before 'build 'fix-build-xml

           (lambda _

             (substitute* "build.xml"

               (("<exec") "<copy todir=\"${classes.dir}\">

<fileset dir=\"tool/src/main/resources\">

<include name=\"**/*.stg\"/>

<include name=\"**/*.st\"/>

<include name=\"**/*.sti\"/>

<include name=\"**/STLexer.tokens\"/>

</fileset>

</copy><exec")))))))

    (native-inputs

     `(("antlr" ,antlr2)

       ("antlr3" ,antlr3-3.1)))

    (inputs

     `(("junit" ,java-junit)))

    (propagated-inputs

     `(("stringtemplate" ,stringtemplate3)

       ("antlr" ,antlr2)

       ("antlr3" ,antlr3-3.1)))

    (home-page "http://www.stringtemplate.org")

    (synopsis "")

    (description "")

    (license license:bsd-3)))

(define-public antlr3-3.1

  (package

    (name "antlr3-3.1")

    (version "3.1")

    (source (origin

              (method url-fetch)

              (uri (string-append "https://github.com/antlr/website-antlr3/raw/"

                                  "gh-pages/download/antlr-"

                                  version ".tar.gz"))

              (sha256

               (base32

                "0sfimc9cpbgrihz4giyygc8afgpma2c93yqpwb951giriri6x66z"))))

    (build-system ant-build-system)

    (arguments

     `(#:jar-name (string-append ,name "-" ,version ".jar")

       #:src-dir "src:runtime/Java/src"

       #:tests? #f

       #:phases

       (modify-phases %standard-phases

         (add-after 'install 'bin-install

           (lambda* (#:key inputs outputs #:allow-other-keys)

             (let ((jar (string-append (assoc-ref outputs "out") "/share/java"))

                   (bin (string-append (assoc-ref outputs "out") "/bin")))

               (mkdir-p bin)

               (with-output-to-file (string-append bin "/antlr3")

                 (lambda _