3
5
Fork 0
mirror of git://git.savannah.gnu.org/guix.git synced 2023-12-14 03:33:07 +01:00
Commit graph

1009 commits

Author SHA1 Message Date
Julien Lepiller
d7e1c5acb3
gnu: ocaml-bigarray-compat: Update to 1.1.0.
* gnu/packages/ocaml.scm (ocaml-bigarray-compat): Update to 1.1.0.
2022-02-04 17:50:20 +01:00
Julien Lepiller
a041609a82
gnu: ocaml-parsexp: Update to 0.14.2.
* gnu/packages/ocaml.scm (ocaml-parsexp): Update to 0.14.2.
2022-02-04 17:50:06 +01:00
Julien Lepiller
60356cc029
gnu: ocaml-ocurl: Update to 0.9.2.
* gnu/packages/ocaml.scm (ocaml-ocurl): Update to 0.9.2.
2022-02-04 17:50:03 +01:00
Julien Lepiller
2cabfdfc86
gnu: ocaml-menhir: Update to 20211230.
* gnu/packages/ocaml.scm (ocaml-menhir): Update to 20211230.
2022-02-04 17:50:01 +01:00
Julien Lepiller
13ac9e11ad
gnu: ocaml-pcre: Update to 7.5.0.
* gnu/packages/ocaml.scm (ocaml-pcre): Update to 7.5.0.
2022-02-04 17:49:58 +01:00
Julien Lepiller
8dfc0efd92
gnu: ocaml-mdx: Update to 2.1.0.
* gnu/packages/ocaml.scm (ocaml-mdx): Update to 2.1.0.
2022-02-04 17:49:56 +01:00
Julien Lepiller
1a97471939
gnu: ocaml-topkg: Update to 1.0.5.
* gnu/packages/ocaml.scm (ocaml-topkg): Update to 1.0.5.
2022-02-04 17:49:53 +01:00
Julien Lepiller
475b44c9a9
gnu: ocaml-base: Update to 0.14.3.
* gnu/packages/ocaml.scm (ocaml-base): Update to 0.14.3.
2022-02-04 17:49:51 +01:00
Julien Lepiller
bb5dfd6ede
gnu: ocaml-sqlite3: Update to 5.1.0.
* gnu/packages/ocaml.scm (ocaml-sqlite3): Update to 5.1.0.
(ocaml4.07-sqlite3): Stay at 5.0.2.
2022-02-04 17:49:46 +01:00
Julien Lepiller
8fb772bc06
gnu: ocaml-lwt-react: Update to 1.1.5.
* gnu/packages/ocaml.scm (ocaml-lwt-react): Update to 1.1.5.
2022-02-04 17:49:44 +01:00
Julien Lepiller
370da71d24
gnu: ocaml-batteries: Update to 3.5.0.
* gnu/packages/ocaml.scm (ocaml-batteries): Update to 3.5.0.
2022-02-04 17:49:40 +01:00
Julien Lepiller
589c99e6f6
gnu: ocaml-utop: Update to 2.9.0.
* gnu/packages/ocaml.scm (ocaml-utop): Update to 2.9.0.
2022-02-04 17:49:38 +01:00
Julien Lepiller
5ce3d41d56
gnu: ocaml-cohttp: Update to 5.0.0.
* gnu/packages/ocaml.scm (ocaml-cohttp): Update to 5.0.0.
2022-02-04 17:49:35 +01:00
Julien Lepiller
84e304b56d
gnu: ocaml-sedlex: Update to 2.5.
* gnu/packages/ocaml.scm (ocaml-sedlex): Update to 2.5.
2022-02-04 17:49:33 +01:00
Julien Lepiller
d782c633fa
gnu: ocaml-gen: Update to 1.0.
* gnu/packages/ocaml.scm (ocaml-gen): Update to 1.0.
2022-02-04 17:49:26 +01:00
Julien Lepiller
3e882e8466
gnu: ocaml-mccs: Update to 1.1+13.
* gnu/packages/ocaml.scm (ocaml-mccs): Update to 1.1+13.
2022-02-04 17:49:03 +01:00
Julien Lepiller
877da38bd3
gnu: ocaml-lwt: Update to 5.5.0.
* gnu/packages/ocaml.scm (ocaml-lwt): Update to 5.5.0.
2022-02-03 19:36:22 +01:00
Julien Lepiller
18a588773e
gnu: ocaml-ctypes: Update to 0.20.0.
* gnu/packages/ocaml.scm (ocaml-ctypes): Update to 0.20.0.
2022-02-03 19:36:20 +01:00
Julien Lepiller
ca79fc5b14
gnu: ocaml-rresult: Update to 0.7.0.
* gnu/packages/ocaml.scm (ocaml-rresult): Update to 0.7.0.
2022-02-03 19:36:18 +01:00
Julien Lepiller
89d4cf2a87
gnu: ocaml-ounit2: Update to 2.2.5.
* gnu/packages/ocaml.scm (ocaml-ounit2): Update to 2.2.5.
2022-02-03 19:36:16 +01:00
Julien Lepiller
643c2fb44b
gnu: ocaml-bisect-ppx: Update to 2.7.1.
* gnu/packages/ocaml.scm (ocaml-bisect-ppx): Update to 2.7.1.
2022-02-03 19:36:13 +01:00
Julien Lepiller
66c5d6e8d5
gnu: ocaml-fix: Update to 20220121.
* gnu/packages/ocaml.scm (ocaml-fix): Update to 20220121.
2022-02-03 19:36:11 +01:00
Julien Lepiller
a52ad7e8be
gnu: ocaml-ocp-index: Update to 1.3.3.
* gnu/packages/ocaml.scm (ocaml-ocp-index): Update to 1.3.3.
2022-02-03 19:36:09 +01:00
Julien Lepiller
040d12a2f6
gnu: ocaml-odoc-parser: Update to 1.0.0.
* gnu/packages/ocaml.scm (ocaml-odoc-parser): Update to 1.0.0.
(ocamlformat): Update to 0.20.1.
2022-02-03 19:36:06 +01:00
Julien Lepiller
90547d6d50
gnu: dune: Update to 2.9.3.
* gnu/packages/ocaml.scm (dune-bootstrap): Update to 2.9.3.
2022-02-03 19:35:51 +01:00
pukkamustard
102a02896d
gnu: js-of-ocaml: Update to 4.0.0.
* gnu/packages/ocaml (js-of-ocaml): Update to 4.0.0.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2022-02-03 12:00:22 +01:00
Julien Lepiller
3e8e6ebf00
gnu: ocaml: Update to 4.13.
* gnu/packages/ocaml.scm (ocaml-4.13): New variable.
(ocaml-4.11): Remove variable.
(ocaml-dot-merlin-reader): Update to 4.4-413.
(js-of-ocaml): Update to 3.11.0.
2022-01-09 10:34:52 +01:00
Julien Lepiller
2ac1441015
gnu: ocaml-migrate-parstree-1: Only build ocaml4.07 variant.
* gnu/packages/ocaml.scm (ocaml-migrate-parsetree-1): Rename to...
(ocaml4.07-migrate-parsetree): ...this.  Use package-with-ocaml4.07.
2022-01-09 10:34:50 +01:00
Julien Lepiller
92c63bc491
gnu: ocaml-ppx-tools-versioned: Only build ocaml-4.07 variant.
* gnu/packages/ocaml.scm (ocaml-ppx-tools-versioned): Rename to...
(ocaml4.07-ppx-tools-versioned): ...this.  Use package-with-ocaml4.07.
[arguments]: Use ocaml-4.07.
2022-01-09 10:34:38 +01:00
Vagrant Cascadian
ae876b9ce1
gnu: Capitalize beginning of synopsis.
* gnu/packages/admin.scm (hungrycat)[synopsis]: Captalize.
* gnu/packages/cobol.scm (gnucobol)[synopsis]: Likewise.
* gnu/packages/cpp.scm (clipper)[synopsis]: Likewise.
* gnu/packages/crates-graphics.scm (rust-piston-texture-0.8)[synopsis]:
  Likewise.
* gnu/packages/crates-io.scm (rust-alloc-stdlib-0.2, rust-atom-0.3,
  rust-oorandom-11.1, rust-r2d2, rust-scheduled-thread-pool-0.2,
  rust-takeable-option-0.4, rust-ttf-parser-0.12)[synopsis]: Likewise.
* gnu/packages/games.scm (roguebox-adventures)[synopsis]: Likewise.
* gnu/packages/gl.scm (libepoxy)[synopsis]: Likewise.
* gnu/packages/gnome-xyz.scm (arc-theme)[synopsis]: Likewise.
* gnu/packages/haskell-xyz.scm (ghc-cborg-json, ghc-rio)[synopsis]: Likewise.
* gnu/packages/installers.scm (mingw-path)[synopsis]: Likewise.
* gnu/packages/lisp-xyz.scm (sbcl-cl-utilities)[synopsis]: Likewise.
* gnu/packages/maths.scm (coda)[synopsis]: Likewise.
* gnu/packages/ocaml.scm (ocaml4.07-ppx-sexp-message)[synopsis]: Likewise.
* gnu/packages/perl6.scm (perl6-json)[synopsis]: Likewise.
* gnu/packages/python-xyz.scm (python-markuppy,
  python-febelfin-coda)[synopsis]: Likewise.
* gnu/packages/statistics.scm (r-magrittr)[synopsis]: Likewise.
* gnu/packages/terminals.scm (sakura)[synopsis]: Likewise.
2021-12-30 21:23:27 -08:00
Vagrant Cascadian
9c3c68dae4
gnu: Remove leading article from synopsis.
* gnu/packages/admin.scm (hungrycat)[synopsis]: Remove leading article.
* gnu/packages/cobol.scm (gnucobol)[synopsis]: Likewise.
* gnu/packages/cpp.scm (clipper)[synopsis]: Likewise.
* gnu/packages/crates-graphics.scm (rust-piston-texture-0.8)[synopsis]:
  Likewise.
* gnu/packages/crates-io.scm (rust-alloc-stdlib-0.2, rust-atom-0.3,
  rust-oorandom-11.1, rust-r2d2, rust-scheduled-thread-pool-0.2,
  rust-takeable-option-0.4, rust-ttf-parser-0.12,
  rust-svd-parser-0.9)[synopsis]: Likewise.
* gnu/packages/games.scm (roguebox-adventures)[synopsis]: Likewise.
* gnu/packages/gl.scm (libepoxy)[synopsis]: Likewise.
* gnu/packages/gnome-xyz.scm (arc-theme)[synopsis]: Likewise.
* gnu/packages/haskell-xyz.scm (ghc-cborg-json, ghc-rio)[synopsis]: Likewise.
* gnu/packages/installers.scm (mingw-path)[synopsis]: Likewise.
* gnu/packages/lisp-xyz.scm (sbcl-cl-utilities)[synopsis]: Likewise.
* gnu/packages/lisp.scm (gcl, clisp)[synopsis]: Likewise.
* gnu/packages/maths.scm (coda)[synopsis]: Likewise.
* gnu/packages/ocaml.scm (ocaml4.07-ppx-sexp-message)[synopsis]: Likewise.
* gnu/packages/perl6.scm (perl6-json)[synopsis]: Likewise.
* gnu/packages/python-xyz.scm (python-pari-jupyter, python-markuppy,
  python-febelfin-coda)[synopsis]: Likewise.
* gnu/packages/scheme.scm (mit-scheme)[synopsis]: Likewise.
* gnu/packages/statistics.scm (r-magrittr)[synopsis]: Likewise.
* gnu/packages/terminals.scm (sakura)[synopsis]: Likewise.
2021-12-30 20:54:47 -08:00
Julien Lepiller
5c093aa5d2
gnu: ocaml-odoc: Update to 2.0.2.
* gnu/packages/ocaml.scm (ocaml-odoc): Update to 2.0.2.
2021-12-22 02:34:17 +01:00
Julien Lepiller
81f36476a0
gnu. ocaml-batteries: Update to 3.4.0.
* gnu/packages/ocaml.scm (ocaml-batteries): Update to 3.4.0.
2021-12-22 02:34:14 +01:00
Julien Lepiller
f1078defda
gnu: ocaml-fpath: Update to 0.7.3.
* gnu/packages/ocaml.scm (ocaml-fpath): Update to 0.7.3.
2021-12-22 02:34:11 +01:00
Julien Lepiller
0770201a20
gnu: camlp5: Update to 8.00.02.
* gnu/packages/ocaml.scm (camlp5): Update to 8.00.02.
2021-12-22 02:34:03 +01:00
Julien Lepiller
bf8e084d1d
gnu: ocaml-findlib: Update to 1.9.1.
* gnu/packages/ocaml.scm (ocaml-findlib): Update to 1.9.1.
2021-12-22 00:05:32 +01:00
Ludovic Courtès
e3196755e6
gnu: Further simplify package inputs.
This is the result of running:

  ./pre-inst-env guix style --input-simplification=safe

and manually undoing changes on a dozen of packages to reduce
rebuilds (derivations for emacs, icecat, and libreoffice are unchanged.)
2021-12-13 22:15:07 +01:00
Ludovic Courtès
8394619bac
gnu: Simplify package inputs.
This commit was obtained by running:

  ./pre-inst-env guix style

without any additional argument.
2021-12-13 17:48:25 +01:00
Mathieu Othacehe
32750e8c3e
Merge remote-tracking branch 'signed/master' into core-updates 2021-12-10 21:49:25 +01:00
Julien Lepiller
18c406df97
gnu: ocaml-ppx-expect: Update to 0.14.2.
* gnu/packages/ocaml.scm (ocaml-ppx-expect): Update to 0.14.2.
2021-12-10 12:51:36 +01:00
Julien Lepiller
94226686fe
gnu: ocaml-migrate-parsetree: Update to 2.3.0.
* gnu/packages/ocaml.scm (ocaml-migrate-parsetree): Update to 2.3.0.
2021-12-10 12:51:32 +01:00
Julien Lepiller
6e06846c9d
gnu: ocamlformat: Update to 0.20.0.
* gnu/packages/ocaml.scm (ocamlformat): Update to 0.20.0.
2021-12-10 12:51:28 +01:00
Julien Lepiller
af365f0001
gnu: Add ocaml-either.
* gnu/packages/ocaml.scm (ocaml-either): New variable.
2021-12-10 12:51:22 +01:00
Julien Lepiller
5ad2dcecdc
gnu: ocaml-fix: Update to 20211125. 2021-12-10 12:51:06 +01:00
Julien Lepiller
4665e6a73b
gnu: opam: Update to 2.1.2.
* gnu/packages/ocaml.scm (opam): Update to 2.1.2.
2021-12-09 23:59:21 +01:00
77ea796d1b
gnu: pplacer: Fix build.
* gnu/packages/bioinformatics.scm (pplacer)[inputs]: Replace gsl with
gsl-static.
* gnu/packages/ocaml.scm (ocaml4.07-gsl-1)[inputs]: Same.
2021-12-09 23:17:26 +02:00
Ricardo Wurmus
9bc0f45df5
Merge remote-tracking branch 'origin/master' into core-updates-frozen 2021-12-05 19:17:41 +01:00
Ludovic Courtès
f044ffc1c4
gnu: ocaml4.07-ppx-let: Make 'properties' an alist.
The incorrect 'properties' value was introduced in
3649c56a5f.

* gnu/packages/ocaml.scm (ocaml4.07-ppx-let)[properties]: Turn into an
alist.
2021-12-04 21:57:27 +01:00
Julien Lepiller
4ac084e52d
gnu: ocaml-batteries: Update to 3.3.0.
* gnu/packages/ocaml.scm (ocaml-batteries): Update to 3.3.0.
(ocaml4.07-batteries): New variable.
2021-11-24 14:51:05 +01:00
Julien Lepiller
db61ad142d
gnu: Add ocaml-benchmark.
* gnu/packages/ocaml.scm (ocaml-benchmark): New variable.
2021-11-24 14:50:46 +01:00
zimoun
8365b4a0a3
gnu: Add ocaml-utop.
* gnu/packages/ocaml.scm (ocaml-utop): New variable.
(ocaml4.07-utop): Inherit and adjust.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-11-24 02:13:55 +01:00
zimoun
1221eb5f45
gnu: Add ocaml-lambda-term.
* gnu/packages/ocaml.scm (ocaml-lambda-term): New variable.
(omca4.07-lambda-term): Inherit and adjust.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-11-24 02:13:53 +01:00
zimoun
db542938e2
gnu: Add ocaml-zed.
* gnu/packages/ocaml.scm (ocaml-zed): New variable.
(ocaml4.07-zed): Inherit and adjust source.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-11-24 02:13:52 +01:00
zimoun
f73a39e0da
gnu: ocaml-charinfo-width: Fix source to get 'LICENSE' file.
* gnu/packages/ocaml.scm (ocaml-charinfo-width): Replace 'url-fetch' by
'git-fetch' and update to unreleased commit.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-11-24 02:13:51 +01:00
zimoun
ec861f6964
gnu: Add ocaml-mew-vi.
* gnu/packages/ocaml.scm (ocaml-mew-vi): New variable.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-11-24 02:13:50 +01:00
zimoun
ddea301236
gnu: Add ocaml-mew.
* gnu/packages/ocaml.scm (ocaml-mew): New variable.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-11-24 02:13:44 +01:00
zimoun
b2a725c679
gnu: Add ocaml-trie.
* gnu/packages/ocaml.scm (ocaml-trie): New variable.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-11-24 02:13:39 +01:00
Ludovic Courtès
b15e543d30
Merge branch 'master' into core-updates-frozen 2021-11-23 11:29:38 +01:00
Julien Lepiller
8b140f393e
gnu: ocaml-merlin-reader: Update to 4.3.1-411.
* gnu/packages/ocaml.scm (ocaml-merlin-reader): Update to 4.3.1-411.
2021-11-21 19:49:36 +01:00
Julien Lepiller
29e9dc49cc
gnu: camlboot: Increase max-silent-time.
* gnu/packages/ocaml.scm (camlboot)[properties]: Set max-silent-time to
10 hours.
2021-11-21 16:20:57 +01:00
Julien Lepiller
348f1f7cb5
gnu: camlboot: Update to latest commit.
* gnu/packages/ocaml.scm (camlboot): Update to latest commit.
2021-11-21 04:14:49 +01:00
Julien Lepiller
0846e7d326
gnu: Add ocaml-charinfo-width.
* gnu/packages/ocaml.scm (ocaml4.07-charinfo-width): Replace with...
(ocaml-charinfo-width): ...this. Use latest ocaml package.
2021-11-20 19:39:57 +01:00
Julien Lepiller
f9bf7de5b4
gnu: Add ocaml-gsl.
* gnu/packages/ocaml.scm (ocaml4.07-gsl): Replace with...
(ocaml-gsl): ...this. Use latest ocaml package.
(ocaml4.07-gsl-1): Adapt accordingly.
2021-11-20 19:39:54 +01:00
Julien Lepiller
0481810ebf
gnu: Add ocaml-fftw3.
* gnu/packages/ocaml.scm (ocaml4.07-fftw3): Replace with...
(ocaml-fftw3) ...this. Use latest ocaml package.
2021-11-20 19:39:52 +01:00
Julien Lepiller
e9d3f3656b
gnu: Add ocaml-lacaml.
* gnu/packages/ocaml.scm (ocaml4.07-lacaml): Replace with...
(ocaml-lacaml): ...this.  Use latest ocaml package.
2021-11-20 19:39:25 +01:00
Julien Lepiller
0a4656f1c1
gnu: ocaml-version: Update to 3.4.0.
* gnu/packages/ocaml.scm (ocaml-version): Update to 3.4.0.
2021-11-20 17:09:03 +01:00
Julien Lepiller
4378eb9a15
gnu: ocaml-tyxml: Update to 4.5.0.
* gnu/packages/ocaml.scm (ocaml-tyxml): Update to 4.5.0.
2021-11-20 17:08:55 +01:00
Julien Lepiller
c2242284ab
gnu: ocaml-topkg: Update to 1.0.4.
* gnu/packages/ocaml.scm (ocaml-topkg): Update to 1.0.4.
2021-11-20 17:08:50 +01:00
Julien Lepiller
972c6fe87b
gnu: ocaml-stdlib-shims: Update to 0.3.0.
* gnu/packages/ocaml.scm (ocaml-stdlib-shims): Update to 0.3.0.
2021-11-20 17:08:47 +01:00
Julien Lepiller
5a3fcf0cac
gnu: ocaml-sedlex: Update to 2.4.
* gnu/packages/ocaml.scm (ocaml-sedlex): Update to 2.4.
[native-inputs]: Remove ocamlbuild.
[propagated-inputs]: Remove ocaml-ppx-tools-versioned.
(ocaml4.07-sedlex)[propagated-inputs]: Add ocaml-ppx-tools-versioned.
2021-11-20 17:08:37 +01:00
Julien Lepiller
40f7eb975b
gnu: ocaml-qtest: Update to 2.11.2.
* gnu/packages/ocaml.scm (ocaml-qtest): Update to 2.11.2.
2021-11-20 17:08:33 +01:00
Julien Lepiller
b0e76b0828
gnu: ocaml-qcheck: Update to 0.18.
* gnu/packages/ocaml.scm (ocaml-qcheck): Update to 0.18.
* gnu/packages/patches/ocaml-qcheck-fix-test-whitespace.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
2021-11-20 17:08:06 +01:00
Julien Lepiller
0df82727a6
gnu: ocaml-ppx-variants-conv: Update to 0.14.2.
* gnu/packages/ocaml.scm (ocaml-ppx-variants-conv): Update to 0.14.2.
[origin]: Remove patch.
* gnu/packages/patches/ocaml-ppx-variants-ppxlib-api-change.patch:
Remove file.
* gnu/local.mk (dist_patch_DATA): Remove it.
2021-11-20 17:07:50 +01:00
Julien Lepiller
97fd67edea
gnu: ocaml-ppx-js-style: Update to 0.14.1.
* gnu/packages/ocaml.scm (ocaml-ppx-js-style): Update to 0.14.1.
2021-11-20 17:07:44 +01:00
Julien Lepiller
95e6a977fa
gnu: ocaml-odoc: Update to 2.0.0.
* gnu/packages/ocaml.scm (ocaml-odoc): Update to 2.0.0.
[inputs, native-inputs]: Adjust inputs.
(ocaml4.07-odoc)[inputs, native-inputs]: Keep previous inputs.
2021-11-20 17:07:24 +01:00
Julien Lepiller
1277bd9fc0
gnu: ocaml-ocplib-endian: Update to 1.2.
* gnu/packages/ocaml.scm (ocaml-ocplib-endian): Update to 1.2.
2021-11-20 17:07:14 +01:00
Julien Lepiller
e46621ca6c
gnu: ocaml-mtime: Update to 1.3.0.
* gnu/packages/ocaml.scm (ocaml-mtime): Update to 1.3.0.
2021-11-20 17:07:10 +01:00
Julien Lepiller
63e5e127cb
gnu: ocaml-mdx: Remove unneeded dependency.
* gnu/packages/ocaml.scm (ocaml-mdx)[inputs]: remove
ocaml-migrate-parsetree.
2021-11-20 17:06:59 +01:00
Julien Lepiller
e7bf93e5cc
gnu: ocaml-integers: Update to 0.5.1. 2021-11-20 17:06:50 +01:00
Julien Lepiller
426faa76d1
gnu: ocaml-fmt: Update to 0.9.0.
* gnu/packages/ocaml.scm (ocaml-fmt): Update to 0.9.0.
(ocaml4.07-fmt): New variable.
2021-11-20 17:06:30 +01:00
Julien Lepiller
42eeea188d
gnu: ocaml-frontc: Update to 4.1.0.
* gnu/packages/ocaml.scm (ocaml-frontc): Update to 4.1.0.
(ocaml4.07-frontc): New variable.
2021-11-20 03:48:28 +01:00
Julien Lepiller
32cecfa057
gnu: ocaml-fileutils: Update to 0.6.3.
* gnu/packages/ocaml.scm (ocaml-fileutils): Update to 0.6.3.
2021-11-20 03:48:21 +01:00
Julien Lepiller
b8f950cf9d
gnu: ocaml-csv: Update to 2.4.
* gnu/packages/ocaml.scm (ocaml-csv): Update to 2.4.
2021-11-20 03:48:19 +01:00
Julien Lepiller
8e15801f23
gnu: ocaml-csexp: Update to 1.5.1.
* gnu/packages/ocaml.scm (ocaml-csexp): Update to 1.5.1.
2021-11-20 03:48:17 +01:00
Julien Lepiller
25be347f00
gnu: ocaml-compiler-libs: Update to 0.12.4.
* gnu/packages/ocaml.scm (ocaml-compiler-libs): Update to 0.12.4.
2021-11-20 03:48:11 +01:00
Julien Lepiller
58d65f9da8
gnu: ocaml-menhir: Make it its own variant.
* gnu/packages/ocaml.scm (ocaml-menhir)[properties]: Use the same menhir
even with ocaml-4.07.
2021-11-20 03:48:05 +01:00
Julien Lepiller
718700cc95
gnu: ocaml-bitsring: Update to 4.1.0.
* gnu/packages/ocaml.scm (ocaml-bitstring): Update to 4.1.0.
(ocaml4.07-bitstring): New variable.
2021-11-20 03:47:56 +01:00
Julien Lepiller
e1a8ba10ec
gnu: Add ocaml4.07-cstruct.
* gnu/packages/ocaml.scm (ocaml4.07-cstruct): New variable.
2021-11-20 00:22:50 +01:00
Julien Lepiller
cebc0e54a4
gnu: Add ocaml4.07-base64.
* gnu/packages/ocaml.scm (ocaml4.07-base64): New variable.
2021-11-20 00:20:42 +01:00
Julien Lepiller
be9ae1347c
gnu: ocaml-menhir: Update to 20211012.
* gnu/packages/ocaml.scm (ocaml-menhir): Update to 20211012.
2021-11-20 00:15:10 +01:00
Julien Lepiller
4f86ef865e
gnu: ocaml-uunf: Update to 14.0.0.
* gnu/packages/ocaml.scm (ocaml-uunf): Update to 14.0.0.
2021-11-19 23:57:38 +01:00
Julien Lepiller
ee1188dcb1
gnu: ocaml-uucp: Update to 14.0.0.
* gnu/packages/ocaml.scm (ocaml-uucp): Update to 14.0.0.
2021-11-19 23:53:47 +01:00
Julien Lepiller
a37f84fd61
gnu: ocaml-uucd: Update to 14.0.0.
* gnu/packages/ocaml.scm (ocaml-uucd): Update to 14.0.0.
2021-11-19 23:53:35 +01:00
Julien Lepiller
c83dbe2cc0
gnu: ocaml-uuseg: Update to 14.0.0.
* gnu/packages/ocaml.scm (ocaml-uuseg): Update to 14.0.0.
2021-11-19 23:44:16 +01:00
Julien Lepiller
6460345725
gnu: ocaml-ounit: Update to 2.2.4.
* gnu/packages/ocaml.scm (ocaml-ounit): Update to 2.2.4.  Inherit from
ocaml-ounit2.
[arguments]: Use installation instructions from opam.
2021-11-19 13:55:19 +01:00
Julien Lepiller
188e3e2e68
gnu: ocaml4.07-merlin: Remove package.
* gnu/packages/ocaml.scm (ocaml4.07-merlin): Remove package.
2021-11-19 04:04:46 +01:00
Julien Lepiller
9d662021ae
gnu: ocaml-jst-config: Update to 0.14.1.
* gnu/packages/ocaml.scm (ocaml-jst-config): Update to 0.14.1.
2021-11-19 04:03:45 +01:00
Julien Lepiller
eb9fa94cca
gnu: ocaml-base: Update to 0.14.1.
* gnu/packages/ocaml.scm (ocaml-base): Update to 0.14.1.
2021-11-19 03:51:16 +01:00
Julien Lepiller
78c930e617
gnu: ocaml-lwt-react: Update to 1.1.4.
* gnu/packages/ocaml.scm (ocaml-lwt-react): Update to 1.1.4.
2021-11-19 03:29:43 +01:00
Julien Lepiller
4c8714d406
gnu: ocaml-lwt: Update to 5.4.2.
* gnu/packages/ocaml.scm (ocaml-lwt): Update to 5.4.2.
2021-11-19 03:26:35 +01:00
Julien Lepiller
fff3185995
gnu: dune: Update to 2.9.1.
* gnu/packages/ocaml.scm (dune): Update to 2.9.1.
2021-11-19 02:54:00 +01:00
Julien Lepiller
2f1f2ac1e9
gnu: ocaml-alcotest: Update to 1.5.0.
* gnu/packages/ocaml.scm (ocaml-alcotest): Update to 1.5.0.
2021-11-19 00:29:53 +01:00
Julien Lepiller
5012281765
gnu: ocaml-ocp-index: Update to 1.3.2.
* gnu/packages/ocaml.scm (ocaml-ocp-index): Update to 1.3.2.
2021-11-18 23:48:50 +01:00
Julien Lepiller
b1acfb676a
gnu: ocaml-ssl: Update to 0.5.10.
* gnu/packages/ocaml.scm (ocaml-ssl): Update to 0.5.10.
2021-11-18 23:17:08 +01:00
Ludovic Courtès
53d5d66378
gnu: ocaml-dose3: Remove now unneeded phase.
This reverts commit 91b29aa373.
Reported by pukkamustard on #guix.

* gnu/packages/ocaml.scm (ocaml-dose3)[arguments]: Remove #:phases.
2021-11-18 15:08:33 +01:00
Ludovic Courtès
3a317f7476
Merge branch 'master' into core-updates-frozen 2021-11-17 23:43:14 +01:00
Julien Lepiller
fd9b7f8376
gnu: ocaml4.07-odoc: Fix inputs.
* gnu/packages/ocaml.scm (ocaml4.07-odoc): Fix inputs.

Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2021-11-16 15:43:51 +02:00
Julien Lepiller
6347ac8e40
gnu: Add ocaml4.07-bisect-ppx.
* gnu/packages/ocaml.scm (ocaml4.07-bisect-ppx): New variable.

Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2021-11-16 15:43:51 +02:00
Julien Lepiller
c10ba562be
gnu: ocaml-lwt: Remove unneeded input.
* gnu/packages/ocaml.scm (ocaml-lwt)[native-inputs]: Remove
ocaml-bisect-ppx.

Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2021-11-16 15:43:51 +02:00
Julien Lepiller
b531ba4304
gnu: Add ocaml4.07-alcotest.
* gnu/packages/ocaml.scm (ocaml4.07-alcotest): New variable.

Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2021-11-16 15:43:51 +02:00
Julien Lepiller
8000fc4fa0
gnu: Add ocaml4.07-re.
* gnu/packages/ocaml.scm (ocaml4.07-re): New variable.

Signed-off-by: Efraim Flashner <efraim@flashner.co.il>
2021-11-16 15:43:51 +02:00
Vivien Kraus
648b81211f
gnu: unison: Fix building the manual.
* gnu/packages/ocaml.scm (unison)[native-inputs]: Add the missing texlive inputs.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2021-11-09 00:02:46 +01:00
1c94392a13
Merge remote-tracking branch 'origin/master' into core-updates-frozen 2021-11-08 09:06:14 +02:00
Julien Lepiller
c55a64cb7e
gnu: opam: Update to 2.1.1.
* gnu/packages/ocaml.scm (opam): Update to 2.1.1.
2021-11-05 23:13:25 +01:00
bc5155b952
Merge remote-tracking branch 'origin/master' into core-updates-frozen 2021-10-31 14:49:47 +02:00
Tobias Geerinckx-Rice
2f79308872
gnu: Fix ‘this packages’ and some other niggles.
* gnu/packages/crates-io.scm (rust-home-0.5)[description]:
Fix ‘this packages’ typo.
* gnu/packages/emacs-xyz.scm (emacs-ahg, emacs-cwl-mode)[description]:
Likewise.
* gnu/packages/python-check.scm (python-pytest-csv)[description]:
Likewise.
* gnu/packages/ocaml.scm (ocaml-syntax-shims)[description]: Likewise,
and note which language.
* gnu/packages/python-xyz.scm (python-recommonmark)[description]:
Likewise, and work around ‘enabling you’.
2021-10-21 22:08:24 +02:00
Mathieu Othacehe
a1eca979fb
Merge remote-tracking branch 'origin/master' into core-updates-frozen. 2021-10-12 17:46:23 +00:00
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
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
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
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
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
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
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
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
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
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
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
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
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
Ricardo Wurmus
d648037edc
gnu: ocaml-biniou: Simplify "make-writable" phase.
* gnu/packages/ocaml.scm (ocaml-biniou)[arguments]: Simplify phase.
2021-08-04 17:08:31 +02:00
Ludovic Courtès
bc64d9554b
gnu: Use 'search-input-file' when looking for executables.
* gnu/packages/admin.scm (isc-dhcp): Use 'search-input-file' when
looking for executables.
* gnu/packages/audio.scm (ableton-link): Likewise.
* gnu/packages/benchmark.scm (fio): Likewise.
* gnu/packages/bioinformatics.scm (roary): Likewise.
(ngless): Likewise.
* gnu/packages/boost.scm (boost-for-irods): Likewise.
* gnu/packages/bootloaders.scm (grub): Likewise.
(grub-efi): Likewise.
* gnu/packages/chemistry.scm (inchi): Likewise.
* gnu/packages/dictionaries.scm (ding): Likewise.
* gnu/packages/dlang.scm (ldc): Likewise.
* gnu/packages/education.scm (childsplay): Likewise.
* gnu/packages/emacs-xyz.scm (emacs-hyperbole): Likewise.
(emacs-haskell-mode): Likewise.
(emacs-auctex): Likewise.
(emacs-ggtags): Likewise.
(emacs-graphviz-dot-mode): Likewise.
(emacs-flycheck-grammalecte): Likewise.
(emacs-counsel-notmuch): Likewise.
(emacspeak): Likewise.
(emacs-exwm): Likewise.
(emacs-exwm-x): Likewise.
(emacs-treemacs): Likewise.
(emacs-telega): Likewise.
(emacs-exiftool): Likewise.
* gnu/packages/emulators.scm (higan): Likewise.
* gnu/packages/engineering.scm (freehdl): Likewise.
(librepcb): Likewise.
* gnu/packages/entr.scm (entr): Likewise.
* gnu/packages/file-systems.scm (libeatmydata): Likewise.
(xfstests): Likewise.
(mergerfs): Likewise.
(mergerfs-tools): Likewise.
* gnu/packages/finance.scm (monero-gui): Likewise.
* gnu/packages/flashing-tools.scm (flashrom): Likewise.
* gnu/packages/fontutils.scm (fontforge): Likewise.
* gnu/packages/game-development.scm (python2-renpy): Likewise.
* gnu/packages/games.scm (opensurge): Likewise.
(xboard): Likewise.
(hyperrogue): Likewise.
(flare-game): Likewise.
(chessx): Likewise.
* gnu/packages/geo.scm (grass): Likewise.
* gnu/packages/glib.scm (glib): Likewise.
* gnu/packages/gnome.scm (mm-common): Likewise.
(network-manager-openvpn): Likewise.
(network-manager-vpnc): Likewise.
(network-manager-openconnect): Likewise.
(apostrophe): Likewise.
* gnu/packages/gnupg.scm (pius): Likewise.
(jetring): Likewise.
* gnu/packages/gnuzilla.scm (icedove): Likewise.
* gnu/packages/golang.scm (go-1.4): Likewise.
* gnu/packages/graphviz.scm (xdot): Likewise.
* gnu/packages/guile-xyz.scm (jupyter-guile-kernel): Likewise.
* gnu/packages/haskell-xyz.scm (ghc-hindent): Likewise.
* gnu/packages/ibus.scm (ibus): Likewise.
* gnu/packages/image.scm (phockup): Likewise.
* gnu/packages/irc.scm (quassel): Likewise.
* gnu/packages/java.scm (drip): Likewise.
(ant-bootstrap): Likewise.
(tla2tools): Likewise.
* gnu/packages/julia.scm (julia): Likewise.
* gnu/packages/less.scm (lesspipe): Likewise.
* gnu/packages/libreoffice.scm (libreoffice): Likewise.
* gnu/packages/linux.scm (fuse): Likewise.
(lm-sensors): Likewise.
(bluez): Likewise.
(fakeroot): Likewise.
(inputattach): Likewise.
* gnu/packages/lisp-xyz.scm (sbcl-cl-diskspace): Likewise.
* gnu/packages/lisp.scm (lisp-repl-core-dumper): Likewise.
* gnu/packages/lua.scm (fennel): Likewise.
* gnu/packages/lxde.scm (spacefm): Likewise.
* gnu/packages/mail.scm (public-inbox): Likewise.
* gnu/packages/maths.scm (hdf-java): Likewise.
(maxima): Likewise.
(frama-c): Likewise.
* gnu/packages/messaging.scm (libgadu): Likewise.
* gnu/packages/music.scm (denemo): Likewise.
(curseradio): Likewise.
* gnu/packages/netpbm.scm (netpbm): Likewise.
* gnu/packages/networking.scm (blueman): Likewise.
(squid): Likewise.
(aircrack-ng): Likewise.
* gnu/packages/node.scm (node): Likewise.
(node-llparse-frontend-bootstrap): Likewise.
(node-llparse-bootstrap): Likewise.
(llhttp-bootstrap): Likewise.
(node-lts): Likewise.
* gnu/packages/ocaml.scm (ocaml-4.11): Likewise.
(opam): Likewise.
(ocaml-graph): Likewise.
* gnu/packages/orpheus.scm (orpheus): Likewise.
* gnu/packages/password-utils.scm (password-store): Likewise.
* gnu/packages/python.scm (pypy3): Likewise.
* gnu/packages/qt.scm (qt5ct): Likewise.
* gnu/packages/radio.scm (libosmo-dsp): Likewise.
* gnu/packages/ruby.scm (ruby-pandoc-ruby): Likewise.
* gnu/packages/rust.scm (rust-1.30): Likewise.
* gnu/packages/screen.scm (byobu): Likewise.
* gnu/packages/statistics.scm (r-with-tests): Likewise.
* gnu/packages/suckless.scm (surf): Likewise.
* gnu/packages/syndication.scm (gfeeds): Likewise.
* gnu/packages/telephony.scm (mumble): Likewise.
* gnu/packages/terminals.scm (alacritty): Likewise.
* gnu/packages/tex.scm (texlive-bin): Likewise.
* gnu/packages/uml.scm (plantuml): Likewise.
* gnu/packages/version-control.scm (python-git-multimail): Likewise.
(gitolite): Likewise.
(hg-commitsigs): Likewise.
(git-when-merged): Likewise.
(git-imerge): Likewise.
(gita): Likewise.
* gnu/packages/video.scm (you-get): Likewise.
* gnu/packages/vim.scm (eovim): Likewise.
* gnu/packages/virtualization.scm (qemu): Likewise.
(virt-manager): Likewise.
(criu): Likewise.
* gnu/packages/vpn.scm (strongswan): Likewise.
(xl2tpd): Likewise.
* gnu/packages/wm.scm (i3lock-fancy): Likewise.
* gnu/packages/wxwidgets.scm (python-wxpython): Likewise.
(python2-wxpython): Likewise.
* gnu/packages/xdisorg.scm (autorandr): Likewise.
* gnu/packages/xorg.scm (hackneyed-x11-cursors): Likewise.
(v86d): Likewise.
(mkfontdir): Likewise.
(xpra): Likewise.
2021-07-24 16:23:23 +02:00
Ludovic Courtès
0e47fcced4
Merge branch 'master' into core-updates 2021-07-18 19:50:01 +02:00
Ivan Gankevich
c21ccbf14e
gnu: Add ocaml-bibtex2html.
* gnu/packages/ocaml.scm (ocaml-bibtex2html): New variable.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-07-10 15:02:12 +02:00
Ivan Gankevich
bfa0df0d61
gnu: hevea: Update to 2.35.
* gnu/packages/ocaml.scm (hevea): Update to 2.35.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-07-10 15:01:31 +02:00
Julien Lepiller
4fa62cf702
gnu: ocaml-earley: Update to 3.0.0.
* gnu/packages/ocaml.scm (ocaml-earley): Update to 3.0.0.  Use latest
ocaml version.
2021-07-05 16:54:14 +02:00
Julien Lepiller
ef79d6c5d6
gnu: Add ocaml-sqlite3.
* gnu/packages/ocaml.scm (ocaml-sqlite3): New variable.
(ocaml4.07-sqlite3): Inherit from ocaml-sqlite3.
* gnu/packages/bioinformatics.scm (pplacer): Also use package-with-ocaml4.07
with ocaml-sqlite3.
2021-07-05 16:54:11 +02:00
Xinglu Chen
364b56124b
gnu: Add ocaml-cohttp.
* gnu/packages/ocaml.scm (ocaml-cohttp): New variable.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-06-27 15:15:41 +02:00
Xinglu Chen
e366b94f9f
gnu: Add ocaml-uri-sexp.
* gnu/packages/ocaml.scm (ocaml-uri-sexp): New variable.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-06-27 14:58:59 +02:00
Xinglu Chen
41aec416ce
gnu: ocaml-uri: Update to 4.2.0.
* gnu/packages/ocaml.scm (ocaml-uri): Update to 4.2.0.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-06-27 14:55:03 +02:00
Xinglu Chen
91b29aa373
gnu: ocaml-dose3: Fix tests.
* gnu/packages/ocaml.scm (ocaml-dose3)[arguments]<#:phases>: Add phase to
patch tests script.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-06-23 14:41:49 +02:00
3623696db1
gnu: ocaml-uri: Use a source file-name.
* gnu/packages/ocaml.scm (ocaml-uri)[source]: Add a file-name field.
2021-06-22 13:49:06 +03:00
Xinglu Chen
980c33bd3f
gnu: ocaml-merlin: Inherit from ‘ocaml-dot-merlin-reader’.
* gnu/packages/ocaml.scm (ocaml-merlin): Inherit from
‘ocaml-dot-merlin-reader’, thus also updating it to 4.2-411.
[version, source, build-system, home-page]: Remove.
[arguments]<#:phases>: Use custom test phase.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-06-21 00:10:03 +02:00
Xinglu Chen
5ae0d2c247
gnu: ocaml-dot-merlin-reader: Update to 4.2-411.
* gnu/packages/ocaml.scm (ocaml-dot-merlin-reader): Update to 4.2-411.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-06-21 00:09:13 +02:00
Xinglu Chen
a211078f99
gnu: ocaml-ppxlib: Update to 0.22.1.
* gnu/packages/ocaml.scm (ocaml-ppxlib): Update to 0.22.1.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-06-20 13:14:06 +02:00
Xinglu Chen
0bfafa49fa
gnu: ocaml-menhir: Update to 20210419.
* gnu/packages/ocaml.scm (ocaml-menhir): Update to 20210419.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-06-20 13:13:29 +02:00
Xinglu Chen
dcd94ee855
gnu: Add ocaml-mparser-pcre.
* gnu/packages/ocaml.scm (ocaml-mparser-pcre): New variable.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-06-20 02:15:10 +02:00
Xinglu Chen
620b4e8ad3
gnu: Add ocaml-mparser-re.
* gnu/packages/ocaml.scm (ocaml-mparser-re): New variable.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-06-20 02:15:02 +02:00