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

  #:use-module (guix packages)

  #:use-module (guix download)

  #:use-module (guix utils)

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

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

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

  #:use-module (gnu packages)

  #:use-module (gnu packages base)

  #:use-module (gnu packages bison)

  #:use-module (gnu packages boost)

  #:use-module (gnu packages emacs)

  #:use-module (gnu packages flex)

  #:use-module (gnu packages llvm)

  #:use-module (gnu packages multiprecision)

  #:use-module (gnu packages ocaml)

  #:use-module (gnu packages perl)

  #:use-module (gnu packages protobuf)

  #:use-module (gnu packages texinfo))

;; Janestreet packages are found in a similar way and all need the same patch.

(define (janestreet-origin name version hash)

  (origin (method url-fetch)

          (uri (string-append "https://ocaml.janestreet.com/ocaml-core/"

                              (version-major+minor version) "/files/"

                              name "-" version ".tar.gz"))

          (sha256 (base32 hash))

          (modules '((guix build utils)))

          (snippet

           (let ((pattern (string-append "lib/" name)))

             `(begin

                ;; install.ml contains an invalid reference to the ppx file and

                ;; propagates this error to the generated META file.  It

                ;; looks for it in the "lib" directory, but it is installed in

                ;; "lib/ocaml/site-lib/package".  This substitute does not change

                ;; this file for non ppx packages.

                (substitute* "install.ml"

                  ((,pattern) (string-append "lib/ocaml/site-lib/" ,name)))

                ;; The standard Makefile would try to install janestreet modules

                ;; in OCaml's directory in the store, which is read-only.

                (substitute* "Makefile"

                  (("--prefix")

                   "--libdir $(LIBDIR) --prefix")))))))

;; They also require almost the same set of arguments

(define janestreet-arguments

  `(#:use-make? #t

    #:make-flags

    (list (string-append "CONFIGUREFLAGS=--prefix "

                         (assoc-ref %outputs "out")

                         " --enable-tests")

          (string-append "LIBDIR="

                         (assoc-ref %outputs "out")

                         "/lib/ocaml/site-lib")

          ;; for ocaml-bin-prot, otherwise ignored

          (string-append "OCAML_TOPLEVEL_PATH="

                         (assoc-ref %build-inputs "findlib")

                         "/lib/ocaml/site-lib"))

    #:phases (modify-phases %standard-phases (delete 'configure))))

(define-public ocaml-ppx-sexp-value

  (package

    (name "ocaml-ppx-sexp-value")

    (version "113.33.03")

    (source (janestreet-origin "ppx_sexp_value" version

              "0m3ag23mbqm0i2pv1dzilfks15ipa5q60mf57a0cd3p0pvarq10g"))

    (build-system ocaml-build-system)

    (native-inputs

     `(("js-build-tools" ,ocaml-js-build-tools)

       ("opam" ,opam)))

    (propagated-inputs

     `(("ppx-driver" ,ocaml-ppx-driver)

       ("ppx-here" ,ocaml-ppx-here)

       ("ppx-sexp-conv" ,ocaml-ppx-sexp-conv)

       ("ppx-tools" ,ocaml-ppx-tools)

       ("ppx-core" ,ocaml-ppx-core)))

    (arguments janestreet-arguments)

    (home-page "https://github.com/janestreet/ppx_sexp_value/")

    (synopsis "Simplify building s-expressions from ocaml values")

    (description "A ppx rewriter that simplifies building s-expressions from

ocaml values.")

    (license license:asl2.0)))

(define-public ocaml-ppx-pipebang

  (package

    (name "ocaml-ppx-pipebang")

    (version "113.33.03")

    (source (janestreet-origin "ppx_pipebang" version

              "1965c7hymp26ncmjs0pfxi2s5jlj60z2c9b194lgcwxqiav56pcw"))

    (build-system ocaml-build-system)

    (native-inputs

     `(("js-build-tools" ,ocaml-js-build-tools)

       ("opam" ,opam)))

    (propagated-inputs

     `(("ppx-driver" ,ocaml-ppx-driver)

       ("ppx-tools" ,ocaml-ppx-tools)

       ("ppx-core" ,ocaml-ppx-core)))

    (arguments janestreet-arguments)

    (home-page "https://github.com/janestreet/ppx_pipebang/")

    (synopsis "Inline reverse application operators `|>` and `|!`")

    (description "A ppx rewriter that inlines reverse application operators

`|>` and `|!`.")

    (license license:asl2.0)))

(define-public ocaml-ppx-bin-prot

  (package

    (name "ocaml-ppx-bin-prot")

    (version "113.33.03")

    (source (janestreet-origin "ppx_bin_prot" version

              "173kjv36giik11zgfvsbzwfbpr66dm2pcha9vf990jgzh8hqz39h"))

    (build-system ocaml-build-system)

    (native-inputs

     `(("js-build-tools" ,ocaml-js-build-tools)

       ("opam" ,opam)))

    (propagated-inputs

     `(("bin-prot" ,ocaml-bin-prot)

       ("ppx-tools" ,ocaml-ppx-tools)

       ("ppx-type-conv" ,ocaml-ppx-type-conv)

       ("ppx-core" ,ocaml-ppx-core)))

    (arguments janestreet-arguments)

    (home-page "https://github.com/janestreet/ppx_bin_prot/")

    (synopsis "Generation of bin_prot readers and writers from types")

    (description "Generation of binary serialization and deserialization

functions from type definitions.")

    (license license:asl2.0)))

(define-public ocaml-ppx-fail

  (package

    (name "ocaml-ppx-fail")

    (version "113.33.03")

    (source (janestreet-origin "ppx_fail" version

              "1dwgad0f05gqp5rnwf9dcasidpfi7q3mrpazsw3a2vijjblbhjgn"))

    (build-system ocaml-build-system)

    (native-inputs

     `(("js-build-tools" ,ocaml-js-build-tools)

       ("opam" ,opam)))

    (propagated-inputs

     `(("ppx-driver" ,ocaml-ppx-driver)

       ("ppx-tools" ,ocaml-ppx-tools)

       ("ppx-here" ,ocaml-ppx-here)

       ("ppx-core" ,ocaml-ppx-core)))

    (arguments janestreet-arguments)

    (home-page "https://github.com/janestreet/ppx_fail/")

    (synopsis "Add location to calls to failwiths")

    (description "Syntax extension that makes [failwiths] always include a

position.")

    (license license:asl2.0)))

(define-public ocaml-ppx-custom-printf

  (package

    (name "ocaml-ppx-custom-printf")

    (version "113.33.03")

    (source (janestreet-origin "ppx_custom_printf" version

              "11jlx0n87g2j1vyyp343dibx7lvvwig5j5q0nq0b80kbsq0k6yr8"))

    (build-system ocaml-build-system)

    (native-inputs

     `(("js-build-tools" ,ocaml-js-build-tools)

       ("opam" ,opam)))

    (propagated-inputs

     `(("ppx-sexp-conv" ,ocaml-ppx-sexp-conv)

       ("ppx-tools" ,ocaml-ppx-tools)

       ("ppx-core" ,ocaml-ppx-core)

       ("ppx-driver" ,ocaml-ppx-driver)))

    (arguments janestreet-arguments)

    (home-page "https://github.com/janestreet/ppx_custom_printf/")

    (synopsis "Printf-style format-strings for user-defined string conversion")

    (description "Extensions to printf-style format-strings for user-defined

string conversion.")

    (license license:asl2.0)))

(define-public ocaml-ppx-sexp-message

  (package

    (name "ocaml-ppx-sexp-message")

    (version "113.33.03")

    (source (janestreet-origin "ppx_sexp_message" version

              "084w1l3gnyw4ri9vbn7bv9b2xkw1520qczfxpxdarfivdrz8xr68"))

    (build-system ocaml-build-system)

    (native-inputs

     `(("js-build-tools" ,ocaml-js-build-tools)

       ("opam" ,opam)))

    (propagated-inputs

     `(("ppx-driver" ,ocaml-ppx-driver)

       ("ppx-here" ,ocaml-ppx-here)

       ("ppx-sexp-conv" ,ocaml-ppx-sexp-conv)

       ("ppx-tools" ,ocaml-ppx-tools)

       ("ppx-core" ,ocaml-ppx-core)))

    (arguments janestreet-arguments)

    (home-page "https://github.com/janestreet/ppx_sexp_message/")

    (synopsis "A ppx rewriter for easy construction of s-expressions")

    (description "The aim of ppx_sexp_message is to ease the creation of

s-expressions in OCaml.  This is mainly motivated by writing error and debugging

messages, where one needs to construct a s-expression based on various element

of the context such as function arguments.")

    (license license:asl2.0)))

(define-public ocaml-ppx-fields-conv

  (package

    (name "ocaml-ppx-fields-conv")

    (version "113.33.03")

    (source (janestreet-origin "ppx_fields_conv" version

              "1vzbdz27g5qhhfs7wx6rjf979q4xyssxqbmp6sc1sxknbghslbdv"))

    (build-system ocaml-build-system)

    (native-inputs

     `(("js-build-tools" ,ocaml-js-build-tools)

       ("opam" ,opam)

       ("ppx-core" ,ocaml-ppx-core)))

    (propagated-inputs

     `(("fieldslib" ,ocaml-fieldslib)

       ("ppx-tools" ,ocaml-ppx-tools)

       ("ppx-core" ,ocaml-ppx-core)

       ("ppx-type-conv" ,ocaml-ppx-type-conv)))

    (arguments janestreet-arguments)

    (home-page "https://github.com/janestreet/ppx_fields_conv/")

    (synopsis "Generation of accessor and iteration functions for ocaml records")

    (description "Ppx_fields_conv is a ppx rewriter that can be used to define

first class values representing record fields, and additional routines, to get

and set record fields, iterate and fold over all fields of a record and create

new record values.")

    (license license:asl2.0)))

(define-public ocaml-re

  (package

    (name "ocaml-re")

    (version "1.7.1")

    (source (origin

              (method url-fetch)

              (uri (string-append "https://github.com/ocaml/ocaml-re//archive/"

                                  version ".tar.gz"))

              (sha256

               (base32

                "1s3rcr76cgm4p1xmaazc58arkg2lz3zfcp1icm00m6s5ccnkh67b"))))

    (build-system ocaml-build-system)

    (native-inputs `(("ounit" ,ocaml-ounit)))

    (home-page "https://github.com/ocaml/ocaml-re/")

    (synopsis "Regular expression library for OCaml")

    (description "Pure OCaml regular expressions with:

enumerate

@item Perl-style regular expressions (module Re_perl)

@item Posix extended regular expressions (module Re_posix)

@item Emacs-style regular expressions (module Re_emacs)

@item Shell-style file globbing (module Re_glob)

@item Compatibility layer for OCaml's built-in Str module (module Re_str)

@end enumerate")

    (license license:expat)))

(define-public ocaml-ppx-expect

  (package

    (name "ocaml-ppx-expect")

    (version "113.33.03")

    (source (janestreet-origin "ppx_expect" version

              "03sbs4s5i8l9syr45v25f5hzy7msd2b47k2a9wsq9m43d4imgkrc"))

    (build-system ocaml-build-system)

    (native-inputs

     `(("js-build-tools" ,ocaml-js-build-tools)

       ("opam" ,opam)))

    (propagated-inputs

     `(("fieldslib" ,ocaml-fieldslib)

       ("ppx-tools" ,ocaml-ppx-tools)

       ("ppx-assert" ,ocaml-ppx-assert)

       ("ppx-compare" ,ocaml-ppx-compare)

       ("ppx-core" ,ocaml-ppx-core)

       ("ppx-custom-printf" ,ocaml-ppx-custom-printf)

       ("ppx-driver" ,ocaml-ppx-driver)

       ("ppx-fields-conv" ,ocaml-ppx-fields-conv)

       ("ppx-inline-test" ,ocaml-ppx-inline-test)

       ("ppx-sexp-conv" ,ocaml-ppx-sexp-conv)

       ("ppx-variants-conv" ,ocaml-ppx-variants-conv)

       ("re" ,ocaml-re)

       ("sexplib" ,ocaml-sexplib)

       ("variantslib" ,ocaml-variantslib)))

    (arguments janestreet-arguments)

    (home-page "https://github.com/janestreet/ppx_expect/")

    (synopsis "Cram like framework for OCaml")

    (description "Expect-test is a framework for writing tests in OCaml, similar

to Cram.  Expect-tests mimic the existing inline tests framework with the

let%expect_test construct.  The body of an expect-test can contain

output-generating code, interleaved with %expect extension expressions to denote

the expected output.")

    (license license:asl2.0)))

(define-public ocaml-ppx-jane

  (package

    (name "ocaml-ppx-jane")

    (version "113.33.03")

    (source (janestreet-origin "ppx_jane" version

              "0bjxkhmzgm6x9dcvjwybbccn34khbvyyjimcbaja30fp6qcqk5yl"))

    (build-system ocaml-build-system)

    (native-inputs

     `(("js-build-tools" ,ocaml-js-build-tools)

       ("opam" ,opam)))

    (propagated-inputs

     `(("ppx-assert" ,ocaml-ppx-assert)

       ("ppx-bench" ,ocaml-ppx-bench)

       ("ppx-bin-prot" ,ocaml-ppx-bin-prot)

       ("ppx-compare" ,ocaml-ppx-compare)

       ("ppx-custom-printf" ,ocaml-ppx-custom-printf)

       ("ppx-deriving" ,ocaml-ppx-deriving)

       ("ppx-enumerate" ,ocaml-ppx-enumerate)

       ("ppx-expect" ,ocaml-ppx-expect)

       ("ppx-fail" ,ocaml-ppx-fail)

       ("ppx-fields-conv" ,ocaml-ppx-fields-conv)

       ("ppx-here" ,ocaml-ppx-here)

       ("ppx-inline-test" ,ocaml-ppx-inline-test)

       ("ppx-let" ,ocaml-ppx-let)

       ("ppx-pipebang" ,ocaml-ppx-pipebang)

       ("ppx-sexp-conv" ,ocaml-ppx-sexp-conv)

       ("ppx-sexp-message" ,ocaml-ppx-sexp-message)

       ("ppx-sexp-value" ,ocaml-ppx-sexp-value)

       ("ppx-typerep-conv" ,ocaml-ppx-typerep-conv)

       ("ppx-variants-conv" ,ocaml-ppx-variants-conv)))

    (arguments janestreet-arguments)

    (home-page "https://github.com/janestreet/ppx_jane/")

    (synopsis "Standard Jane Street ppx rewriters")

    (description "Ppx_jane is a ppx_driver including all standard ppx rewriters.")

    (license license:asl2.0)))

(define-public ocaml-core-kernel

  (package

    (name "ocaml-core-kernel")

    (version "113.33.03")

    (source (janestreet-origin "core_kernel" version

               "0fl23jrwivixawhxinbwaw9cabqnzn7fini7dxpxjjvkxdc8ip5y"))

    (native-inputs

     `(("js-build-tools" ,ocaml-js-build-tools)

       ("ppx-jane" ,ocaml-ppx-jane)

       ("opam" ,opam)))

    (propagated-inputs

     `(("bin_prot" ,ocaml-bin-prot)

       ("ppx-assert" ,ocaml-ppx-assert)

       ("ppx-bench" ,ocaml-ppx-bench)

       ("ppx-driver" ,ocaml-ppx-driver)

       ("ppx-expect" ,ocaml-ppx-expect)

       ("ppx-inline-test" ,ocaml-ppx-inline-test)

       ("typerep" ,ocaml-typerep)

       ("sexplib" ,ocaml-sexplib)

       ("variantslib" ,ocaml-variantslib)

       ("result" ,ocaml-result)

       ("fieldslib" ,ocaml-fieldslib)))

    (build-system ocaml-build-system)

    (arguments janestreet-arguments)

    (home-page "https://github.com/janestreet/core_kernel/")

    (synopsis "Portable standard library for OCaml")

    (description "Core is an alternative to the OCaml standard library.

Core_kernel is the system-independent part of Core. It is aimed for cases when

the full Core is not available, such as in Javascript.")

    (license license:asl2.0)))

(define-public ocaml-async-kernel

  (package

    (name "ocaml-async-kernel")

    (version "113.33.03")

    (source (janestreet-origin "async_kernel" version

              "04bjsaa23j831r09r38x6xx9nhryvp0z5ihickvhxqa4fb2snyvd"))

    (native-inputs

     `(("oasis" ,ocaml-oasis)

       ("js-build-tools" ,ocaml-js-build-tools)

       ("ppx-jane" ,ocaml-ppx-jane)

       ("opam" ,opam)))

    (propagated-inputs

     `(("core-kernel" ,ocaml-core-kernel)))

    (build-system ocaml-build-system)

    (arguments janestreet-arguments)

    (home-page "https://github.com/janestreet/async_kernel/")

    (synopsis "Monadic concurrency library")

    (description "Monadic concurrency library.")

    (license license:asl2.0)))

(define-public ocaml-async-rpc-kernel

  (package

    (name "ocaml-async-rpc-kernel")

    (version "113.33.03")

    (source (janestreet-origin "async_rpc_kernel" version

             "0y97h9pkb00v7jpf87m8cbb0ffkclj9g26ph6sq97q8dpisnkjwh"))

    (native-inputs

     `(("oasis" ,ocaml-oasis)

       ("js-build-tools" ,ocaml-js-build-tools)

       ("ppx-jane" ,ocaml-ppx-jane)

       ("opam" ,opam)))

    (propagated-inputs

     `(("async-kernel" ,ocaml-async-kernel)))

    (build-system ocaml-build-system)

    (arguments janestreet-arguments)

    (home-page "https://github.com/janestreet/async_rpc_kernel/")

    (synopsis "Platform-independent core of Async RPC library")

    (description "Platform-independent core of Async RPC library.")

    (license license:asl2.0)))

(define-public ocaml-core

  (package

    (name "ocaml-core")

    (version "113.33.03")

    (source (janestreet-origin "core" version

              "1znll157qg56g9d3247fjibv1hxv3r9wxgr4nhy19j2vzdh6a268"))

    (native-inputs

     `(("oasis" ,ocaml-oasis)

       ("js-build-tools" ,ocaml-js-build-tools)

       ("ppx-jane" ,ocaml-ppx-jane)

       ("opam" ,opam)))

    (propagated-inputs

     `(("core-kernel" ,ocaml-core-kernel)))

    (build-system ocaml-build-system)

    (arguments janestreet-arguments)

    (home-page "https://github.com/janestreet/core/")

    (synopsis "Alternative to OCaml's standard library")

    (description "The Core suite of libraries is an alternative to OCaml's

standard library that was developed by Jane Street.")

    (license license:asl2.0)))

(define-public ocaml-async-unix

  (package

    (name "ocaml-async-unix")

    (version "113.33.03")

    (source (janestreet-origin "async_unix" version

              "1fwl0lfrizllcfjk8hk8m7lsz9ha2jg6qgk4gssfyz377qvpcq4h"))

    (native-inputs

     `(("oasis" ,ocaml-oasis)

       ("js-build-tools" ,ocaml-js-build-tools)

       ("ppx-jane" ,ocaml-ppx-jane)

       ("opam" ,opam)))

    (propagated-inputs

     `(("async-kernel" ,ocaml-async-kernel)

       ("core" ,ocaml-core)))

    (build-system ocaml-build-system)

    (arguments janestreet-arguments)

    (home-page "https://github.com/janestreet/async_unix")

    (synopsis "Monadic concurrency library")

    (description "Monadic concurrency library.")

    (license license:asl2.0)))

(define-public ocaml-async-extra

  (package

    (name "ocaml-async-extra")

    (version "113.33.03")

    (source (janestreet-origin "async_extra" version

              "1si8jgiq5xh5sl9f2b7f9p17p7zx5h1pg557x2cxywi2x7pxqg4f"))

    (native-inputs

     `(("oasis" ,ocaml-oasis)

       ("js-build-tools" ,ocaml-js-build-tools)

       ("ppx-jane" ,ocaml-ppx-jane)

       ("opam" ,opam)))

    (propagated-inputs

     `(("async-rpc-kernel" ,ocaml-async-rpc-kernel)

       ("async-unix" ,ocaml-async-unix)

       ("core" ,ocaml-core)))

    (build-system ocaml-build-system)

    (arguments janestreet-arguments)

    (home-page "https://github.com/janestreet/async_extra")

    (synopsis "Monadic concurrency library")

    (description "Monadic concurrency library.")

    (license license:asl2.0)))

(define-public ocaml-async

  (package

    (name "ocaml-async")

    (version "113.33.03")

    (source (janestreet-origin "async" version

              "0210fyhcs12kpmmd26015bgivkfd2wqkyn3c5wd7688d0f872y25"))

    (native-inputs

     `(("oasis" ,ocaml-oasis)

       ("js-build-tools" ,ocaml-js-build-tools)

       ("ppx-jane" ,ocaml-ppx-jane)

       ("opam" ,opam)))

    (propagated-inputs

     `(("async-extra" ,ocaml-async-extra)))

    (build-system ocaml-build-system)

    (arguments janestreet-arguments)

    (home-page "https://github.com/janestreet/async")

    (synopsis "Monadic concurrency library")

    (description "Monadic concurrency library.")

    (license license:asl2.0)))

(define-public ocaml-ocplib-endian

  (package

    (name "ocaml-ocplib-endian")

    (version "1.0")

    (source (origin

              (method url-fetch)

              (uri (string-append "https://github.com/OCamlPro/ocplib-endian/"

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

              (sha256

               (base32

                "0hwj09rnzjs0m0kazz5h2mgs6p95j0zlga8cda5srnzqmzhniwkn"))

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

    (build-system ocaml-build-system)

    (native-inputs `(("cppo" ,ocaml-cppo)))

    (home-page "https://github.com/OCamlPro/ocplib-endian")

    (synopsis "Optimised functions to read and write int16/32/64 from strings

and bigarrays")

    (description "Optimised functions to read and write int16/32/64 from strings

and bigarrays, based on new primitives added in version 4.01. It works on

strings, bytes and bigstring (Bigarrys of chars), and provides submodules for

big- and little-endian, with their unsafe counter-parts.")

    (license license:lgpl2.1)))

(define-public ocaml-cstruct

  (package

    (name "ocaml-cstruct")

    (version "2.3.1")

    (source (origin

              (method url-fetch)

              (uri (string-append "https://github.com/mirage/ocaml-cstruct/"

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

              (sha256

               (base32

                "15qpdc8421shq4pprdas9jznpva45229wkfqbwcxw9khaiiz7949"))

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

    (build-system ocaml-build-system)

    (arguments

     `(#:configure-flags

       (list "--enable-lwt" "--enable-async")

       #:phases

       (modify-phases %standard-phases

         (add-after 'install 'link-stubs

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

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

                    (stubs (string-append out "/lib/ocaml/site-lib/stubslibs"))

                    (lib (string-append out "/lib/ocaml/site-lib/cstruct")))

               (mkdir-p stubs)

               (symlink (string-append lib "/dllcstruct_stubs.so")

                        (string-append stubs "/dllcstruct_stubs.so"))))))))

    (native-inputs

     `(("ounit" ,ocaml-ounit)

       ("ppx-tools" ,ocaml-ppx-tools)

       ("camlp4" ,camlp4)))

    (propagated-inputs

     `(("ocplib-endian" ,ocaml-ocplib-endian)

       ("lwt" ,ocaml-lwt)

       ("async" ,ocaml-async)

       ("sexplib" ,ocaml-sexplib)))

    (home-page "https://github.com/mirage/ocaml-cstruct")

    (synopsis "Access C structures via a camlp4 extension")

    (description "Cstruct is a library and syntax extension to make it easier

to access C-like structures directly from OCaml.  It supports both reading and

writing to these structures, and they are accessed via the Bigarray module.")

    (license license:isc)))

(define-public ocaml-hex

  (package

    (name "ocaml-hex")

    (version "1.0.0")

    (source (origin

              (method url-fetch)

              (uri (string-append "https://github.com/mirage/ocaml-hex/"

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

              (sha256

               (base32

                "0s63g0b8gfv2xm6fv6xg7bva8h76b5pcjb0zw3f8cygs0lq9072v"))

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

    (build-system ocaml-build-system)

    (propagated-inputs `(("cstruct" ,ocaml-cstruct)))

    (home-page "https://github.com/mirage/ocaml-hex/")

    (synopsis "Minimal library providing hexadecimal converters")

    (description "Minimal library providing hexadecimal converters.")

    (license license:isc)))

(define-public ocaml-ezjsonm

  (package

    (name "ocaml-ezjsonm")

    (version "0.4.3")

    (source (origin

              (method url-fetch)

              (uri (string-append "https://github.com/mirage/ezjsonm/archive/"

                                  version ".tar.gz"))

              (sha256

               (base32

                "1kag0z2xlk4rw73a240dmkxh9rj6psxxcxkm7d7z0rrj6hzjajgq"))

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

    (build-system ocaml-build-system)

    (native-inputs

     `(("alcotest" ,ocaml-alcotest)))

    (propagated-inputs

     `(("hex" ,ocaml-hex)

       ("jsonm" ,ocaml-jsonm)

       ("lwt" ,ocaml-lwt)

       ("sexplib" ,ocaml-sexplib)))

    (arguments

     `(#:configure-flags (list "--enable-lwt")

       ;; dllcstruct_stubs.so: cannot open shared object file: No such file

       ;; or directory. May be fixed?

       #:tests? #f))

    (home-page "https://github.com/mirage/ezjsonm/")

    (synopsis "An easy interface on top of the Jsonm library")

    (description "This version provides more convenient (but far less flexible)

input and output functions that go to and from [string] values.  This avoids

the need to write signal code, which is useful for quick scripts that

manipulate JSON.")

    (license license:isc)))

(define-public ocaml-uri

  (package

    (name "ocaml-uri")

    (version "1.9.2")

    (source (origin

              (method url-fetch)

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

                                  version ".tar.gz"))

              (sha256

               (base32

                "02bzrag79prx261rxf9mlak749pwf4flpfl8p012x1xznv9m0clc"))

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

    (build-system ocaml-build-system)

    (native-inputs

     `(("ounit" ,ocaml-ounit)))

    (propagated-inputs

     `(("ppx-sexp-conv" ,ocaml-ppx-sexp-conv)

       ("re" ,ocaml-re)

       ("ppx-deriving" ,ocaml-ppx-deriving)

       ("sexplib" ,ocaml-sexplib)

       ("stringext" ,ocaml-stringext)))

    (home-page "https://github.com/mirage/ocaml-uri")

    (synopsis "RFC3986 URI/URL parsing library")

    (description "RFC3986 URI/URL parsing library.")

    (license license:isc)))

(define-public ocaml-easy-format

  (package

    (name "ocaml-easy-format")

    (version "1.2.0")

    (source (origin

              (method url-fetch)

              (uri (string-append "https://github.com/mjambon/easy-format/"

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

              (sha256

               (base32

                "1zcz682y9figa84k7lgdjcab5qbzk3yy14ygfqp2dhhrvjygm252"))

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

    (build-system ocaml-build-system)

    (arguments

     `(#:phases

       (modify-phases %standard-phases

         (delete 'configure))

       #:tests? #f))

    (home-page "https://github.com/mjambon/easy-format")

    (synopsis "High-level and functional interface to the Format module of the

OCaml standard library")

    (description "High-level and functional interface to the Format module of

the OCaml standard library.")

    (license license:bsd-3)))

(define-public ocaml-optcomp

  (package

    (name "ocaml-optcomp")

    (version "1.6")

    (source (origin

              (method url-fetch)

              (uri (string-append "https://github.com/diml/optcomp/archive/"

                                  version ".tar.gz"))

              (sha256

               (base32

                "0hhhb2gisah1h22zlg5iszbgqxdd7x85cwd57bd4mfkx9l7dh8jh"))

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

    (build-system ocaml-build-system)

    (arguments

     `(#:use-make? #t

	   #:make-flags

       (list (string-append "BUILDFLAGS=\"-cflags -I,"

                            (assoc-ref %build-inputs "camlp4")

                            "/lib/ocaml/site-lib/camlp4/Camlp4Parsers\""))))

    (native-inputs `(("camlp4" ,camlp4)))

    (propagated-inputs `(("camlp4" ,camlp4)))

    (home-page "https://github.com/diml/optcomp")

    (synopsis "Optional compilation with cpp-like directives")

    (description "Optional compilation with cpp-like directives.")

    (license license:bsd-3)))

(define-public ocaml-piqilib

  (package

    (name "ocaml-piqilib")

    (version "0.6.13")

    (source (origin

              (method url-fetch)

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

                                  version ".tar.gz"))

              (sha256

               (base32

                "1whqr2bb3gds2zmrzqnv8vqka9928w4lx6mi6g244kmbwb2h8d8l"))

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

              (patches (search-patches "ocaml-piqilib-fix-makefile.patch"))))

    (build-system ocaml-build-system)

    (arguments

     `(#:phases

       (modify-phases %standard-phases

         (replace 'configure

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

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

               (substitute* "make/OCamlMakefile"

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

               (zero? (system* "./configure" "--prefix" out "--ocaml-libdir"

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

       (add-after 'build 'build-ocaml

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

           (zero? (system* "make" "ocaml")))) 

       (add-after 'install 'install-ocaml

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

           (zero? (system* "make" "ocaml-install"))))

       (add-after 'install-ocaml 'link-stubs

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

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

                  (stubs (string-append out "/lib/ocaml/site-lib/stubslibs"))

                  (lib (string-append out "/lib/ocaml/site-lib/piqilib")))

             (mkdir-p stubs)

             (symlink (string-append lib "/dllpiqilib_stubs.so")

                      (string-append stubs "/dllpiqilib_stubs.so"))))))))

    (native-inputs

     `(("which" ,which)

       ("camlp4" ,camlp4)))

    (propagated-inputs

     `(("xmlm" ,ocaml-xmlm)

       ("ulex" ,ocaml-ulex)

       ("optcomp" ,ocaml-optcomp)

       ("easy-format" ,ocaml-easy-format)

       ("base64" ,ocaml-base64)))

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

    (synopsis "Data serialization and conversion library")

    (description "Common library used by piqi command-line tool and piqi-ocaml.")

    (license license:asl2.0)))

(define-public ocaml-uuidm

  (package

    (name "ocaml-uuidm")

    (version "0.9.6")

    (source (origin

              (method url-fetch)

              (uri (string-append "http://erratique.ch/software/uuidm/"

                                  "releases/uuidm-" version ".tbz"))

              (sha256

               (base32

                "0hz4fdx0x16k0pw9995vkz5d1hmzz6b16wck9li399rcbfnv5jlc"))))

    (build-system ocaml-build-system)

    (arguments

     `(#:tests? #f

       #:build-flags

       (list "build" "--with-cmdliner" "true")

       #:phases

       (modify-phases %standard-phases

         (delete 'configure))))

    (native-inputs

     `(("opam" ,opam)))

    (propagated-inputs

     `(("cmdliner" ,ocaml-cmdliner)

       ("topkg" ,ocaml-topkg)))

    (home-page "http://erratique.ch/software/uuidm")

    (synopsis "Universally unique identifiers (UUIDs) for OCaml")

    (description "Uuidm is an OCaml module implementing 128 bits universally

unique identifiers version 3, 5 (named based with MD5, SHA-1 hashing) and 4

(random based) according to RFC 4122.")

    (license license:isc)))

(define-public ocamlgraph

  (package

    (name "ocamlgraph")

    (version "1.8.7")

    (source (origin

              (method url-fetch)

              (uri (string-append "http://ocamlgraph.lri.fr/download/"

                                  "ocamlgraph-" version ".tar.gz"))

              (sha256

               (base32

                "1845r537swjil2fcj7lgbibc2zybfwqqasrd2s7bncajs83cl1nz"))

              (patches (search-patches "ocamlgraph-honor-source-date-epoch.patch"))))

    (build-system ocaml-build-system)

    (arguments

     `(#:install-target "install-findlib"

       #:phases

       (modify-phases %standard-phases

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

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

             (substitute* "configure"

               (("-/bin/sh") (string-append "-" (assoc-ref inputs "bash")

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

    (inputs `(("lablgtk" ,lablgtk)))

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

    (synopsis "A generic graph library for OCaml")

    (description "A generic graph library for OCaml.")

    (license license:lgpl2.1)))

(define-public ocaml-piqi

  (package

    (name "ocaml-piqi")

    (version "0.7.5")

    (source (origin

              (method url-fetch)

              (uri (string-append "https://github.com/alavrik/piqi-ocaml/"

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

              (sha256

               (base32

                "0ngz6y8i98i5v2ma8nk6mc83pdsmf2z0ks7m3xi6clfg3zqbddrv"))))

    (build-system ocaml-build-system)

    (arguments

     `(#:make-flags

       (list (string-append "DESTDIR=" (assoc-ref %outputs "out")))

       #:phases

       (modify-phases %standard-phases

         (delete 'configure)

         (add-before 'build 'patch-/bin/sh

           (lambda _

             (substitute* "make/OCamlMakefile"

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

             #t)))))

    (native-inputs

     `(("which" ,which)

       ("protobuf" ,protobuf))) ; for tests

    (propagated-inputs

     `(("piqilib" ,ocaml-piqilib)))

    (home-page "https://github.com/alavrik/piqi-ocaml")

    (synopsis "Protocol serialization system for OCaml")

    (description "Piqi is a multi-format data serialization system for OCaml.

It provides a uniform interface for serializing OCaml data structures to JSON,

XML and Protocol Buffers formats.")

    (license license:asl2.0)))

(define-public bap

  (package

    (name "bap")

    (version "1.1.0")

    (home-page "https://github.com/BinaryAnalysisPlatform/bap")

    (source (origin

              (method url-fetch)

              (uri (string-append home-page "/archive/v" version ".tar.gz"))

              (sha256

               (base32

                "1ms95m4j1qrmy7zqmsn2izh7gq68lnmssl7chyhk977kd3sxj66m"))

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

   (build-system ocaml-build-system)

   (native-inputs

    `(("oasis" ,ocaml-oasis)

      ("clang" ,clang)

      ("ounit" ,ocaml-ounit)))

   (propagated-inputs

    `(("core-kernel" ,ocaml-core-kernel)

      ("ppx-driver" ,ocaml-ppx-driver)

      ("uri" ,ocaml-uri)

      ("llvm" ,llvm)

      ("gmp" ,gmp)

      ("clang-runtime" ,clang-runtime)

      ("fileutils" ,ocaml-fileutils)

      ("cmdliner" ,ocaml-cmdliner)

      ("zarith" ,ocaml-zarith)

      ("uuidm" ,ocaml-uuidm)

      ("camlzip" ,camlzip)

      ("frontc" ,ocaml-frontc)

      ("ezjsonm" ,ocaml-ezjsonm)

      ("ocurl" ,ocaml-ocurl)

      ("piqi" ,ocaml-piqi)

      ("ocamlgraph" ,ocamlgraph)

      ("bitstring" ,ocaml-bitstring)

      ("ppx-jane" ,ocaml-ppx-jane)

      ("re" ,ocaml-re)))

   (inputs `(("llvm" ,llvm)))

   (arguments

    `(#:use-make? #t

      #:phases

      (modify-phases %standard-phases

        (replace 'configure

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

            (zero? (system* "./configure" "--prefix"

                            (assoc-ref outputs "out")

                            "--libdir"

                            (string-append

                              (assoc-ref outputs "out")

                              "/lib/ocaml/site-lib")

                            "--with-llvm-version=3.8"

                            "--with-llvm-config=llvm-config"

                            "--enable-everything"))))

        (add-before 'install 'fix-ocamlpath

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