Commit Graph

755 Commits

Author SHA1 Message Date
Ludovic Courtès
53d5d66378
gnu: ocaml-dose3: Remove now unneeded phase.
This reverts commit 91b29aa373.
Reported by pukkamustard on #guix.

* gnu/packages/ocaml.scm (ocaml-dose3)[arguments]: Remove #:phases.
2021-11-18 15:08:33 +01:00
Ludovic Courtès
3a317f7476
Merge branch 'master' into core-updates-frozen 2021-11-17 23:43:14 +01:00
Julien Lepiller
fd9b7f8376
gnu: ocaml4.07-odoc: Fix inputs.
* gnu/packages/ocaml.scm (ocaml4.07-odoc): Fix inputs.

Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2021-11-16 15:43:51 +02:00
Julien Lepiller
6347ac8e40
gnu: Add ocaml4.07-bisect-ppx.
* gnu/packages/ocaml.scm (ocaml4.07-bisect-ppx): New variable.

Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2021-11-16 15:43:51 +02:00
Julien Lepiller
c10ba562be
gnu: ocaml-lwt: Remove unneeded input.
* gnu/packages/ocaml.scm (ocaml-lwt)[native-inputs]: Remove
ocaml-bisect-ppx.

Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2021-11-16 15:43:51 +02:00
Julien Lepiller
b531ba4304
gnu: Add ocaml4.07-alcotest.
* gnu/packages/ocaml.scm (ocaml4.07-alcotest): New variable.

Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2021-11-16 15:43:51 +02:00
Julien Lepiller
8000fc4fa0
gnu: Add ocaml4.07-re.
* gnu/packages/ocaml.scm (ocaml4.07-re): New variable.

Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2021-11-16 15:43:51 +02:00
Vivien Kraus
648b81211f
gnu: unison: Fix building the manual.
* gnu/packages/ocaml.scm (unison)[native-inputs]: Add the missing texlive inputs.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2021-11-09 00:02:46 +01:00
Efraim Flashner
1c94392a13
Merge remote-tracking branch 'origin/master' into core-updates-frozen 2021-11-08 09:06:14 +02:00
Julien Lepiller
c55a64cb7e
gnu: opam: Update to 2.1.1.
* gnu/packages/ocaml.scm (opam): Update to 2.1.1.
2021-11-05 23:13:25 +01:00
Efraim Flashner
bc5155b952
Merge remote-tracking branch 'origin/master' into core-updates-frozen 2021-10-31 14:49:47 +02:00
Tobias Geerinckx-Rice
2f79308872
gnu: Fix ‘this packages’ and some other niggles.
* gnu/packages/crates-io.scm (rust-home-0.5)[description]:
Fix ‘this packages’ typo.
* gnu/packages/emacs-xyz.scm (emacs-ahg, emacs-cwl-mode)[description]:
Likewise.
* gnu/packages/python-check.scm (python-pytest-csv)[description]:
Likewise.
* gnu/packages/ocaml.scm (ocaml-syntax-shims)[description]: Likewise,
and note which language.
* gnu/packages/python-xyz.scm (python-recommonmark)[description]:
Likewise, and work around ‘enabling you’.
2021-10-21 22:08:24 +02:00
Mathieu Othacehe
a1eca979fb
Merge remote-tracking branch 'origin/master' into core-updates-frozen. 2021-10-12 17:46:23 +00:00
Julien Lepiller
2e74616446
gnu: ocaml-bos: Update to 0.2.1.
* gnu/packages/ocaml.scm (ocaml-bos): Update to 0.2.1.
2021-10-08 13:43:59 +02:00
Julien Lepiller
b8d4524b6c
gnu: ocaml-parsexp: Update to 0.14.1.
* gnu/packages/ocaml.scm (ocaml-parsexp): Update to 0.14.1.
2021-10-08 13:38:22 +02:00
Xinglu Chen
6e29cd1f45
gnu: Add ocaml-ppx-tools.
* gnu/packages/ocaml.scm (ocaml-ppx-tools): New variable.
(ocaml4.07-ppx-tools): Remove variable.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-10-08 13:18:29 +02:00
Xinglu Chen
989b372a6a
gnu: Add ocaml-ppx-deriving.
* gnu/packages/ocaml.scm (ocaml-ppx-deriving): New variable.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-10-08 13:11:19 +02:00
Julien Lepiller
3fc0fa988e
gnu: ocaml-graphics: Update to 5.1.2.
* gnu/packages/ocaml.scm (ocaml-graphics): Update to 5.1.2.
2021-10-08 04:34:11 +02:00
Julien Lepiller
f86cad2fbe
gnu: ocaml-version: Add upstream-name.
* gnu/packages/ocaml.scm (ocaml-version)[properties]: Add upstream-name.
2021-10-08 04:34:09 +02:00
Julien Lepiller
a3d528fa24
gnu: ocaml-cairo2: Update to 0.6.2.
* gnu/packages/ocaml.scm (ocaml-cairo2): Update to 0.6.2.
* gnu/packages/patches/ocaml-cairo2-caml_ba_array-fix.patch: Remove
file.
* gnu/local.scm (dist_patch_DATA): Remove it.
2021-10-08 04:34:07 +02:00
Julien Lepiller
bf64ef1a83
gnu: ocaml-bisect-ppx: Add upstream-name.
* gnu/packages/ocaml.scm (ocaml-bisect-ppx)[properties]: Add
upstream-name.
2021-10-08 04:34:06 +02:00
Julien Lepiller
9eea1f8f6f
gnu: ocaml-base64: Update to 3.5.0.
* gnu/packages/ocaml.scm (ocaml-base64): Update to 3.5.0.
2021-10-08 04:34:02 +02:00
Julien Lepiller
24fba107d1
gnu: camlzip: Update to 1.11.
* gnu/packages/ocaml.scm (camlzip): Update to 1.11.
2021-10-08 04:33:56 +02:00
Xinglu Chen
a0804f4445
gnu: ocaml-ctypes: Update to 0.19.1.
* gnu/packages/ocaml.scm (ocaml-ctypes): Update to 0.19.1.
[arguments]<#:tests?>: Enable.
<#phases>{make-writable}: Simplify.
[inputs]: Remove ocaml-topkg and opam.  Move ocaml-ounit and ocaml-lwt to ...
[native-inputs]: ... here.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-10-08 03:31:32 +02:00
Xinglu Chen
76177e816a
gnu: ocaml-migrate-parsetree: Update to 2.2.0.
* gnu/packages/ocaml.scm (ocaml-migrate-parsetree): Update to 2.2.0.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-10-08 03:28:51 +02:00
Xinglu Chen
14f9caf9de
gnu: ocaml-bigstringaf: Update to 0.8.0.
* gnu/packages/ocaml.scm (ocaml-bigstringaf): Update to 0.8.0.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-10-08 03:21:08 +02:00
Xinglu Chen
e78d9ea012
gnu: ocaml-uuidm: Update to 0.9.7.
* gnu/packages/ocaml.scm (ocaml-uuidm): Update to 0.9.7.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-10-08 03:19:43 +02:00
Xinglu Chen
d11b3bc71c
gnu: ocaml-cppo: Update to 1.6.8.
* gnu/packages/ocaml.scm (ocaml-cppo): Update to 1.6.8.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-10-08 03:07:39 +02:00
Xinglu Chen
8b9d17e770
gnu: ocaml-extlib: Update to 1.7.8.
* gnu/packages/ocaml.scm (ocaml-extlib): Update to 1.7.8.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-10-08 03:05:53 +02:00
Xinglu Chen
52e9a8f581
gnu: ocaml-cmdliner: Update to 1.0.4.
* gnu/packages/ocaml.scm (ocaml-cmdliner): Update to 1.0.4.
[source]: Use HTTPS URL.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-10-08 03:03:06 +02:00
Xinglu Chen
6b198cc874
gnu: ocaml-alcotest: Update to 1.4.0.
* gnu/packages/ocaml.scm (ocaml-alcotest): Update to 1.4.0.
[source]: Use Git repo instead of GitHub tarball.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-10-08 02:52:08 +02:00
Tobias Geerinckx-Rice
baa6c39f8a
gnu: ocaml-dune-build-info: Fix typo in description.
* gnu/packages/ocaml.scm (ocaml-dune-build-info)[description]:
Fix ‘informations’ typo.
2021-09-29 16:56:40 +02:00
Xinglu Chen
ae0f3f04a7
gnu: ocaml-re: Update to 1.10.3.
* gnu/packages/ocaml.scm (ocaml-re): Update to 1.10.3.
[arguments]<#:tests?>: Enable tests.
<#:test-target>: Set to ".".

Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2021-09-26 14:38:08 +03:00
Xinglu Chen
85a16c0788
gnu: ocaml-astring: Update to 0.8.5.
* gnu/packages/ocaml.scm (ocaml-astring): Update to 0.8.5.

Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2021-09-26 12:35:00 +03:00
Xinglu Chen
3ba525e0d7
gnu: ocaml-mdx: Update to 1.11.0.
* gnu/packages/ocaml.scm (ocaml-mdx): Update to 1.11.0.
[inputs]: Add ocaml-odoc-parser.

Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2021-09-26 12:10:19 +03:00
Xinglu Chen
d055e1f4aa
gnu: ocaml-re: Update to 1.10.0.
* gnu/packages/ocaml.scm (ocaml-re): Update to 1.10.0.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2021-09-24 14:00:09 +02:00
pukkamustard
cf429a8aa2
gnu: ocaml-cstruct: Update to 6.0.1.
* gnu/packages/ocaml.scm (ocaml-cstruct): Update to 6.0.1.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2021-09-24 13:50:41 +02:00
Ludovic Courtès
d9dfbf886d
Merge branch 'master' into core-updates-frozen 2021-09-07 14:19:08 +02:00
Xinglu Chen
49922efb11
gnu: ocaml-ppxlib: Update to 0.23.0.
* gnu/packages/ocaml.scm (ocaml-ppxlib): Update to 0.23.0.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2021-09-06 23:27:40 +02:00
Xinglu Chen
550f4aa682
gnu: ocaml-ppx-variants-conv: Patch for building with ocaml-ppxlib.
The patch will make it build when building it with ocaml-ppxlib@0.23.0.

* gnu/packages/patches/ocaml-ppx-variants-ppxlib-api-change.patch: New file.
* gnu/local.mk (dist_patch_DATA): Register it.
* gnu/packages/ocaml.scm (ocaml-ppx-variants-conv): Apply the patch.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2021-09-06 23:27:40 +02:00
Xinglu Chen
b60a7f049c
gnu: ocamlformat: Update to 0.19.0.
* gnu/packages/ocaml.scm (ocamlformat): Update to 0.19.0.
[propagated-inputs]: Add ocaml-odoc-parser.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2021-09-06 23:27:40 +02:00
Xinglu Chen
c80e71a586
gnu: ocaml-ppx-optcomp: Update to 0.14.3.
* gnu/packages/ocaml.scm (ocaml-ppx-optcomp): Update to 0.14.3.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2021-09-06 23:27:40 +02:00
Ludovic Courtès
5fc9d71bac
gnu: ocaml-markup@0.8.0: Use 'ocaml-ounit', not 'ocaml-ounit2'.
* gnu/packages/ocaml.scm (ocaml-markup0.8.0)[native-inputs]: New field.
2021-09-06 23:27:40 +02:00
Ludovic Courtès
b949f34f31
gnu: Use the non-deprecated TeX packages.
This commit leaves 'dblatex' and 'texlive-hyperref' as users of
deprecated packages, but these have many dependents.

* gnu/packages/bioinformatics.scm (discrover)[native-inputs]: Use
non-deprecated TeX Live packages.
(velvet)[native-inputs]: Likewise.
* gnu/packages/chez.scm (chez-scheme)[native-inputs]: Likewise.
(chez-web)[native-inputs]: Likewise.
* gnu/packages/engineering.scm (fastcap)[native-inputs]: Likewise.
* gnu/packages/guile-xyz.scm (emacsy)[native-inputs]: Likewise.
* gnu/packages/maths.scm (hypre)[native-inputs]: Likewise.
* gnu/packages/music.scm (lilypond)[native-inputs]: Likewise.
* gnu/packages/ocaml.scm (ocaml-bibtex2html)[native-inputs]: Likewise.
* gnu/packages/plotutils.scm (asymptote)[native-inputs]: Likewise.
* gnu/packages/python-xyz.scm (python-numpy-documentation)[native-inputs]:
Likewise.
(python-matplotlib-documentation)[native-inputs]: Likewise.
(python-ipython-documentation)[native-inputs]: Likewise.
(python-nbconvert)[native-inputs]: Likewise.
(python-pypandoc)[native-inputs]: Likewise.
* gnu/packages/statistics.scm (r-with-tests)[native-inputs]: Likewise.
* gnu/packages/tex.scm (texlive-pstool)[propagated-inputs]: Likewise.
(teximpatient)[native-inputs]: Likewise.
(texlive-latex-pgf)[propagated-inputs]: Likewise.
(texlive-beamer)[propagated-inputs]: Likewise.
2021-09-06 22:02:15 +02:00
Sarah Morgensen
c1b350afc6
gnu: lablgtk: Update to 2.18.11.
Update lablgtk to fix compilation with GCC 10.

* gnu/packages/ocaml.scm (lablgtk): Update to 2.18.11.

Signed-off-by: Guillaume Le Vaillant <glv@posteo.net>
2021-09-05 10:29:46 +02:00
Maxime Devos
e1ffd78270
gnu: dedukti: Fix reference to output.
* gnu/packages/ocaml.scm
  (dedukti)[arguments]<#:phases>: Use #$output.  Remove trailing #t.

Signed-off-by: Mathieu Othacehe <othacehe@gnu.org>
2021-08-20 18:33:51 +02:00
Maxime Devos
8717b34cd4
gnu: ocaml4.07-piqi: Fix reference to inputs and output.
The package 'lablgtk@2.8.10' (indirect dependency of ocaml4.07-piqi)
fails to build so this patch could not be tested.

* gnu/packages/ocaml.scm
  (ocaml4.07-piqi)[arguments]<#:make-flags>: Use #$output.

Signed-off-by: Mathieu Othacehe <othacehe@gnu.org>
2021-08-20 18:33:51 +02:00
Maxime Devos
4001657811
gnu: omake: Fix reference to output.
* gnu/packages/ocaml.scm
  (omake)[arguments]<#:make-flags>: Use #$output.

Signed-off-by: Mathieu Othacehe <othacehe@gnu.org>
2021-08-20 18:33:51 +02:00
Maxime Devos
463deeefdc
gnu: ocaml-frontc: Fix reference to output.
* gnu/packages/ocaml.scm
  (ocaml-frontc)[arguments]<#:make-flags>: Use #$output.

Signed-off-by: Mathieu Othacehe <othacehe@gnu.org>
2021-08-20 18:33:51 +02:00
Maxime Devos
ce8c675a18
gnu: ocaml-down: Fix reference to output.
The package 'lablgtk@2.8.10' (indirect dependency of ocaml-down)
fails to build so this patch could not be tested.

* gnu/packages/ocaml.scm
  (ocaml-down)[arguments]<#:build-flags>: Use #$output.

Signed-off-by: Mathieu Othacehe <othacehe@gnu.org>
2021-08-20 18:33:51 +02:00