[PATCH 00/28] gnu: Add ocaml-5.0.

index e0bedf74f9..ae8b0c8ee1 100644

This package produces a native @command{ocamlc} and a bytecode @command{ocamllex}.")

(license license:expat))))

(define-public ocaml-4.14

(package

(name "ocaml")

--

2.38.1

index ae8b0c8ee1..699dbca8f1 100644

(define-public ocaml-findlib

(package

(name "ocaml-findlib")

(source (origin

(method url-fetch)

(uri (string-append "http://download.camlcity.org/download/"

"findlib" "-" version ".tar.gz"))

(sha256

(base32

(build-system gnu-build-system)

(native-inputs

(list m4 ocaml))

--

2.38.1

index 699dbca8f1..e8f64915d9 100644

(native-inputs

(list m4 ocaml-4.09))))

(define-public ocaml-ounit2

(package

(name "ocaml-ounit2")

--

2.38.1

index e8f64915d9..605baa801d 100644

(define ocaml4.09-dune-bootstrap

(package-with-ocaml4.09 dune-bootstrap))

(define-public dune-configurator

(package

(inherit dune-bootstrap)

(delete-file-recursively "vendor/pp"))))))

(propagated-inputs

(list ocaml-csexp))

(synopsis "Dune helper library for gathering system configuration")

(description "Dune-configurator is a small library that helps writing

OCaml scripts that test features available on the system, in order to generate

(propagated-inputs

`(("ocaml-csexp" ,ocaml4.09-csexp)))))

(define-public dune

(package

(inherit dune-bootstrap)

(propagated-inputs

(list dune-configurator))

(properties `((ocaml4.07-variant . ,(delay ocaml4.07-dune))

(define-public ocaml4.09-dune

(package

(base32

"0l4x0x2fz135pljv88zj8y6w1ninsqw0gn1mdxzprd6wbxbyn8wr"))))))

(define-public ocaml-csexp

(package

(name "ocaml-csexp")

(propagated-inputs

`(("ocaml-result" ,ocaml4.09-result)))))

(define-public ocaml-migrate-parsetree

(package

(name "ocaml-migrate-parsetree")

(arguments

`(#:test-target "."

#:dune ,dune-bootstrap))

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

(synopsis "Compatibility Result module")

(description "Uses the new result type defined in OCaml >= 4.03 while

#:dune ,ocaml4.09-dune-bootstrap

#:ocaml ,ocaml-4.09

#:findlib ,ocaml4.09-findlib))))

(define-public ocaml-topkg

(package

diff --git a/guix/build-system/ocaml.scm b/guix/build-system/ocaml.scm

index 5ced9d243b..b08985cd4d 100644

strip-ocaml4.07-variant

package-with-ocaml4.09

strip-ocaml4.09-variant

default-findlib

default-ocaml

lower

(let ((module (resolve-interface '(gnu packages ocaml))))

(module-ref module 'ocaml4.09-dune)))

(define* (package-with-explicit-ocaml ocaml findlib dune old-prefix new-prefix

#:key variant-property)

"Return a procedure of one argument, P. The procedure creates a package

(inherit p)

(properties (alist-delete 'ocaml4.09-variant (package-properties p)))))

(define* (lower name

#:key source inputs native-inputs outputs system target

(ocaml (default-ocaml))

--

2.38.1

index 605baa801d..7abb31d183 100644

"0j9abisx3ifzm66ci3p45mngmz4f0fx7yd9jjxrz3f8w5jffc9ii"))

("opam-repo-f372039d" ,(opam-repo "f372039db86a970ef3e662adbfe0d4f5cd980701"

"0ld7fcry6ss6fmrpswvr6bikgx299w97h0gwrjjh7kd7rydsjdws")))))

(home-page "http://opam.ocamlpro.com/")

(synopsis "Package manager for OCaml")

(description

--

2.38.1

index 7abb31d183..261de17dbb 100644

@command{Unix.map_file} function added in OCaml >= 4.06.")

(license (list license:qpl license:lgpl2.0))))

(define-public ocaml-lwt

(package

(name "ocaml-lwt")

--

2.38.1

index 261de17dbb..58eef28558 100644

repeated forking and is much faster.")

(license license:expat)))

(define-public ocaml-pprint

(package

(name "ocaml-pprint")

--

2.38.1

index d3e0e0dbc3..057c062879 100644

ocaml-migrate-parsetree

ocaml-re))

(properties `((upstream-name . "ppx_expect")

(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 denote the expected output.")

(license license:asl2.0)))

(define-public ocaml4.07-ppx-expect

(package-with-ocaml4.07

(package

--

2.38.1

index 58eef28558..7118f88318 100644

Typical applications are searches, schedulers and caches.")

(license license:isc)))

(define-public ocaml-lwt

(package

(name "ocaml-lwt")

--

2.38.1

index 7118f88318..6a7abed03c 100644

architectures.")

(license license:isc)))

(define-public ocaml-lwt

(package

(name "ocaml-lwt")

--

2.38.1

index 6a7abed03c..035a692d08 100644

(build-system dune-build-system)

(propagated-inputs

(list ocaml-sexplib0))

(synopsis

"Full standard library replacement for OCaml")

(description

@url{https://github.com/janestreet/stdio, ocaml-stdio}.")

(license license:expat)))

(define-public ocaml4.07-base

(package-with-ocaml4.07

(package

--

2.38.1

index 035a692d08..1c2a5c9e64 100644

(define-public ocaml-ppxlib

(package

(name "ocaml-ppxlib")

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

(source

(origin

(file-name (git-file-name name version))

(sha256

(base32

(build-system dune-build-system)

(arguments

`(#:phases

--

2.38.1

index bcd88c8637..7fbaed69ad 100644

("integers" ,ocaml-integers)))

(inputs

(list libffi))

(synopsis "Library for binding to C libraries using pure OCaml")

(description "Ctypes is a library for binding to C libraries using pure

OCaml. The primary aim is to make writing C extensions as straightforward as

without writing or generating any C!")

(license license:expat)))

(define-public ocaml-ocb-stubblr

(package

(name "ocaml-ocb-stubblr")

--

2.38.1

index 7fbaed69ad..3bceb9c3d3 100644

is used to determine whether the results truly differ.")

(license license:lgpl3+)))

(define-public ocaml-batteries

(package

(name "ocaml-batteries")

--

2.38.1

index 1c2a5c9e64..d3e0e0dbc3 100644

(define-public ocaml-qcheck

(package

(name "ocaml-qcheck")

(source

(origin

(method git-fetch)

(commit (string-append "v" version))))

(file-name (git-file-name name version))

(sha256

(build-system dune-build-system)

(arguments

`(#:test-target "."))

(propagated-inputs

(native-inputs

(list ocamlbuild))

(properties `((ocaml4.07-variant . ,(delay ocaml4.07-qcheck))))

--

2.38.1

index 148502f26f..02173421d9 100644

to which allows to add and lookup bindings in a type safe manner. ")

(license license:isc)))

(define-public ocaml-lwt

(package

(name "ocaml-lwt")

--

2.38.1

index 057c062879..5383972eb6 100644

(define-public ocaml-odoc

(package

(name "ocaml-odoc")

(source

(origin

(method git-fetch)

(commit version)))

(file-name (git-file-name name version))

(sha256

(build-system dune-build-system)

(arguments

`(#:tests? #f; not compatible with current version of ocaml-yojson

--

2.38.1

index 5383972eb6..0998d6cd09 100644

ocaml-uunf

ocaml-uutf

ocaml-pprint))

(synopsis "Ocaml library for tests, let a fuzzer find failing cases")

(description "Crowbar is a library for testing code, combining

QuickCheck-style property-based testing and the magical bug-finding powers of

@uref{http://lcamtuf.coredump.cx/afl/, afl-fuzz}.")

(license license:expat)))

(define-public ocaml-eqaf

(package

(name "ocaml-eqaf")

--

2.38.1

index 0998d6cd09..bcd88c8637 100644

locks or other synchronization primitives.")

(license license:lgpl2.1)))

(define-public ocaml-luv

(package

(name "ocaml-luv")

--

2.38.1

index 02173421d9..afad994d8d 100644

(define-public ocaml5.0-eio

(package-with-ocaml5.0 ocaml-eio))

(define-public ocaml-lwt

(package

(name "ocaml-lwt")

--

2.38.1

index afad994d8d..d413d54f63 100644

(define-public ocaml5.0-eio-luv

(package-with-ocaml5.0 ocaml-eio-luv))

(define-public ocaml-lwt

(package

(name "ocaml-lwt")

--

2.38.1

index d413d54f63..1dc1341555 100644

(license

(list license:isc license:expat))))

(define-public ocaml-lwt

(package

(name "ocaml-lwt")

--

2.38.1

index 3bceb9c3d3..148502f26f 100644

(("`") "'")

(("COMMAND") "[COMMAND]")

(("\\.\\.\\.") "…")))))))

(list ocaml-fmt

ocaml-astring

ocaml-logs

--

2.38.1

index 8ad56336dd..f9dc9998c1 100644

(define-public ocaml-merlin-lib

(package

(name "ocaml-merlin-lib")

(source

(origin

(method git-fetch)

(file-name (git-file-name name version))

(sha256

(base32

(build-system dune-build-system)

(arguments '(#:package "merlin-lib"

#:tests? #f)) ; no tests

(propagated-inputs (list ocaml-merlin-lib ocaml-yojson))

(native-inputs

(list ocaml-dot-merlin-reader ; required for tests

(synopsis "Context sensitive completion for OCaml in Vim and Emacs")

(description "Merlin is an editor service that provides modern IDE

features for OCaml. Emacs and Vim support is provided out-of-the-box.

--

2.38.1

index f9dc9998c1..1b3e51001f 100644

(arguments '(#:package "merlin-lib"

#:tests? #f)) ; no tests

(propagated-inputs (list ocaml-csexp ocaml-menhir))

(home-page "https://ocaml.github.io/merlin/")

(synopsis "Merlin libraries")

(description "These libraries provides access to low-level compiler

interfaces and the standard higher-level merlin protocol.")

(license license:expat)))

(define-public ocaml-dot-merlin-reader

(package

(inherit ocaml-merlin-lib)

--

2.38.1

index 1b3e51001f..dc824626fd 100644

(arguments '(#:package "dot-merlin-reader"

#:tests? #f)) ; no tests

(propagated-inputs (list ocaml-merlin-lib))

(synopsis "Reads config files for @code{ocaml-merlin}")

(description "@code{ocaml-dot-merlin-reader} is an external reader for

@code{ocaml-merlin} configurations.")))

(define-public ocaml-merlin

(package

(inherit ocaml-dot-merlin-reader)

--

2.38.1

index dc824626fd..1e4fb46645 100644

(when tests?

(invoke "dune" "runtest" "-p" "merlin,dot-merlin-reader")))))))

(propagated-inputs (list ocaml-merlin-lib ocaml-yojson))

(native-inputs

(list ocaml-dot-merlin-reader ; required for tests

ocaml-ppxlib

Atom.")

(license license:expat)))

(define-public ocaml-gsl

(package

(name "ocaml-gsl")

--

2.38.1

index 1dc1341555..8ad56336dd 100644

(define-public ocaml5.0-eio-linux

(package-with-ocaml5.0 ocaml-eio-linux))

(define-public ocaml-lwt

(package

(name "ocaml-lwt")

--

2.38.1