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

;;; Copyright ?? 2013, 2015 Andreas Enge <andreas@enge.fr>

;;; Copyright ?? 2013, 2014, 2015, 2016, 2017 Ludovic Court??s <ludo@gnu.org>

;;; Copyright ?? 2014, 2015, 2016, 2017 Mark H Weaver <mhw@netris.org>

;;; Copyright ?? 2015 Sou Bunnbu <iyzsong@gmail.com>

;;; Copyright ?? 2016 Efraim Flashner <efraim@flashner.co.il>

;;; Copyright ?? 2016 Alex Griffin <a@ajgrf.com>

;;; 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 gnuzilla)

  #:use-module ((srfi srfi-1) #:hide (zip))

  #:use-module ((srfi srfi-26))

  #:use-module (gnu packages)

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

  #:use-module (guix utils)

  #:use-module (guix packages)

  #:use-module (guix download)

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

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

  #:use-module (more packages google)

  #:use-module (gnu packages assembly)

  #:use-module (gnu packages autotools)

  #:use-module (gnu packages base)

  #:use-module (gnu packages bison)

  #:use-module (gnu packages cmake)

  #:use-module (gnu packages commencement)

  #:use-module (gnu packages compression)

  #:use-module (gnu packages cups)

  #:use-module (gnu packages curl)

  #:use-module (gnu packages databases)

  #:use-module (gnu packages flex)

  #:use-module (gnu packages fontutils)

  #:use-module (gnu packages gcc)

  #:use-module (gnu packages gl)

  #:use-module (gnu packages glib)

  #:use-module (gnu packages gnome)

  #:use-module (gnu packages gnuzilla)

  #:use-module (gnu packages gtk)

  #:use-module (gnu packages icu4c)

  #:use-module (gnu packages image)

  #:use-module (gnu packages libcanberra)

  #:use-module (gnu packages libevent)

  #:use-module (gnu packages libffi)

  #:use-module (gnu packages libreoffice)

  #:use-module (gnu packages linux)

  #:use-module (gnu packages llvm)

  #:use-module (gnu packages nss)

  #:use-module (gnu packages perl)

  #:use-module (gnu packages pkg-config)

  #:use-module (gnu packages pulseaudio)

  #:use-module (gnu packages python)

  #:use-module (gnu packages rust)

  #:use-module (gnu packages sqlite)

  #:use-module (gnu packages version-control)

  #:use-module (gnu packages video)

  #:use-module (gnu packages xdisorg)

  #:use-module (gnu packages xorg)

  #:use-module (ice-9 match))

;(define-public icecat-skia

;  (package

;    (inherit icecat)

;    (name "icecat-skia")

;    (inputs

;     `(("skia" ,skia)

;       ,@(package-inputs icecat)))

;    (arguments (substitute-keyword-arguments (package-arguments icecat)

;                 ((#:configure-flags flags)

;                  `(cons* "--enable-skia" ,flags))))))

;(define-public icu4c-for-firefox

;  (package

;   (inherit icu4c)

;   (name "icu4c")

;   (version "59.1")

;   (source (origin

;            (method url-fetch)

;            (uri (string-append

;                  "http://download.icu-project.org/files/icu4c/"

;                  version

;                  "/icu4c-"

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

;                  "-src.tgz"))

;            (sha256

;             (base32 "1zkmbg2932ggvpgjp8pys0cj6z8bw087y8858009shkrjfpzscki"))))))

;(define nss-for-firefox

;  (package

;    (inherit nss)

;    (name "nss")

;    (version "3.34.1")

;    (source (origin

;              (method url-fetch)

;              (uri (let ((version-with-underscores

;                          (string-join (string-split version #\.) "_")))

;                     (string-append

;                      "https://ftp.mozilla.org/pub/mozilla.org/security/nss/"

;                      "releases/NSS_" version-with-underscores "_RTM/src/"

;                      "nss-" version ".tar.gz")))

;              (sha256

;               (base32

;                "186x33wsk4mzjz7dzbn8p0py9a0nzkgzpfkdv4rlyy5gghv5vhd3"))

;              ;; Create nss.pc and nss-config.

;              (patches (search-patches "nss-pkgconfig.patch"

;                                       "nss-increase-test-timeout.patch"))))))

;(define-public libpng-apng-for-firefox

;  (package

;    (inherit libpng-apng)

;    (name "libpng-apng")

;    (version "1.6.34")

;    (source

;     (origin

;       (method url-fetch)

;       (uri (list (string-append "mirror://sourceforge/libpng/libpng16/"

;                                 version "/libpng-" version ".tar.xz")

;                  (string-append

;                   "ftp://ftp.simplesystems.org/pub/libpng/png/src"

;                   "/libpng16/libpng-" version ".tar.xz")

;                  (string-append

;                   "ftp://ftp.simplesystems.org/pub/libpng/png/src/history"

;                   "/libpng16/libpng-" version ".tar.xz")))

;       (sha256

;        (base32

;         "1xjr0v34fyjgnhvaa1zixcpx5yvxcg4zwvfh0fyklfyfj86rc7ig"))))

;    (inputs

;     `(("apng" ,(origin

;                  (method url-fetch)

;                  (uri

;                   (string-append "mirror://sourceforge/libpng-apng/libpng16/"

;                                  version "/libpng-" version "-apng.patch.gz"))

;                  (sha256

;                   (base32

;                    "1ha4npf9mfrzp0srg8a5amks5ww84xzfpjbsj8k3yjjpai798qg6"))))))))

(define-public sqlite-for-firefox

  (package

   (inherit sqlite)

   (name "sqlite")

   (version "3.25.2")

   (source (origin

            (method url-fetch)

            (uri (let ((numeric-version

                        (match (string-split version #\.)

                          ((first-digit other-digits ...)

                           (string-append first-digit

                                          (string-pad-right

                                           (string-concatenate

                                            (map (cut string-pad <> 2 #\0)

                                                 other-digits))

                                           6 #\0))))))

                   (string-append "https://sqlite.org/2018/sqlite-autoconf-"

                                  numeric-version ".tar.gz")))

            (sha256

             (base32

              "109i1sfryghrdaynkqq9s9aq4347vy653bwkqwx4slix8a2196ns"))))

   (arguments

    `(#:configure-flags

      ;; Add -DSQLITE_SECURE_DELETE, -DSQLITE_ENABLE_UNLOCK_NOTIFY and

      ;; -DSQLITE_ENABLE_DBSTAT_VTAB to CFLAGS.  GNU Icecat will refuse

      ;; to use the system SQLite unless these options are enabled.

      (list "--enable-fts5" "--disable-static"

        (string-append "CFLAGS=-O2 -DSQLITE_SECURE_DELETE "

                       "-DSQLITE_ENABLE_UNLOCK_NOTIFY "

                       "-DSQLITE_ENABLE_DBSTAT_VTAB "

                       "-DSQLITE_ENABLE_FTS3=1 "

                       "-DSQLITE_ENABLE_FTS4=1 -DSQLITE_ENABLE_COLUMN_METADATA=1 "

                       "-DSQLITE_ENABLE_FTS3_TOKENIZER=1"))))))

(define-public firefox

  (package

    (inherit icecat)

    (name "firefox")

    (version "62.0.3")

    (source (origin

              (method url-fetch)

              (uri (string-append "https://archive.mozilla.org/pub/firefox/"

                                  "releases/" version "/source/firefox-"

                                  version ".source.tar.xz"))

              (sha256

               (base32

                "0dj6x7mbnq7f1yx2hxzhzgqzazz7hmq5ir5jk0iya98jggmhdmf1"))

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

              (modules '((guix build utils)))

              (snippet

                '(begin

                   (delete-file-recursively "mobile")

                   #t))))

    (arguments

      (substitute-keyword-arguments (package-arguments icecat)

        ((#:configure-flags cf)

         `(list "--enable-default-toolkit=cairo-gtk3"

                "--with-distribution-id=org.gnu"

                "--enable-startup-notification"

                "--enable-pulseaudio"

                "--disable-tests"

                "--disable-updater"

                "--disable-crashreporter"

                "--disable-maintenance-service"

                ;"--disable-eme"

                "--disable-gconf"

                "--disable-debug"

                "--disable-debug-symbols"

                (string-append "--with-clang-path="

                               (assoc-ref %build-inputs "clang") "/bin/clang")

                (string-append "--with-libclang-path="

                               (assoc-ref %build-inputs "clang") "/lib")

                "--enable-system-sqlite"

                "--with-system-libevent"

                "--with-system-libvpx"

                "--with-system-nspr"

                "--with-system-nss"

                "--with-system-icu"

                "CC=gcc"))

        ((#:phases phases)

         `(modify-phases ,phases

            (delete 'install-desktop-entry)

            (delete 'install-icons)

            (replace 'patch-cargo-checksums

              (lambda _

                (use-modules (guix build cargo-build-system))

                (let ((null-file "/dev/null")

                      (null-hash "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855"))

                  (substitute* '("Cargo.lock")

                    (("(\"checksum .* = )\".*\"" all name)

                     (string-append name "\"" null-hash "\"")))

                  (let ((checksum-files (find-files "third_party/rust"

                                                    ".cargo-checksum.json")))

                    (for-each delete-file checksum-files)

                    (for-each

                     (lambda (filename)

                       (let ((dir (dirname filename)))

                         (display (string-append

                                   "patch-cargo-checksums: generate-checksums for "

                                   dir "\n"))

                         (generate-checksums dir null-file)))

                     checksum-files)))

                #t))

         (add-after 'unpack 'fix-stylo

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

             (substitute* "servo/components/style/build_gecko.rs"

               (("builder = builder.include")

                (string-append

                  "builder = builder.clang_arg(\"-cxx-isystem\");

                  builder = builder.clang_arg(\""

                  (assoc-ref inputs "gcc") "/include/c++\");

                  builder = builder.clang_arg(\"-cxx-isystem\");

                  builder = builder.clang_arg(\""

                  (car (find-files (string-append

                                     (assoc-ref inputs "gcc")

                                     "/include/c++")

                                   "-gnu$" #:directories? #t)) "\");

builder = builder.include")))

             #t))

         (add-after 'unpack 'fix-isnan

           (lambda _

             ;; There is a bug preventing SymbolTable_autogen.cpp from finding

             ;; isnan and isinf, although they are defined in that same file.

             ;; The reason seems to be that they are already defined in math.h

             (substitute* "gfx/angle/checkout/src/compiler/translator/SymbolTable_autogen.cpp"

			   (("^namespace sh")

				"#undef isnan

#undef isinf

namespace sh"))

             #t))

         (add-before 'build 'fix-cpath

           (lambda _

             (setenv "CPATH" (getenv "CPLUS_INCLUDE_PATH"))

             (unsetenv "CPLUS_INCLUDE_PATH")

             (setenv "CC" "gcc")

             #t))

         (replace

          'configure

          ;; configure does not work followed by both "SHELL=..." and

          ;; "CONFIG_SHELL=..."; set environment variables instead

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

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

                   (bash (which "bash"))

                   (abs-srcdir (getcwd))

                   (srcdir (string-append "../" (basename abs-srcdir)))

                   (flags `(,(string-append "--prefix=" out)

                            ;,(string-append "--with-l10n-base="

                            ;                abs-srcdir "/intl/l10n")

                            ,@configure-flags)))

              (setenv "SHELL" bash)

              (setenv "CONFIG_SHELL" bash)

              (setenv "AUTOCONF" (which "autoconf")) ; must be autoconf-2.13

              (mkdir "../build")

              (chdir "../build")

              (format #t "build directory: ~s~%" (getcwd))

              (format #t "configure flags: ~s~%" flags)

              (apply invoke bash

                     (string-append srcdir "/configure")

                     flags))))

         ;; This fixes the file chooser crash that happens with GTK 3.

         (replace 'wrap-program

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

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

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

                    (gtk (assoc-ref inputs "gtk+"))

                    (gtk-share (string-append gtk "/share")))

               (wrap-program (car (find-files lib "^firefox$"))

                 `("XDG_DATA_DIRS" ":" prefix (,gtk-share)))

               #t)))))))

    (inputs

     `(("nspr" ,nspr)

       ("nss" ,nss)

       ("sqlite" ,sqlite-for-firefox)

       ,@(alist-delete "sqlite" (package-inputs icecat))))

    (native-inputs

     `(("gcc" ,gcc-6)

       ("gcc-toolchain-6" ,gcc-toolchain-6)

       ("python-3" ,python-3)

       ("clang" ,clang)

       ("llvm" ,llvm)

       ,@(package-native-inputs icecat)))))

      ;(snippet

      ; '(begin

      ;    (use-modules (ice-9 ftw))

      ;    ;; Remove bundled libraries that we don't use, since they may

      ;    ;; contain unpatched security flaws, they waste disk space and

      ;    ;; network bandwidth, and may cause confusion.

      ;    (for-each delete-file-recursively

      ;              '(;; FIXME: Removing the bundled icu breaks configure.

      ;                ;;   * The bundled icu headers are used in some places.

      ;                ;;   * The version number is taken from the bundled copy.

      ;                ;;"intl/icu"

      ;                ;;

      ;                ;; FIXME: A script from the bundled nspr is used.

      ;                ;;"nsprpub"

      ;                ;;

      ;                ;; TODO: Use system media libraries.  Waiting for:

      ;                ;; <https://bugzilla.mozilla.org/show_bug.cgi?id=517422>

      ;                ;;   * libogg

      ;                ;;   * libtheora

      ;                ;;   * libvorbis

      ;                ;;   * libtremor (not yet in guix)

      ;                ;;   * libopus

      ;                ;;   * speex

      ;                ;;   * soundtouch (not yet in guix)

      ;                ;;

      ;                ;; TODO: Use system harfbuzz.  Waiting for:

      ;                ;; <https://bugzilla.mozilla.org/show_bug.cgi?id=847568>

      ;                ;;

      ;                ;; TODO: Use system graphite2.

      ;                ;;

      ;                "modules/freetype2"

      ;                "modules/zlib"

      ;                "modules/libbz2"

      ;                "ipc/chromium/src/third_party/libevent"

      ;                "media/libjpeg"

      ;                "media/libvpx"

      ;                "security/nss"

      ;                "gfx/cairo"

      ;                "js/src/ctypes/libffi"

      ;                "db/sqlite3"))

      ;    ;; Delete this file that has incorrect checksums

      ;    (for-each delete-file (find-files "." "\\.cargo-checksum.json"))

      ;    ;; Delete .pyc files, typically present in icecat source tarballs

      ;    (for-each delete-file (find-files "." "\\.pyc$"))

      ;    ;; Delete obj-* directories, sometimes present in icecat tarballs

      ;    (for-each delete-file-recursively

      ;              (scandir "." (lambda (name)

      ;                             (string-prefix? "obj-" name))))

      ;    #t))))))

(define-public java-jmapviewer

  (package

    (name "java-jmapviewer")

    (version "2.9")

    (source (origin

              (method url-fetch)

              (uri (string-append "https://svn.openstreetmap.org/applications/viewer/jmapviewer/releases/"

                                  version "/JMapViewer-" version "-Source.zip"))

              (sha256

               (base32

                "06jilhvsx662raix58g8ccl56d1pmirwlys9px0mdg7j46wixk6l"))))

    (build-system ant-build-system)

    (native-inputs

     `(("unzip" ,unzip)))

    (arguments

     `(#:build-target "pack"

       #:tests? #f; No tests

       #:phases

       (modify-phases %standard-phases

         (add-before 'build 'clean

           (lambda* _

             (zero? (system* "ant" "clean"))))

         (replace 'install

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

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

               (mkdir-p dir)

               (copy-file "JMapViewer.jar" (string-append dir "JMapViewer.jar"))))))))

    (home-page "https://wiki.openstreetmap.org/wiki/JMapViewer")

    (synopsis "OSM map integration in Java")

    (description "JMapViewer is a Java component which allows to easily

integrate an OSM map view into your Java application.  It is maintained as

an independent project by the JOSM team.")

    (license license:gpl2)))

(define-public java-jboss-transaction-api-spec

  (package

    (name "java-jboss-transaction-api-spec")

    (version "1.2")

    (source (origin

              (method url-fetch)

              (uri (string-append "https://github.com/jboss/jboss-transaction-api_spec/"

                                  "archive/jboss-transaction-api_" version

                                  "_spec-1.0.1.Final.tar.gz"))

              (sha256

               (base32

                "0yhyjf9p21cjs84nz66bxnmzdxdr98kfpbyp5gr3js0hwl6zz7xb"))))

    (build-system ant-build-system)

    (arguments

     `(#:jar-name "java-jboss-transaction-api_spec.jar"

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

       #:tests? #f)); no tests

    (inputs

     `(("java-cdi-api" ,java-cdi-api)

       ("java-jboss-interceptors-api-spec" ,java-jboss-interceptors-api-spec)))

    (home-page "https://github.com/jboss/jboss-transaction-api_spec")

    (synopsis "")

    (description "")

    (license (list license:gpl2 license:cddl1.0)))); either gpl2 only or cddl.

       ("java-commons-pool2" ,java-commons-pool2)

(define-public java-commons-pool

(define-public java-commons-pool2

  (package

    (name "java-commons-pool2")

    (version "2.6.2")

    (source (origin

              (method url-fetch)

              (uri (string-append "mirror://apache/commons/pool/source/"

                                  "commons-pool2-" version "-src.tar.gz"))

              (sha256

               (base32

                "1fi1hgqmq01bs6azbj3sfswxzadp2r8sjjfiq6ryilz1m50kvrv6"))))

    (arguments

     `(#:jar-name "common-pool.jar"

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

       #:test-exclude

       (list "**/PerformanceTest.java")))

    (build-system ant-build-system)

    (inputs

     `(("java-cglib" ,java-cglib)))

    (native-inputs

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

       ("java-hamcrest-core" ,java-hamcrest-core)

       ("java-asm" ,java-asm)

       ("java-objenesis" ,java-objenesis)))

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

    (synopsis "")

    (description "")

    (license license:asl2.0)))

(define-public java-commons-dbcp2

  (package

    (name "java-commons-dbcp2")

    (version "2.6.0")

    (source (origin

              (method url-fetch)

              (uri (string-append "mirror://apache/commons/dbcp/source/"

                                  "commons-dbcp2-" version "-src.tar.gz"))

              (sha256

               (base32

                "0axbvcbnf2l70fc3ybrlp3siw2w4ka9mia2pnx4py8gz54cpw3rc"))))

    (arguments

     `(#:source-dir "src/main/java"

       #:jar-name "java-commons-dbcp.jar"

       #:tests? #f));??requires apache-geronimo

    (inputs

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

       ("java-commons-logging" ,java-commons-logging-minimal)

       ("java-jboss-transaction-api-spec" ,java-jboss-transaction-api-spec)))

    (native-inputs

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

    (build-system ant-build-system)

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

    (synopsis "")

    (description "")

    (license license:asl2.0)))

(define-public java-commons-dbcp

  (package

    (inherit java-commons-dbcp2)

    (version "1.4")

    (name "java-commons-dbcp")

    (source (origin

              (method url-fetch)

              (uri (string-append "mirror://apache/commons/dbcp/source/"

                                  "commons-dbcp-" version "-src.tar.gz"))

              (sha256

               (base32

                "10zjdngdki7bfklikrsr3fq0cmapf4fwc0klzqhi3iwzwx30iwgm"))

              (patches

                (search-patches "java-commons-dbcp-fix-abstract.patch"))))

    (arguments

     `(#:source-dir "src/java"

       #:jar-name "java-commons-dbcp.jar"

       #:tests? #f)); FIXME: error in a test class

    (inputs

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

       ("java-commons-logging" ,java-commons-logging-minimal)

       ("java-jboss-transaction-api-spec" ,java-jboss-transaction-api-spec)))))

(define-public java-jsonp-api

  (package

    (name "java-jsonp-api")

    (version "1.1.3")

    (source (origin

              (method url-fetch)

              (uri (string-append "https://github.com/eclipse-ee4j/jsonp/archive/"

                                  version "-RELEASE.tar.gz"))

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

              (sha256

               (base32

                "15d7rp4xb482h8r0j3j83wa34bmz84q89s9n8ydfgz6l492syfhc"))))

    (build-system ant-build-system)

    (arguments

     `(#:jar-name "jsonp-api.jar"

       #:tests? #f

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

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

    (home-page "https://javaee.github.io/jsonp/")

    (synopsis "")

    (description "")

    (license (list license:gpl2

                   license:epl2.0))))

(define-public java-jsonp-impl

  (package

    (inherit java-jsonp-api)

    (name "java-jsonp-impl")

    (arguments

     `(#:jar-name "jsonp-impl.jar"

       #:tests? #f

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

       #:test-dir "impl/src/test"))

    (propagated-inputs

     `(("java-jsonp-api" ,java-jsonp-api)))))

(define-public ant-junit

  (package

    (inherit ant)

    (name "ant-junit")

    (build-system ant-build-system)

    (arguments

     `(#:build-target "jars"

       #:tests? #f; disabled for now

       #:phases

       (modify-phases %standard-phases

         (add-before 'build 'copy

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

             (for-each (lambda (file) (copy-file file "lib/optional/junit.jar"))

                       (find-files (string-append (assoc-ref inputs "java-junit") "/share") ".*.jar"))

             #t))

         (replace 'install

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

             (install-file "build/lib/ant-junit.jar"

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

    (inputs

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

(define-public java-xmlgraphics-commons

  (package

    (name "java-xmlgraphics-commons")

    (version "2.4")

    (source (origin

              (method url-fetch)

              (uri (string-append "mirror://apache/xmlgraphics/commons/source/"

                                  "xmlgraphics-commons-" version "-src.tar.gz"))

              (sha256

               (base32

                "0zdkngb896cr35jq1v859j2kpqyn6a87k6a893h394hgvnz7yi3v"))))

    (build-system ant-build-system)

    (arguments

     `(#:jar-name "xmlgraphics-commons.jar"

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

       #:test-dir "src/test"

       #:tests? #f; FIXME: need commons-xml-resolver

       #:phases

       (modify-phases %standard-phases

         (add-before 'build 'copy-resources

           (lambda _

             (copy-recursively "src/main/resources" "build/classes")

             #t)))))

    (inputs

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

       ("java-commons-logging-minimal" ,java-commons-logging-minimal)))

    (native-inputs

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

       ("java-mockito-1" ,java-mockito-1)))

    (home-page "https://xmlgraphics.apache.org")

    (synopsis "")

    (description "")

    (license license:asl2.0)))

(define-public java-mockito

  (package

    (name "java-mockito")

    (version "2.23.6")

    (source (origin

              (method url-fetch)

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

                                  version ".tar.gz"))

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

              (sha256

               (base32

                "08vw3fqymgpjww06q4zvc6247dj2a7y3hgxsfghxny5lklh12qml"))))

    (build-system ant-build-system)

    (arguments

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

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

       #:tests? #f; Some compilation errors

       #:phases

       (modify-phases %standard-phases

         (add-before 'build 'use-system-asm

           (lambda _

             (substitute* "src/main/java/org/mockito/internal/creation/bytebuddy/InlineBytecodeGenerator.java"

               (("net.bytebuddy.jar.asm") "org.objectweb.asm"))

             #t)))))

    (propagated-inputs

     `(("java-asm" ,java-asm)

       ("java-byte-buddy-agent" ,java-byte-buddy-agent)

       ("java-byte-buddy-dep" ,java-byte-buddy-dep)

       ("java-hamcrest-core" ,java-hamcrest-core)

       ("java-junit" ,java-junit)

       ("java-objenesis" ,java-objenesis)))

    (native-inputs

     `(("java-assertj" ,java-assertj)))

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

    (synopsis "")

    (description "")

    (license license:asl2.0)))

(define-public java-picocli

  (package

    (name "java-picocli")

    (version "3.8.2")

    (source (origin

              (method url-fetch)

              (uri (string-append "https://github.com/remkop/picocli/archive/v"

                                  version ".tar.gz"))

              (sha256

               (base32

                "0rbk4kccy8qd2gnrfk9455rp48ign82h9a5n98ry4ac1i1x2ffax"))))

    (build-system ant-build-system)

    (arguments

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

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

       ;; Require org.junit.contrib.java.lang.system.*

       #:tests? #f

       #:phases

       (modify-phases %standard-phases

         (add-before 'build 'remove-groovy-dependency

           (lambda _

	     ;; Groovy depends on picocli, so remove a cyclic dependency here

	     (delete-file-recursively "src/main/java/picocli/groovy")

	     #t)))))

    (native-inputs

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

    (home-page "")

    (synopsis "")

    (description "")

    (license license:asl2.0)))

(define-public maven-plugin-annotations

  (package

    (inherit maven-plugin-tools-api)

    (name "maven-plugin-annotations")

    (arguments

     `(#:jar-name "maven-plugin-annotations.jar"

       #:tests? #f; no tests

       #:source-dir "maven-plugin-annotations/src/main/java"))

    (inputs

     `(("maven-artifact" ,maven-artifact)))

    (description "")))

;;; 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 mercury)

  #: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 gnu)

  #:use-module (gnu packages bison)

  #:use-module (gnu packages flex)

  #:use-module (gnu packages glib))

(define-public mercury

  (package

    (name "mercury")

    (version "14.01.1")

    (source (origin

              (method url-fetch)

              (uri (string-append "http://dl.mercurylang.org/release/mercury-srcdist-"

                                  version ".tar.gz"))

              (sha256

               (base32

                "12z8qi3da8q50mcsjsy5bnr4ia6ny5lkxvzy01a3c9blgbgcpxwq"))))

    (build-system gnu-build-system)

    (arguments

     `(#:tests? #f; no test target

       #:phases

       (modify-phases %standard-phases

         (add-before 'configure 'fix-bin-sh

           (lambda _

             (substitute* '(;"library/io.m"

                            "scripts/Mmake.vars.in"

                            "bindist/bindist.Makefile.in"

                            "bindist/bindist.Makefile"

                            "boehm_gc/Makefile.dj"

                            "boehm_gc/Makefile.direct")

                            ;"library/io.c")

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

             (substitute* '("tools/cvdd" "tools/binary_step" "tools/bootcheck"

                            "tools/binary" "tools/unary" "tools/speedtest"

                            "tools/linear" "scripts/prepare_install_dir.in"

                            "Mmakefile")

               (("/bin/pwd") (which "pwd")))

             (setenv "CONFIG_SHELL" (which "sh"))

             #t)))))

    (native-inputs

     `(("bison" ,bison)

       ("flex" ,flex)))

    (home-page "https://www.mercurylang.org")

    (synopsis "Pure logic programming language")

    (description "Mercury is a pure logic programming language intended for

the creation of large, fast, reliable programs.  The syntax of Mercury is

based on the syntax of Prolog, but semantically the two languages are very

different due to Mercury's purity, its type, mode, determinism and module

systems.")

    (license license:lgpl2.0+)))

;; goes to check.scm

(define-public bcunit

  (package

    (name "bcunit")

    ;; version 3.0 as released in github cannot be used

    (version "3.0-1")

    (source (origin

              (method git-fetch)

              (uri (git-reference

                     (url "https://github.com/BelledonneCommunications/bcunit")

                     (commit "cf1aaa36c5738c25e59c8fafbade388a0081cd53")))

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

              (sha256

               (base32

                "1ryzq704p7pfkxfy5fcp624lpa8y0s2raj4742hhr9d01j6dnghq"))))

    (build-system gnu-build-system)

    (arguments

     `(#:phases

       (modify-phases %standard-phases

         (add-before 'configure 'autogen

           (lambda _

             (zero? (system* "./autogen.sh")))))))

    (native-inputs

     `(("autoconf" ,autoconf)

       ("automake" ,automake)

       ("intltool" ,intltool)

       ("libtool" ,libtool)

       ("pkg-config" ,pkg-config)

       ("which" ,which)))

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

    (synopsis "C unit testing framework")

    (description

      "fork of the defunct project CUnit (see below), with several fixes and

patches applied.")

    (license license:lgpl2.0+)))

(define-public bctoolbox

  (package

    (name "bctoolbox")

    (version "0.5.1")

    (source (origin

              (method url-fetch)

              (uri (string-append "https://github.com/BelledonneCommunications/"

                                  "bctoolbox/archive/" version ".tar.gz"))

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

              (sha256

               (base32

                "1qx65qva29ljpx42c530n96lc5f0gdxbkd33nkcvbpj641zkd2bi"))))

    (build-system gnu-build-system)

    (arguments

     `(#:phases

       (modify-phases %standard-phases

         (add-before 'configure 'autogen

           (lambda _

             (zero? (system* "./autogen.sh")))))

       #:configure-flags

       (list "--with-pic" "CFLAGS=-fPIC" "CXXFLAGS=-fPIC")

       #:make-flags (list "AM_V_CC=" "AM_V_CXX=")))

    (native-inputs

     `(("autoconf" ,autoconf)

       ("automake" ,automake)

       ("intltool" ,intltool)

       ("libtool" ,libtool)

       ("pkg-config" ,pkg-config)

       ("which" ,which)))

    (inputs

     `(("bcunit" ,bcunit)))

    (propagated-inputs

     `(("mbedtls-apache" ,mbedtls)))

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

    (synopsis "OS abstraction layer")

    (description

      "Utilities library used by Belledonne Communications software like

belle-sip, mediastreamer2 and linphone.")

    (license license:gpl2+)))

(define-public ortp

  (package

    (name "ortp")

    (version "1.0.1")

    (source (origin

              (method url-fetch)

              (uri (string-append "https://github.com/BelledonneCommunications/"

                                  "ortp/archive/" version ".tar.gz"))

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

              (sha256

               (base32

                "1rkwawydvkk1bnl4y5fqm4ip472wsviys7mcd6ryhrb9p21azakv"))))

    (build-system gnu-build-system)

    (arguments

     `(#:phases

       (modify-phases %standard-phases

         (add-before 'configure 'autogen

           (lambda _

             (zero? (system* "./autogen.sh")))))))

    (native-inputs

     `(("autoconf" ,autoconf)

       ("automake" ,automake)

       ("intltool" ,intltool)

       ("libtool" ,libtool)

       ("pkg-config" ,pkg-config)

       ("which" ,which)))

    (inputs

     `(("bctoolbox" ,bctoolbox)))

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

    (synopsis "RTP protocol implementation")

    (description

      "RTP protocol implementation.")

    (license license:gpl2+)))

(define-public belle-sip

  (package

    (name "belle-sip")

    (version "1.6.1")

    (source (origin

              (method url-fetch)

              (uri (string-append "https://github.com/BelledonneCommunications/"

                                  "belle-sip/archive/" version ".tar.gz"))

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

              (sha256

               (base32

                "0bn5g4a62dg60lsm7qmmnqa6wrl1vs2z7sgwg3fmjgs044nlbsk0"))))

    (build-system gnu-build-system)

    (arguments

     `(#:phases

       (modify-phases %standard-phases

         (add-before 'configure 'autogen

           (lambda _

             (zero? (system* "./autogen.sh")))))

       #:configure-flags

       (list "CFLAGS=-D_temp=NULL"

             (string-append "--with-antlr=" (assoc-ref %build-inputs "antlr")))))

    (native-inputs

     `(("autoconf" ,autoconf)

       ("automake" ,automake)

       ("intltool" ,intltool)

       ("libtool" ,libtool)

       ("pkg-config" ,pkg-config)

       ("vim" ,vim)

       ("which" ,which)))

    (inputs

     `(("antlr" ,antlr3)

       ("bctoolbox" ,bctoolbox)

       ("libantlr3c" ,libantlr3c)))

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

    (synopsis "")

    (description

      "")

    (license license:gpl2+)))

(define-public frama-c

  (package

    (name "frama-c")

    (version "20171101")

    (source (origin

              (method url-fetch)

              (uri (string-append "http://frama-c.com/download/frama-c-Sulfur-"

                                  version ".tar.gz"))

              (sha256

               (base32

                "1vwjfqmm1r36gkybsy3a7m89q5zicf4rnz5vlsn9imnpjpl9gjw1"))))

    (build-system ocaml-build-system)

    (arguments

     `(#:tests? #f; for now

       #:phases

       (modify-phases %standard-phases

         (add-before 'configure 'export-shell

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

             (setenv "CONFIG_SHELL" (string-append (assoc-ref inputs "bash")

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

    (inputs

     `(("gmp" ,gmp)

       ("ocaml-graph" ,ocaml-graph)

       ("ocaml-zarith" ,ocaml-zarith)))

    (home-page "")

    (synopsis "")

    (description "")

    (license license:lgpl2.1+)))

(define-public libxmlb

  (package

    (name "libxmlb")

    (version "0.1.11")

    (source (origin

              (method git-fetch)

              (uri (git-reference

                     (url "https://github.com/hughsie/libxmlb")

                     (commit version)))

              (sha256

               (base32

                "1503v76w7543snqyjxykiqa5va62zb0ccn3jlw0gpdx8973v80mr"))))

    (build-system meson-build-system)

    (arguments

     `(#:tests? #f))

    (native-inputs

     `(("cmake" ,cmake)

       ("gobject-introspection" ,gobject-introspection); for g-ir-scanner

       ("gtk-doc" ,gtk-doc)

       ("pkg-config" ,pkg-config)))

    (inputs

     `(("glib" ,glib)

       ("util-linux" ,util-linux)

       )

      )

    (home-page "https://github.com/hughsie/libxmlb")

    (synopsis "")

    (description "")

    (license license:lgpl2.1+)))

;;; 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 perl)

  #: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 gnu)

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

  #:use-module (gnu packages glib)

  #:use-module (gnu packages gtk)

  #:use-module (gnu packages perl))

(define-public perl-glib

  (package

    (name "perl-glib")

    (version "1.324")

    (source (origin

              (method url-fetch)

              (uri (string-append "https://downloads.sourceforge.net/sourceforge"

                                  "/gtk2-perl/Glib-" version ".tar.gz"))

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

              (sha256

               (base32

                "0klvmn8czm1bq0xv0rx474ln3zabjjhyy1yqhfvw25wzbd5j26kh"))))

    (build-system perl-build-system)

    (native-inputs

     `(("perl-extutils-depends" ,perl-extutils-depends)

       ("perl-extutils-pkgconfig" ,perl-extutils-pkgconfig)))

    (inputs

     `(("perl" ,perl)

       ("glib" ,glib)))

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

    (synopsis "Perl wrappers for glib 2.x, including GObject")

    (description

      "Perl-glib is a collection of perl wrappers for glib 2.x, including GObject.")

    (license license:lgpl2.1+)))

(define-public perl-cairo

  (package

    (name "perl-cairo")

    (version "1.106")

    (source (origin

              (method url-fetch)

              (uri (string-append "https://downloads.sourceforge.net/sourceforge"

                                  "/gtk2-perl/Cairo-" version ".tar.gz"))

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

              (sha256

               (base32

                "1i25kks408c54k2zxskvg54l5k3qadzm8n72ffga9jy7ic0h6j76"))))

    (build-system perl-build-system)

    (native-inputs

     `(("perl-extutils-depends" ,perl-extutils-depends)

       ("perl-extutils-pkgconfig" ,perl-extutils-pkgconfig)))

    (inputs

     `(("perl" ,perl)

       ("cairo" ,cairo)))

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

    (synopsis "Perl wrappers for cairo")

    (description

      "Perl-cairo is a collection of perl wrappers for cairo.")

    (license license:lgpl2.1+)))

(define-public perl-gtk2

  (package

    (name "perl-gtk2")

    (version "1.2498")

    (source (origin

              (method url-fetch)

              (uri (string-append "https://downloads.sourceforge.net/sourceforge"

                                  "/gtk2-perl/Gtk2-" version ".tar.gz"))

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

              (sha256

               (base32

                "0gs6lr4clz86838s3klrl37lf48j24zv0p37jlsvsnr927whpq3j"))))

    (build-system perl-build-system)

    (native-inputs

     `(("perl-extutils-depends" ,perl-extutils-depends)

       ("perl-extutils-pkgconfig" ,perl-extutils-pkgconfig)))

    (inputs

     `(("perl-pango" ,perl-pango)

       ("perl-glib" ,perl-glib)

       ("gtk" ,gtk+-2)))

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

    (synopsis "Perl wrappers for GTK+ 2.x")

    (description

      "Perl-gtk2 is a collection of perl wrappers for GTK+ 2.x.")

    (license license:lgpl2.1+)))

;perl-gdgraph

;perl-mp3-info

;perl-net-snmp

;perl-sort-naturally

(define-public why3

  (package

    (name "why3")

    (version "0.88.3")

    (source (origin

              (method url-fetch)

              (uri (string-append "https://gforge.inria.fr/frs/download.php/file"

                                  "/37313/why3-" version ".tar.gz"))

              (sha256

               (base32

                "0limdqy9l5bjzwhdalcfdyh0b6laxgiphhvr4bby9p0030agssiy"))))

    (build-system gnu-build-system)

    (native-inputs

     `(("ocaml" ,ocaml)))

    (propagated-inputs

     `(("menhir" ,ocaml-menhir)))

    (arguments

     `(#:tests? #f)) ;; Need Alt-Ergo

       ;#:phases

       ;(modify-phases %standard-phases

       ;  (replace 'check

       ;    (lambda _

       ;      (zero? (system* "make" ;"test-ocaml-extraction"

       ;                      "test-runstrat" "test-coq-tactic.opt"

       ;                      "test-coq-tactic.byte" "test-session.opt"

       ;                      "test-session.byte" "test-api-mlw.opt"

       ;                      "test-api-mlw.byte" "test-api-mlw-tree.opt"

       ;                      "test-mlw-tree.byte" "test-api-logic.opt"

       ;                      "test-api-logic.byte")))))))

    (home-page "http://why3.lri.fr")

    (synopsis "")

    (description "")

    (license license:lgpl2.1)))