summaryrefslogtreecommitdiff
path: root/gnu/packages/ocaml.scm
Commit message (Collapse)AuthorAge
* Merge remote-tracking branch 'origin/master' into core-updates-frozen.Mathieu Othacehe2021-10-12
|\
| * gnu: ocaml-bos: Update to 0.2.1.Julien Lepiller2021-10-08
| | | | | | | | * gnu/packages/ocaml.scm (ocaml-bos): Update to 0.2.1.
| * gnu: ocaml-parsexp: Update to 0.14.1.Julien Lepiller2021-10-08
| | | | | | | | * gnu/packages/ocaml.scm (ocaml-parsexp): Update to 0.14.1.
| * gnu: Add ocaml-ppx-tools.Xinglu Chen2021-10-08
| | | | | | | | | | | | | | * gnu/packages/ocaml.scm (ocaml-ppx-tools): New variable. (ocaml4.07-ppx-tools): Remove variable. Signed-off-by: Julien Lepiller <julien@lepiller.eu>
| * gnu: Add ocaml-ppx-deriving.Xinglu Chen2021-10-08
| | | | | | | | | | | | * gnu/packages/ocaml.scm (ocaml-ppx-deriving): New variable. Signed-off-by: Julien Lepiller <julien@lepiller.eu>
| * gnu: ocaml-graphics: Update to 5.1.2.Julien Lepiller2021-10-08
| | | | | | | | * gnu/packages/ocaml.scm (ocaml-graphics): Update to 5.1.2.
| * gnu: ocaml-version: Add upstream-name.Julien Lepiller2021-10-08
| | | | | | | | * gnu/packages/ocaml.scm (ocaml-version)[properties]: Add upstream-name.
| * gnu: ocaml-cairo2: Update to 0.6.2.Julien Lepiller2021-10-08
| | | | | | | | | | | | | | * 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.
| * gnu: ocaml-bisect-ppx: Add upstream-name.Julien Lepiller2021-10-08
| | | | | | | | | | * gnu/packages/ocaml.scm (ocaml-bisect-ppx)[properties]: Add upstream-name.
| * gnu: ocaml-base64: Update to 3.5.0.Julien Lepiller2021-10-08
| | | | | | | | * gnu/packages/ocaml.scm (ocaml-base64): Update to 3.5.0.
| * gnu: camlzip: Update to 1.11.Julien Lepiller2021-10-08
| | | | | | | | * gnu/packages/ocaml.scm (camlzip): Update to 1.11.
| * gnu: ocaml-ctypes: Update to 0.19.1.Xinglu Chen2021-10-08
| | | | | | | | | | | | | | | | | | | | * 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>
| * gnu: ocaml-migrate-parsetree: Update to 2.2.0.Xinglu Chen2021-10-08
| | | | | | | | | | | | * gnu/packages/ocaml.scm (ocaml-migrate-parsetree): Update to 2.2.0. Signed-off-by: Julien Lepiller <julien@lepiller.eu>
| * gnu: ocaml-bigstringaf: Update to 0.8.0.Xinglu Chen2021-10-08
| | | | | | | | | | | | * gnu/packages/ocaml.scm (ocaml-bigstringaf): Update to 0.8.0. Signed-off-by: Julien Lepiller <julien@lepiller.eu>
| * gnu: ocaml-uuidm: Update to 0.9.7.Xinglu Chen2021-10-08
| | | | | | | | | | | | * gnu/packages/ocaml.scm (ocaml-uuidm): Update to 0.9.7. Signed-off-by: Julien Lepiller <julien@lepiller.eu>
| * gnu: ocaml-cppo: Update to 1.6.8.Xinglu Chen2021-10-08
| | | | | | | | | | | | * gnu/packages/ocaml.scm (ocaml-cppo): Update to 1.6.8. Signed-off-by: Julien Lepiller <julien@lepiller.eu>
| * gnu: ocaml-extlib: Update to 1.7.8.Xinglu Chen2021-10-08
| | | | | | | | | | | | * gnu/packages/ocaml.scm (ocaml-extlib): Update to 1.7.8. Signed-off-by: Julien Lepiller <julien@lepiller.eu>
| * gnu: ocaml-cmdliner: Update to 1.0.4.Xinglu Chen2021-10-08
| | | | | | | | | | | | | | * gnu/packages/ocaml.scm (ocaml-cmdliner): Update to 1.0.4. [source]: Use HTTPS URL. Signed-off-by: Julien Lepiller <julien@lepiller.eu>
| * gnu: ocaml-alcotest: Update to 1.4.0.Xinglu Chen2021-10-08
| | | | | | | | | | | | | | * 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>
| * gnu: ocaml-dune-build-info: Fix typo in description.Tobias Geerinckx-Rice2021-09-29
| | | | | | | | | | * gnu/packages/ocaml.scm (ocaml-dune-build-info)[description]: Fix ‘informations’ typo.
| * gnu: ocaml-re: Update to 1.10.3.Xinglu Chen2021-09-26
| | | | | | | | | | | | | | | | * 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>
| * gnu: ocaml-astring: Update to 0.8.5.Xinglu Chen2021-09-26
| | | | | | | | | | | | * gnu/packages/ocaml.scm (ocaml-astring): Update to 0.8.5. Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
| * gnu: ocaml-mdx: Update to 1.11.0.Xinglu Chen2021-09-26
| | | | | | | | | | | | | | * 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>
| * gnu: ocaml-re: Update to 1.10.0.Xinglu Chen2021-09-24
| | | | | | | | | | | | * gnu/packages/ocaml.scm (ocaml-re): Update to 1.10.0. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
| * gnu: ocaml-cstruct: Update to 6.0.1.pukkamustard2021-09-24
| | | | | | | | | | | | * gnu/packages/ocaml.scm (ocaml-cstruct): Update to 6.0.1. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
* | Merge branch 'master' into core-updates-frozenLudovic Courtès2021-09-07
|\|
| * gnu: ocaml-ppxlib: Update to 0.23.0.Xinglu Chen2021-09-06
| | | | | | | | | | | | * gnu/packages/ocaml.scm (ocaml-ppxlib): Update to 0.23.0. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
| * gnu: ocaml-ppx-variants-conv: Patch for building with ocaml-ppxlib.Xinglu Chen2021-09-06
| | | | | | | | | | | | | | | | | | | | 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>
| * gnu: ocamlformat: Update to 0.19.0.Xinglu Chen2021-09-06
| | | | | | | | | | | | | | * 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>
| * gnu: ocaml-ppx-optcomp: Update to 0.14.3.Xinglu Chen2021-09-06
| | | | | | | | | | | | * gnu/packages/ocaml.scm (ocaml-ppx-optcomp): Update to 0.14.3. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
| * gnu: ocaml-markup@0.8.0: Use 'ocaml-ounit', not 'ocaml-ounit2'.Ludovic Courtès2021-09-06
| | | | | | | | * gnu/packages/ocaml.scm (ocaml-markup0.8.0)[native-inputs]: New field.
| * gnu: Add ocaml-odoc-parser.Xinglu Chen2021-08-30
| | | | | | | | | | | | * gnu/packages/ocaml.scm (ocaml-odoc-parser): New variable. Signed-off-by: Ludovic Courtès <ludo@gnu.org>
| * gnu: ocaml4.07-base: Remove unnecessary arguments.pukkamustard2021-08-20
| | | | | | | | | | | | * gnu/packages/ocaml.scm (ocaml4.07-base): Remove unnecessary arguments. Signed-off-by: Julien Lepiller <julien@lepiller.eu>
| * guix: dune-build-system: Add a profile parameter.pukkamustard2021-08-20
| | | | | | | | | | | | | | | | | | * guix/build-system/dune.scm: Add a profile parameter. * guix/build/dune-build-system.scm (build): Use it. * doc/guix.texi: Document it. * gnu/packages/ocaml.scm: Remove profile being set from build flags. Signed-off-by: Julien Lepiller <julien@lepiller.eu>
| * gnu: ocaml-dune: Update to 2.9.0.Julien Lepiller2021-08-20
| | | | | | | | * gnu/packages/ocaml.scm (dune): Update to 2.9.0.
| * gnu: opam: Update to 2.1.0.Julien Lepiller2021-08-20
| | | | | | | | * gnu/packages/ocaml.scm (opam): Update to 2.1.0.
| * gnu: ocaml-opam-file-format: Update to 2.1.3.Julien Lepiller2021-08-20
| | | | | | | | * gnu/packages/ocaml.scm (ocaml-opam-file-format): Update to 2.1.3.
| * gnu: ocaml-markup: Update to 1.0.2.Julien Lepiller2021-08-20
| | | | | | | | * gnu/packages/ocaml.scm (ocaml-markup): Update to 1.0.2.
* | gnu: Use the non-deprecated TeX packages.Ludovic Courtès2021-09-06
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | 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.
* | gnu: lablgtk: Update to 2.18.11.Sarah Morgensen2021-09-05
| | | | | | | | | | | | | | | | 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>
* | gnu: dedukti: Fix reference to output.Maxime Devos2021-08-20
| | | | | | | | | | | | | | * gnu/packages/ocaml.scm (dedukti)[arguments]<#:phases>: Use #$output. Remove trailing #t. Signed-off-by: Mathieu Othacehe <othacehe@gnu.org>
* | gnu: ocaml4.07-piqi: Fix reference to inputs and output.Maxime Devos2021-08-20
| | | | | | | | | | | | | | | | | | | | 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>
* | gnu: omake: Fix reference to output.Maxime Devos2021-08-20
| | | | | | | | | | | | | | * gnu/packages/ocaml.scm (omake)[arguments]<#:make-flags>: Use #$output. Signed-off-by: Mathieu Othacehe <othacehe@gnu.org>
* | gnu: ocaml-frontc: Fix reference to output.Maxime Devos2021-08-20
| | | | | | | | | | | | | | * gnu/packages/ocaml.scm (ocaml-frontc)[arguments]<#:make-flags>: Use #$output. Signed-off-by: Mathieu Othacehe <othacehe@gnu.org>
* | gnu: ocaml-down: Fix reference to output.Maxime Devos2021-08-20
| | | | | | | | | | | | | | | | | | | | 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>
* | gnu: camlzip: Fix reference to output.Maxime Devos2021-08-20
| | | | | | | | | | | | | | * gnu/packages/ocaml.scm (camlzip)[arguments]<#:make-flags>: Use #$output. Signed-off-by: Mathieu Othacehe <othacehe@gnu.org>
* | gnu: ocaml-opam-file-format: Fix reference to output.Maxime Devos2021-08-20
| | | | | | | | | | | | | | * gnu/packages/ocaml.scm (ocaml-opam-file-format)[arguments]<#:make-flags>: Use #$output. Signed-off-by: Mathieu Othacehe <othacehe@gnu.org>
* | gnu: ocaml-cmdliner: Fix reference to output.Maxime Devos2021-08-20
| | | | | | | | | | | | | | * gnu/packages/ocaml.scm (ocaml-cmdliner)[arguments]<#:make-flags>: Use #$output. Signed-off-by: Mathieu Othacehe <othacehe@gnu.org>
* | gnu: ocaml-dose3: Fix reference to inputs and output.Maxime Devos2021-08-20
| | | | | | | | | | | | | | | | | | | | | | The package 'lablgtk@2.8.10' (indirect dependency of ocaml-dose3) fails to build so this patch could not be tested. * gnu/packages/ocaml.scm (ocaml-dose3)[arguments]<#:make-flags>: Use #$output. (ocaml-dose3)[arguments]<#:configure-flags>: Don't use %build-inputs. Signed-off-by: Mathieu Othacehe <othacehe@gnu.org>
* | gnu: ocamlcudf: Fix reference to output.Maxime Devos2021-08-20
| | | | | | | | | | | | | | * gnu/packages/ocaml.scm (ocamlcudf)[arguments]<#:make-flags>: Use #$output. Signed-off-by: Mathieu Othacehe <othacehe@gnu.org>