Age | Commit message (Expand) | Author |
2021-10-08 | gnu: camlzip: Update to 1.11....* gnu/packages/ocaml.scm (camlzip): Update to 1.11.
| Julien Lepiller |
2021-10-08 | 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>
| Xinglu Chen |
2021-10-08 | 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>
| Xinglu Chen |
2021-10-08 | 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>
| Xinglu Chen |
2021-10-08 | 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>
| Xinglu Chen |
2021-10-08 | 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>
| Xinglu Chen |
2021-10-08 | 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>
| Xinglu Chen |
2021-10-08 | 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>
| Xinglu Chen |
2021-10-08 | 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>
| Xinglu Chen |
2021-09-29 | gnu: 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-26 | 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>
| Xinglu Chen |
2021-09-26 | 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>
| Xinglu Chen |
2021-09-26 | 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>
| Xinglu Chen |
2021-09-24 | 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>
| Xinglu Chen |
2021-09-24 | 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>
| pukkamustard |
2021-09-07 | Merge branch 'master' into core-updates-frozen | Ludovic Courtès |
2021-09-06 | 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>
| Xinglu Chen |
2021-09-06 | 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>
| Xinglu Chen |
2021-09-06 | 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>
| Xinglu Chen |
2021-09-06 | 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>
| Xinglu Chen |
2021-09-06 | gnu: 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-06 | 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.
| Ludovic Courtès |
2021-09-05 | 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>
| Sarah Morgensen |
2021-08-20 | 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>
| Maxime Devos |
2021-08-20 | 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>
| Maxime Devos |
2021-08-20 | gnu: 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-20 | 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>
| Maxime Devos |
2021-08-20 | 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>
| Maxime Devos |
2021-08-20 | gnu: 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-20 | gnu: 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-20 | gnu: 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-20 | gnu: 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-20 | gnu: 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-20 | gnu: 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-20 | gnu: 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-12 | Merge 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-05 | gnu: 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-05 | gnu: 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-05 | gnu: 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-01 | Merge branch 'master' into core-updates-frozen | Marius Bakke |
2021-07-31 | 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.
| Julien Lepiller |
2021-07-31 | gnu: ocaml-zarith: Update to 1.12....* gnu/packages/ocaml.scm (ocaml-zarith): Update to 1.12.
| Julien Lepiller |
2021-08-30 | gnu: 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-20 | gnu: 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-20 | guix: 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-20 | gnu: ocaml-dune: Update to 2.9.0....* gnu/packages/ocaml.scm (dune): Update to 2.9.0.
| Julien Lepiller |
2021-08-20 | gnu: opam: Update to 2.1.0....* gnu/packages/ocaml.scm (opam): Update to 2.1.0.
| Julien Lepiller |
2021-08-20 | gnu: 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-20 | gnu: ocaml-markup: Update to 1.0.2....* gnu/packages/ocaml.scm (ocaml-markup): Update to 1.0.2.
| Julien Lepiller |
2021-08-08 | gnu: Add ocamlformat....* gnu/packages/ocaml.scm (ocamlformat): New variable.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
| Xinglu Chen |