Commit graph

684 commits

Author SHA1 Message Date
Xinglu Chen e83fe81be4
gnu: Add ocamlformat.
* gnu/packages/ocaml.scm (ocamlformat): New variable.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-08-08 22:43:24 +02:00
Xinglu Chen 092b65e1aa
gnu: Add ocaml-dune-build-info.
* gnu/packages/ocaml.scm (ocaml-dune-build-info): New variable.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-08-08 22:37:34 +02:00
Xinglu Chen 03f05b475b
gnu: Add ocaml-fix.
* gnu/packages/ocaml.scm (ocaml-fix): New variable.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-08-08 22:30:56 +02:00
Xinglu Chen 2787bcbd1b
gnu: Add ocaml-uuseg.
* gnu/packages/ocaml.scm (ocaml-uuseg): New variable.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-08-08 22:25:59 +02:00
Xinglu Chen d31434c473
gnu: Add ocaml-uucp.
* gnu/packages/ocaml.scm (ocaml-uucp): New variable.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-08-08 22:24:10 +02:00
Xinglu Chen 882976d444
gnu: Add ocaml-uucd.
* gnu/packages/ocaml.scm (ocaml-uucd): New variable.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-08-08 22:21:23 +02:00
Xinglu Chen e473fe1056
gnu: ocaml-bisect-ppx: Update to 2.6.1.
* gnu/packages/ocaml.scm (ocaml-bisect-ppx): Update to 2.6.1.
[propagated-inputs]: Adjust accordingly.
[arguments]: Remove unnecessary phase; disable tests.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-08-08 22:20:15 +02:00
Ricardo Wurmus d648037edc
gnu: ocaml-biniou: Simplify "make-writable" phase.
* gnu/packages/ocaml.scm (ocaml-biniou)[arguments]: Simplify phase.
2021-08-04 17:08:31 +02:00
Julien Lepiller 3589c17556
gnu: lablgtk3: Install with version information.
This is required so recent versions of coq can check version
requirements.

* gnu/packages/ocaml.scm (lablgtk3)[arguments]: Ensure version is added
to the META file.
2021-07-31 23:06:12 +02:00
Julien Lepiller 96707d5a30
gnu: ocaml-zarith: Update to 1.12.
* gnu/packages/ocaml.scm (ocaml-zarith): Update to 1.12.
2021-07-31 23:05:59 +02:00
Ivan Gankevich c21ccbf14e
gnu: Add ocaml-bibtex2html.
* gnu/packages/ocaml.scm (ocaml-bibtex2html): New variable.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-07-10 15:02:12 +02:00
Ivan Gankevich bfa0df0d61
gnu: hevea: Update to 2.35.
* gnu/packages/ocaml.scm (hevea): Update to 2.35.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-07-10 15:01:31 +02:00
Julien Lepiller 4fa62cf702
gnu: ocaml-earley: Update to 3.0.0.
* gnu/packages/ocaml.scm (ocaml-earley): Update to 3.0.0.  Use latest
ocaml version.
2021-07-05 16:54:14 +02:00
Julien Lepiller ef79d6c5d6
gnu: Add ocaml-sqlite3.
* gnu/packages/ocaml.scm (ocaml-sqlite3): New variable.
(ocaml4.07-sqlite3): Inherit from ocaml-sqlite3.
* gnu/packages/bioinformatics.scm (pplacer): Also use package-with-ocaml4.07
with ocaml-sqlite3.
2021-07-05 16:54:11 +02:00
Xinglu Chen 364b56124b
gnu: Add ocaml-cohttp.
* gnu/packages/ocaml.scm (ocaml-cohttp): New variable.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-06-27 15:15:41 +02:00
Xinglu Chen e366b94f9f
gnu: Add ocaml-uri-sexp.
* gnu/packages/ocaml.scm (ocaml-uri-sexp): New variable.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-06-27 14:58:59 +02:00
Xinglu Chen 41aec416ce
gnu: ocaml-uri: Update to 4.2.0.
* gnu/packages/ocaml.scm (ocaml-uri): Update to 4.2.0.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-06-27 14:55:03 +02:00
Xinglu Chen 91b29aa373
gnu: ocaml-dose3: Fix tests.
* gnu/packages/ocaml.scm (ocaml-dose3)[arguments]<#:phases>: Add phase to
patch tests script.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-06-23 14:41:49 +02:00
Efraim Flashner 3623696db1
gnu: ocaml-uri: Use a source file-name.
* gnu/packages/ocaml.scm (ocaml-uri)[source]: Add a file-name field.
2021-06-22 13:49:06 +03:00
Xinglu Chen 980c33bd3f
gnu: ocaml-merlin: Inherit from ‘ocaml-dot-merlin-reader’.
* gnu/packages/ocaml.scm (ocaml-merlin): Inherit from
‘ocaml-dot-merlin-reader’, thus also updating it to 4.2-411.
[version, source, build-system, home-page]: Remove.
[arguments]<#:phases>: Use custom test phase.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-06-21 00:10:03 +02:00
Xinglu Chen 5ae0d2c247
gnu: ocaml-dot-merlin-reader: Update to 4.2-411.
* gnu/packages/ocaml.scm (ocaml-dot-merlin-reader): Update to 4.2-411.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-06-21 00:09:13 +02:00
Xinglu Chen a211078f99
gnu: ocaml-ppxlib: Update to 0.22.1.
* gnu/packages/ocaml.scm (ocaml-ppxlib): Update to 0.22.1.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-06-20 13:14:06 +02:00
Xinglu Chen 0bfafa49fa
gnu: ocaml-menhir: Update to 20210419.
* gnu/packages/ocaml.scm (ocaml-menhir): Update to 20210419.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-06-20 13:13:29 +02:00
Xinglu Chen dcd94ee855
gnu: Add ocaml-mparser-pcre.
* gnu/packages/ocaml.scm (ocaml-mparser-pcre): New variable.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-06-20 02:15:10 +02:00
Xinglu Chen 620b4e8ad3
gnu: Add ocaml-mparser-re.
* gnu/packages/ocaml.scm (ocaml-mparser-re): New variable.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-06-20 02:15:02 +02:00
Xinglu Chen fe6fd923a8
gnu: Add ocaml-mparser.
* gnu/packages/ocaml.scm (ocaml-mparser): New variable.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-06-20 02:13:48 +02:00
Xinglu Chen 96dce8c7fe
gnu: ocaml4.07-pcre: Remove package.
* gnu/packages/ocaml.scm (ocaml4.07-pcre): Remove package.  It has been
superseded by ‘ocaml-pcre’.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-06-20 02:13:33 +02:00
Xinglu Chen 97d3a9f781
gnu: ocaml4.07-expect: Switch to default OCaml compiler.
* gnu/packages/ocaml.scm (ocaml4.07-expect): Rename to ‘ocaml-expect’.
[arguments]: Use default OCaml compiler.
[native-inputs]: Use ‘ocaml-*’ packages instead of ‘ocaml4.07-*’.
[propagated-inputs]: Likewise.
[description]: Make it a full sentence.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-06-20 02:13:24 +02:00
Xinglu Chen 376b16e9a1
gnu: Add ocaml-pcre.
* gnu/packages/ocaml.scm (ocaml-pcre): New variable.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-06-20 02:12:40 +02:00
Julien Lepiller 0e8a18f0ec
gnu: cubicle: Make deterministic.
* gnu/packages/ocaml.scm (cubicle)[arguments]: Remove build date from
resulting binary.
2021-06-19 12:54:32 +02:00
Julien Lepiller 9417fae9fb
gnu: cubicle: Fix build with newer ocaml-num.
* gnu/packages/ocaml.scm (cubicle)[arguments]: Adjust Makefile for
changes in ocaml-num.
2021-06-19 12:54:27 +02:00
pukkamustard e93f6b693b
gnu: Update ocaml-mdx to 1.9.0.
* gnu/packages/ocaml.scm (ocaml-mdx): Update to 1.9.0.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-06-19 12:31:47 +02:00
Xinglu Chen dee608a1bb
gnu: Add ocaml-calendar.
* gnu/packages/ocaml.scm (ocaml-calendar): New variable.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-06-19 00:14:16 +02:00
Xinglu Chen 299c3c1860
gnu: dune-bootstrap: Update to 2.8.5.
* gnu/packages/ocaml.scm (dune-bootstrap): Update to 2.8.5.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-06-18 14:33:10 +02:00
divoplade d9e14697fd
gnu: Add ocaml-js-of-ocaml.
* gnu/packages/ocaml.scm (ocaml-js-of-ocaml): New variable.

Co-Authored-By: pukkamustard <pukkamustard@posteo.net>
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-06-13 17:15:55 +02:00
pukkamustard a8d460b369
gnu: ocaml-num: Update to 1.4.
* gnu/packages/ocaml.scm (ocaml-num): Update to 1.4.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-06-13 17:15:53 +02:00
pukkamustard fac530bca6
gnu: Add ocaml-ppx-expect.
* gnu/packages/ocaml.scm (ocaml-ppx-expect): New variable.
  (ocaml4.07-ppx-expect): Inherit from ocaml-ppx-expect.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-06-13 17:15:51 +02:00
pukkamustard 10ca414197
gnu: Add ocaml-ppx-variants-conv.
* gnu/packages/ocaml.scm (ocaml-ppx-variants-conv): New variable.
  (ocaml4.07-ppx-variants-conv): Inherit from ocaml-ppx-variants-conv.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-06-13 17:15:49 +02:00
pukkamustard 9891f88f7d
gnu: Add ocaml-variantslib.
* gnu/packages/ocaml.scm (ocaml-variantslib): New variable.
  (ocaml4.07-variantslib): Inherit from ocaml-variantslib.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-06-13 17:15:47 +02:00
divoplade 61c7467745
gnu: Add ocaml-graphics.
* gnu/packages/ocaml.scm (ocaml-graphics): New variable.

Co-Authored-By: pukkamustard <pukkamustard@posteo.net>
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-06-13 17:15:45 +02:00
pukkamustard 40d6c7aada
gnu: Add ocaml-uri.
* gnu/packages/ocaml.scm (ocaml-uri): New variable.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-06-13 17:15:43 +02:00
pukkamustard 1daf62b940
gnu: Add ocaml-angstrom.
* gnu/packages/ocaml.scm (ocaml-angstrom): New variable.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-06-13 17:15:41 +02:00
pukkamustard b05e5f6fdf
gnu: Add ocaml-ppx-inline-test.
* gnu/packages/ocaml.scm (ocaml-ppx-inline-test): New variable.
  (ocaml4.07-ppx-inline-test): Inherit from ocaml-ppx-inline-test.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-06-13 17:15:39 +02:00
pukkamustard 7c8fcd284b
gnu: Add ocaml-time-now.
* gnu/packages/ocaml.scm (ocaml-time-now): New variable.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-06-13 17:15:37 +02:00
pukkamustard 847960d38a
gnu: Add ocaml-jane-street-headers.
* gnu/packages/ocaml.scm (ocaml-jane-street-headers): New variable.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-06-13 17:15:35 +02:00
pukkamustard d0bbac69df
gnu: Add ocaml-jst-config.
* gnu/packages/ocaml.scm (ocaml-jst-config): New variable.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-06-13 17:15:33 +02:00
pukkamustard aa7f358808
gnu: Add ocaml-ppx-optional.
* gnu/packages/ocaml.scm (ocaml-ppx-optional): New variable.
  (ocaml4.07-ppx-optional): Inherit from ocaml-ppx-optional.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-06-13 17:15:31 +02:00
pukkamustard 90db0c0f17
gnu: Add ocaml-ppx-optcomp
* gnu/packages/ocaml.scm (ocaml-ppx-optcomp): New variable.
  (ocaml4.07-ppx-optcomp): Inherit from ocaml-ppx-optcomp.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-06-13 17:15:29 +02:00
pukkamustard a6bd051c04
gnu: Add ocaml-ppx-fields-conv.
* gnu/packages/ocaml.scm (ocaml-ppx-fields-conv): New variable.
  (ocaml4.07-ppx-fields-conv): Inherit from ocaml-ppx-fields-conv.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-06-13 17:15:27 +02:00
pukkamustard 8a6c39c272
gnu: Add ocaml-fieldslib.
* gnu/packages/ocaml.scm (ocaml-fieldslib): New variable.
  (ocaml4.07-fieldslib): Inherit from ocaml-fieldslib.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-06-13 17:15:25 +02:00