me/guix
Archived
1
0
Fork 0
Code Activity
93761 commits 1 branch 0 tags 410 MiB
Commit graph

877 commits

Author SHA1 Message Date
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
Maxime Devos
06c91c7651
gnu: camlzip: Fix reference to output. 
* gnu/packages/ocaml.scm
  (camlzip)[arguments]<#:make-flags>: Use #$output.

Signed-off-by: Mathieu Othacehe <othacehe@gnu.org>
 2021-08-20 18:33:51 +02:00
Maxime Devos
82f66e98b1
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>
 2021-08-20 18:33:51 +02:00
Maxime Devos
831f192346
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>
 2021-08-20 18:33:50 +02:00
Maxime Devos
96ca16857f
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>
 2021-08-20 18:33:50 +02:00
Maxime Devos
04b909829c
gnu: ocamlcudf: Fix reference to output. 
* gnu/packages/ocaml.scm
  (ocamlcudf)[arguments]<#:make-flags>: Use #$output.

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

Signed-off-by: Mathieu Othacehe <othacehe@gnu.org>
 2021-08-20 18:33:50 +02:00
Maxime Devos
c33c44fd43
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>
 2021-08-20 18:33:50 +02:00
Marius Bakke
c4133c43c7
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
 2021-08-12 00:30:27 +02:00
Ludovic Courtès
058b339d31
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.
 2021-08-05 15:46:46 +02:00
Ludovic Courtès
cfc1d13346
gnu: ocaml-boot: Change package name to "ocaml-boot". 
* gnu/packages/ocaml.scm (ocaml-4.07-boot, ocaml-4.07)[name]: New
field.
 2021-08-05 15:46:46 +02:00
Ludovic Courtès
1d580f47a9
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.
 2021-08-05 15:46:46 +02:00
Marius Bakke
d2e102d4e4
Merge branch 'master' into core-updates-frozen 2021-08-01 23:23:32 +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
Xinglu Chen
b12d856da9
gnu: Add ocaml-odoc-parser. 
* gnu/packages/ocaml.scm (ocaml-odoc-parser): New variable.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
 2021-08-30 14:40:18 +02:00
pukkamustard
6d9d10ae3f
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>
 2021-08-20 23:51:20 +02:00
pukkamustard
33a1ec29fa
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>
 2021-08-20 23:51:11 +02:00
Julien Lepiller
777ce14857
gnu: ocaml-dune: Update to 2.9.0. 
* gnu/packages/ocaml.scm (dune): Update to 2.9.0.
 2021-08-20 23:48:45 +02:00
Julien Lepiller
3d3807a022
gnu: opam: Update to 2.1.0. 
* gnu/packages/ocaml.scm (opam): Update to 2.1.0.
 2021-08-20 23:48:20 +02:00
Julien Lepiller
43c0be8c6a
gnu: ocaml-opam-file-format: Update to 2.1.3. 
* gnu/packages/ocaml.scm (ocaml-opam-file-format): Update to 2.1.3.
 2021-08-20 23:44:26 +02:00
Julien Lepiller
f916c82709
gnu: ocaml-markup: Update to 1.0.2. 
* gnu/packages/ocaml.scm (ocaml-markup): Update to 1.0.2.
 2021-08-20 23:43:22 +02:00
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