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

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

  #:use-module (gnu packages)

  #:use-module (gnu packages base)

  #:use-module (gnu packages llvm)

  #:use-module (gnu packages multiprecision)

  #:use-module (gnu packages ocaml)

  #:use-module (gnu packages protobuf))

;; 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-sexplib

  (package

    (name "ocaml-sexplib")

    (version "113.33.03")

    (source (janestreet-origin "sexplib" version

              "1ffjmj8if9lyv965cgn2ld1xv7g52qsr8mqflbm515ck1i8l2ima"))

    (build-system ocaml-build-system)

    (native-inputs

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

       ("opam" ,opam)))

    (arguments janestreet-arguments)

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

    (synopsis "Library for serializing OCaml values to and from S-expressions")

    (description "Sexplib contains functionality for parsing and pretty-printing

s-expressions.")

    (license license:asl2.0)))

(define-public ocaml-typerep

  (package

    (name "ocaml-typerep")

    (version "113.33.03")

    (source (janestreet-origin "typerep" version

              "1b9v5bmi824a9d4sx0f40ixq0yfcbiqxafg4a1jx95xg9199zafy"))

    (native-inputs

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

       ("opam" ,opam)))

    (build-system ocaml-build-system)

    (arguments janestreet-arguments)

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

    (synopsis "Typerep is a library for runtime types")

    (description "Typerep is a library for runtime types.")

    (license license:asl2.0)))

(define-public ocaml-variantslib

  (package

    (name "ocaml-variantslib")

    (version "113.33.03")

    (source (janestreet-origin "variantslib" version

              "05vp799vl38fvl98ga5miwbzh09cnnpapi6q6gdvwyqi6w7s919n"))

    (native-inputs

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

       ("opam" ,opam)))

    (build-system ocaml-build-system)

    (arguments janestreet-arguments)

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

    (synopsis "OCaml variants as first class values")

    (description "OCaml variants as first class values.")

    (license license:asl2.0)))

(define-public ocaml-ppx-sexp-conv

  (package

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

    (version "113.33.03")

    (source (janestreet-origin "ppx_sexp_conv" version

              "1rbj6d5dl625gdxih34xcrdvikci6h8i2dl9x3wraa4qrgishiw7"))

    (build-system ocaml-build-system)

    (native-inputs

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

       ("opam" ,opam)

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

    (propagated-inputs

     `(("sexplib" ,ocaml-sexplib)

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

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

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

    (arguments janestreet-arguments)

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

    (synopsis "Generation of S-expression conversion functions from type

definitions")

    (description "Generation of S-expression conversion functions from type

definitions.")

    (license license:asl2.0)))

(define-public ocaml-ppx-variants-conv

  (package

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

    (version "113.33.03")

    (source (janestreet-origin "ppx_variants_conv" version

              "0vnn2l1118cj72413d3f7frlw6yc09l8f64jlzkzbgb9bxpalx34"))

    (build-system ocaml-build-system)

    (native-inputs

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

       ("opam" ,opam)))

    (propagated-inputs

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

       ("variantslib" ,ocaml-variantslib)

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

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

    (arguments janestreet-arguments)

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

    (synopsis "Generation of accessor and iteration functions for ocaml variant

types")

    (description "Generation of accessor and iteration functions for ocaml

variant types.")

    (license license:asl2.0)))

(define-public ocaml-ppx-here

  (package

    (name "ocaml-ppx-here")

    (version "113.33.03")

    (source (janestreet-origin "ppx_here" version

              "1ay8lfxi0qg3ib2zkwh4h0vqk3gjmxaz572gzab0bbxyqn3z86v7"))

    (build-system ocaml-build-system)

    (native-inputs

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

       ("opam" ,opam)))

    (propagated-inputs

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

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

    (arguments janestreet-arguments)

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

    (synopsis "Expands [%here] into its location")

    (description "Expands [%here] into its location.")

    (license license:asl2.0)))

(define-public ocaml-ppx-assert

  (package

    (name "ocaml-ppx-assert")

    (version "113.33.03")

    (source

      (origin

        (inherit (janestreet-origin "ppx_assert" version

                   "1k5kxmqkibp5fk25pgz81f3c1r4mgvb5byzf6bnmxd24y60wn46p"))

        (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"))

              (substitute* "install.ml"

                           (("lib/ppx_assert")

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

    (build-system ocaml-build-system)

    (native-inputs

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

       ("opam" ,opam)))

    (propagated-inputs

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

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

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

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

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

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

       ("ppx-sexplib" ,ocaml-sexplib)

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

    (arguments janestreet-arguments)

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

    (synopsis "Assert-like extension nodes that raise useful errors on failure")

    (description "Assert-like extension nodes that raise useful errors on failure.")

    (license license:asl2.0)))

(define-public ocaml-ppx-enumerate

  (package

    (name "ocaml-ppx-enumerate")

    (version "113.33.03")

    (source (janestreet-origin "ppx_enumerate" version

              "15g7yfv9wg2h9r6k6q1zrhygmsl4xrfn25mrb0i4czjjivzmxjh4"))

    (build-system ocaml-build-system)

    (native-inputs

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

       ("opam" ,opam)))

    (propagated-inputs

     `(("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_enumerate")

    (synopsis "Generate a list containing all values of a finite type")

    (description "Ppx_enumerate is a ppx rewriter which generates a definition

for the list of all values of a type (for a type which only has finitely

many values).")

    (license license:asl2.0)))

(define-public ocaml-ppx-let

  (package

    (name "ocaml-ppx-let")

    (version "113.33.03")

    (source (janestreet-origin "ppx_let" version

              "0gd6d3gdaqfwjcs7gaw1qxc30i584q6a86ndaj1bx1q63xqd6yx9"))

    (build-system ocaml-build-system)

    (native-inputs

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

       ("opam" ,opam)))

    (propagated-inputs

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

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

    (arguments janestreet-arguments)

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

    (synopsis "Monadic let-bindings")

    (description "A ppx rewriter for monadic and applicative let bindings,

match expressions, and if expressions.")

    (license license:asl2.0)))

(define-public ocaml-ppx-typerep-conv

  (package

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

    (version "113.33.03")

    (source (janestreet-origin "ppx_typerep_conv" version

              "0g0xqm9s1b2jjvxb8yp69281q2s3bwz6sibn10fvgcdawpa0rmrg"))

    (build-system ocaml-build-system)

    (native-inputs

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

       ("opam" ,opam)))

    (propagated-inputs

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

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

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

       ("typerep" ,ocaml-typerep)))

    (arguments janestreet-arguments)

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

    (synopsis "Generation of runtime types from type declarations")

    (description "Automatic generation of runtime types from type definitions.")

    (license license:asl2.0)))

(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")