summaryrefslogtreecommitdiff
path: root/gnu/packages/ocaml.scm
AgeCommit message (Expand)Author
2021-10-08gnu: camlzip: Update to 1.11....* gnu/packages/ocaml.scm (camlzip): Update to 1.11. Julien Lepiller
2021-10-08gnu: 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> Xinglu Chen
2021-10-08gnu: 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> Xinglu Chen
2021-10-08gnu: 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> Xinglu Chen
2021-10-08gnu: 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> Xinglu Chen
2021-10-08gnu: 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> Xinglu Chen
2021-10-08gnu: 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> Xinglu Chen
2021-10-08gnu: 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> Xinglu Chen
2021-10-08gnu: 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> Xinglu Chen
2021-09-29gnu: ocaml-dune-build-info: Fix typo in description....* gnu/packages/ocaml.scm (ocaml-dune-build-info)[description]: Fix ‘informations’ typo. Tobias Geerinckx-Rice
2021-09-26gnu: 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> Xinglu Chen
2021-09-26gnu: 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> Xinglu Chen
2021-09-26gnu: 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> Xinglu Chen
2021-09-24gnu: 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> Xinglu Chen
2021-09-24gnu: 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> pukkamustard
2021-09-07Merge branch 'master' into core-updates-frozenLudovic Courtès
2021-09-06gnu: 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> Xinglu Chen
2021-09-06gnu: 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> Xinglu Chen
2021-09-06gnu: 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> Xinglu Chen
2021-09-06gnu: 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> Xinglu Chen
2021-09-06gnu: ocaml-markup@0.8.0: Use 'ocaml-ounit', not 'ocaml-ounit2'....* gnu/packages/ocaml.scm (ocaml-markup0.8.0)[native-inputs]: New field. Ludovic Courtès
2021-09-06gnu: 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. Ludovic Courtès
2021-09-05gnu: 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> Sarah Morgensen
2021-08-20gnu: 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> Maxime Devos
2021-08-20gnu: 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> Maxime Devos
2021-08-20gnu: omake: Fix reference to output....* gnu/packages/ocaml.scm (omake)[arguments]<#:make-flags>: Use #$output. Signed-off-by: Mathieu Othacehe <othacehe@gnu.org> Maxime Devos
2021-08-20gnu: 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> Maxime Devos
2021-08-20gnu: 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> Maxime Devos
2021-08-20gnu: camlzip: Fix reference to output....* gnu/packages/ocaml.scm (camlzip)[arguments]<#:make-flags>: Use #$output. Signed-off-by: Mathieu Othacehe <othacehe@gnu.org> Maxime Devos
2021-08-20gnu: ocaml-opam-file-format: Fix reference to output....* gnu/packages/ocaml.scm (ocaml-opam-file-format)[arguments]<#:make-flags>: Use #$output. Signed-off-by: Mathieu Othacehe <othacehe@gnu.org> Maxime Devos
2021-08-20gnu: ocaml-cmdliner: Fix reference to output....* gnu/packages/ocaml.scm (ocaml-cmdliner)[arguments]<#:make-flags>: Use #$output. Signed-off-by: Mathieu Othacehe <othacehe@gnu.org> Maxime Devos
2021-08-20gnu: ocaml-dose3: Fix reference to inputs and output....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> Maxime Devos
2021-08-20gnu: ocamlcudf: Fix reference to output....* gnu/packages/ocaml.scm (ocamlcudf)[arguments]<#:make-flags>: Use #$output. Signed-off-by: Mathieu Othacehe <othacehe@gnu.org> Maxime Devos
2021-08-20gnu: ocamlbuild: Fix reference to output....* gnu/packages/ocaml.scm (ocamlbuild)[arguments]<#:make-flags>: Use #$output. Signed-off-by: Mathieu Othacehe <othacehe@gnu.org> Maxime Devos
2021-08-20gnu: ocaml: Fix reference to output....* gnu/packages/ocaml.scm (dune-boot)[arguments]<#:make-flags>: Use #$output. Signed-off-by: Mathieu Othacehe <othacehe@gnu.org> Maxime Devos
2021-08-12Merge branch 'master' into core-updates-frozen... Conflicts: gnu/packages/algebra.scm gnu/packages/games.scm gnu/packages/golang.scm gnu/packages/kerberos.scm gnu/packages/mail.scm gnu/packages/python.scm gnu/packages/ruby.scm gnu/packages/scheme.scm gnu/packages/tex.scm gnu/packages/tls.scm gnu/packages/version-control.scm Marius Bakke
2021-08-05gnu: ocaml@4.09: Fix link failure....* gnu/packages/patches/ocaml-4.09-multiple-definitions.patch: New file. * gnu/packages/ocaml.scm (ocaml-4.09)[source]: Use it. * gnu/local.mk (dist_patch_DATA): Add it. Ludovic Courtès
2021-08-05gnu: ocaml-boot: Change package name to "ocaml-boot"....* gnu/packages/ocaml.scm (ocaml-4.07-boot, ocaml-4.07)[name]: New field. Ludovic Courtès
2021-08-05gnu: ocaml@4.07: Fix link failure....The link failure shows up when using ld from GNU Binutils 2.37, and not with 2.34. * gnu/packages/patches/ocaml-multiple-definitions.patch: New file. * gnu/packages/ocaml.scm (ocaml-4.07-boot)[source]: Use it. * gnu/local.mk (dist_patch_DATA): Add it. Ludovic Courtès
2021-08-01Merge branch 'master' into core-updates-frozenMarius Bakke
2021-07-31gnu: 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. Julien Lepiller
2021-07-31gnu: ocaml-zarith: Update to 1.12....* gnu/packages/ocaml.scm (ocaml-zarith): Update to 1.12. Julien Lepiller
2021-08-30gnu: Add ocaml-odoc-parser....* gnu/packages/ocaml.scm (ocaml-odoc-parser): New variable. Signed-off-by: Ludovic Courtès <ludo@gnu.org> Xinglu Chen
2021-08-20gnu: ocaml4.07-base: Remove unnecessary arguments....* gnu/packages/ocaml.scm (ocaml4.07-base): Remove unnecessary arguments. Signed-off-by: Julien Lepiller <julien@lepiller.eu> pukkamustard
2021-08-20guix: dune-build-system: Add a profile parameter....* 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> pukkamustard
2021-08-20gnu: ocaml-dune: Update to 2.9.0....* gnu/packages/ocaml.scm (dune): Update to 2.9.0. Julien Lepiller
2021-08-20gnu: opam: Update to 2.1.0....* gnu/packages/ocaml.scm (opam): Update to 2.1.0. Julien Lepiller
2021-08-20gnu: ocaml-opam-file-format: Update to 2.1.3....* gnu/packages/ocaml.scm (ocaml-opam-file-format): Update to 2.1.3. Julien Lepiller
2021-08-20gnu: ocaml-markup: Update to 1.0.2....* gnu/packages/ocaml.scm (ocaml-markup): Update to 1.0.2. Julien Lepiller
2021-08-08gnu: Add ocamlformat....* gnu/packages/ocaml.scm (ocamlformat): New variable. Signed-off-by: Julien Lepiller <julien@lepiller.eu> Xinglu Chen