futurile/guix-play
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
99,590 Commits 3 Branches 0 Tags
Commit Graph

992 Commits

Author SHA1 Message Date
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
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