pukkamustard
5a4acc5331
gnu: ocaml-ctypes: Make ocaml-integers a propagated input.
...
* gnu/packages/ocaml.scm (ocaml-ctypes)[propagated-inputs]: Add ocaml-integers.
[inputs]: Remove ocaml-integers.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-06-06 17:16:22 +02:00
pukkamustard
0f62ea0774
gnu: ocaml-ctypes: Update to 0.18.0.
...
* gnu/packages/ocaml.scm (ocaml-ctypes): Update to 0.18.0.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-06-06 17:16:20 +02:00
pukkamustard
b477a9f42e
gnu: ocaml-integers: Update to 0.4.0.
...
* gnu/packages/ocaml.scm (ocaml-integers): Update to 0.4.0.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-06-06 17:15:58 +02:00
Ludovic Courtès
28ae358503
gnu: ocaml: Depend on libiberty.
...
Currently gcc:lib does not include libiberty so this change restores the
initial intent.
* gnu/packages/ocaml.scm (ocaml-4.11)[inputs]: Replace "gcc:lib" by
"libiberty".
2021-05-08 14:55:49 +02:00
Vagrant Cascadian
2967fa1634
gnu: ocaml-mdx: Fix grammar.
...
* gnu/packages/ocaml.scm (ocaml-mdx)[description]: Remove gratuitous
uses of "allows to".
2021-04-21 08:33:33 -07:00
Tobias Geerinckx-Rice
871012000c
gnu: camlboot: Fix typo in synopsis.
...
* gnu/packages/ocaml.scm (camlboot)[synopsis]: Fix typo.
2021-04-10 14:11:27 +02:00
Sharlatan Hellseher
ee9c44c767
gnu: Add camlidl.
...
* gnu/packages/ocaml.scm (camlidl): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
2021-04-06 23:59:47 +02:00
Julien Lepiller
c6ada4914d
gnu: camlboot: Fix typo in properties.
...
* gnu/packages/ocaml.scm (camlboot)[properties]: Add missing pair of
parenthesis.
2021-03-05 22:38:19 +01:00
Julien Lepiller
58277e68d4
gnu: camlboot: Raise max-silent-time timeout value to 4 hours.
...
* gnu/packages/ocaml.scm (camlboot)[properties]: Add a 'max-silent-time'
property, with a value of 4 hours.
2021-03-05 15:53:36 +01:00
Julien Lepiller
0bd58ae7ff
gnu: ocaml-4.07: Bootstrap.
...
* gnu/packages/ocaml.scm (ocaml-4.07): Implement bootstrap via camlboot.
2021-03-03 17:04:16 +01:00
Julien Lepiller
63df962225
gnu: Add camlboot.
...
* gnu/packages/ocaml.scm (camlboot): New variable.
2021-03-03 17:02:23 +01:00
Ludovic Courtès
97f8b22f6d
gnu: ocaml-llvm: Move to (gnu packages llvm).
...
Commit 8f710cc598
introduced a circular
dependency between ocaml.scm and llvm.scm by referring to 'llvm' from
the top level of ocaml.scm. This fixes it.
* gnu/packages/ocaml.scm (make-ocaml-llvm, ocaml-llvm)
(ocaml-llvm-9, ocaml-llvm-10, ocaml-llvm-11): Move to...
* gnu/packages/llvm.scm: ... here.
2021-03-02 23:12:36 +01:00
Nicolas Goaziou
0ee39e0372
gnu: ocaml-xmlm: Use HTTPS home page URI.
...
* gnu/packages/ocaml.scm (ocaml-xmlm)[home-page]: Use HTTPS URI.
2021-02-28 11:21:19 +01:00
Nicolas Goaziou
1ac3e93761
gnu: ocaml-uutf: Use HTTPS home page URI.
...
* gnu/packages/ocaml.scm (ocaml-uutf)[home-page]: Use HTTPS URI.
2021-02-28 11:20:57 +01:00
Nicolas Goaziou
0a55be06e3
gnu: ocaml-uuidm: Use HTTPS home page URI.
...
* gnu/packages/ocaml.scm (ocaml-uuidm)[home-page]: Use HTTPS URI.
2021-02-28 11:20:39 +01:00
Nicolas Goaziou
0e0153e336
gnu: ocaml-topkg: Use HTTPS home page URI.
...
* gnu/packages/ocaml.scm (ocaml-topkg)[home-page]: Use HTTPS URI.
2021-02-28 11:20:14 +01:00
Nicolas Goaziou
1f0ace4ad9
gnu: ocaml-rresult: Use HTTPS home page URI.
...
* gnu/packages/ocaml.scm (ocaml-rresult)[home-page]: Use HTTPS URI.
2021-02-28 11:19:54 +01:00
Nicolas Goaziou
a0e343b936
gnu: ocaml-react: Use HTTPS home page URI.
...
* gnu/packages/ocaml.scm (ocaml-react)[home-page]: Use HTTPS URI.
2021-02-28 11:19:18 +01:00
Nicolas Goaziou
331b5f833e
gnu: ocaml-mtime: Use HTTPS home page URI.
...
* gnu/packages/ocaml.scm (ocaml-mtime)[home-page]: Use HTTPS URI.
2021-02-28 11:18:52 +01:00
Nicolas Goaziou
3b50326df0
gnu: ocaml-logs: Use HTTPS home page URI.
...
* gnu/packages/ocaml.scm (ocaml-logs)[home-page]: Use HTTPS URI.
2021-02-28 11:18:27 +01:00
Nicolas Goaziou
bc3a2c4274
gnu: ocaml-jsonm: Use HTTPS home page URI.
...
* gnu/packages/ocaml.scm (ocaml-jsonm)[home-page]: Use HTTPS URI.
2021-02-28 11:17:55 +01:00
Nicolas Goaziou
e5d08d8301
gnu: ocaml-fpath: Use HTTPS home page URI.
...
* gnu/packages/ocaml.scm (ocaml-fpath)[home-page]: Use HTTPS URI.
2021-02-28 11:17:32 +01:00
Nicolas Goaziou
5d47847751
gnu: ocaml-fmt: Use HTTPS home page URI.
...
* gnu/packages/ocaml.scm (ocaml-fmt)[home-page]: Use HTTPS URI.
2021-02-28 11:16:58 +01:00
Nicolas Goaziou
45bfc108d7
gnu: ocaml-dose3: Use HTTPS home page URI.
...
* gnu/packages/ocaml.scm (ocaml-dose3)[home-page]: Use HTTPS URI.
2021-02-28 11:16:24 +01:00
Nicolas Goaziou
b7c2df602b
gnu: ocaml-cudf: Use HTTPS home page URI.
...
* gnu/packages/ocaml.scm (ocaml-cudf)[home-page]: Use HTTPS URI.
2021-02-28 11:15:45 +01:00
Nicolas Goaziou
7f37adfd6a
gnu: ocaml-cmdliner: Use HTTPS home page URI.
...
* gnu/packages/ocaml.scm (ocaml-cmdliner)[home-page]: Use HTTPS URI.
2021-02-28 11:15:19 +01:00
Nicolas Goaziou
683e24355e
gnu: ocaml-bos: Use HTTPS home page URI.
...
* gnu/packages/ocaml.scm (ocaml-bos)[home-page]: Use HTTPS URI.
2021-02-28 11:14:50 +01:00
Nicolas Goaziou
b0d1ace528
gnu: ocaml-astring: Use HTTPS home page URI.
...
* gnu/packages/ocaml.scm (ocaml-astring)[home-page]: Use HTTPS URI.
2021-02-28 11:14:19 +01:00
Ludovic Courtès
d8c80c671b
gnu: ocaml-llvm: Remove duplicate package.
...
Commit 8f710cc598
introduced a duplicate
ocaml-llvm@9.0.1 package, which was flagged by a test failure in
tests/packages.scm.
* gnu/packages/ocaml.scm (make-ocaml-llvm): Define as 'mlambdaq'.
2021-02-22 23:42:08 +01:00
Julien Lepiller
8f710cc598
gnu: Add ocaml-llvm.
...
* gnu/packages/ocaml.scm (make-ocaml-llvm, ocaml-llvm, ocaml-llvm-9)
(ocaml-llvm-10, ocaml-llvm-11): New variables.
2021-02-16 16:52:55 +01:00
Julien Lepiller
6bf136c890
gnu: opam: Update to 2.0.8.
...
* gnu/packages/ocaml.scm (opam): Update to 2.0.8.
2021-02-11 23:53:40 +01:00
aecepoglu
e3b71ee6dc
ocaml: Add ocaml-down.
...
* gnu/packages/ocaml.scm (ocaml-down): New variable.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-01-12 15:03:59 +01:00
aecepoglu
564cbfd99f
ocaml: Add ocaml-ocp-index.
...
* gnu/packages/ocaml.scm (ocaml-ocp-index): New variable.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-01-12 15:02:11 +01:00
aecepoglu
b6529e1896
ocaml: Add ocaml-ocp-indent.
...
* gnu/packages/ocaml.scm (ocaml-ocp-indent): New variable.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2021-01-12 15:01:05 +01:00
pukkamustard
8b036927a4
gnu: Add ocaml-merlin.
...
* gnu/packages/ocaml.scm (ocaml-merlin): New variable.
(ocaml4.07-merlin): Inherit from ocaml-merlin.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2020-12-30 14:26:32 +01:00
pukkamustard
995685738e
gnu: Add ocaml-dot-merlin-reader.
...
* gnu/packages/ocaml.scm (ocaml-dot-merlin-reader): New variable.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2020-12-30 14:26:29 +01:00
pukkamustard
f6979a7d9f
gnu: ocaml-yojson: Make dependencies propagated-inputs.
...
* gnu/packages/ocaml.scm (ocaml-yojson): Make dependencies propagated-inputs.
(ocaml4.07-merlin)[inputs]: Remove ocaml-biniou and ocaml-easy-format.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2020-12-30 14:26:18 +01:00
pukkamustard
b13544751f
gnu: Add ocaml-mdx.
...
* gnu/packages/ocaml.scm (ocaml-mdx): New variable.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2020-12-30 14:26:15 +01:00
pukkamustard
c0bfff6aca
gnu: Add ocaml-version.
...
* gnu/packages/ocaml.scm (ocaml-version): New variable.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2020-12-30 14:26:11 +01:00
pukkamustard
9e02c4acb3
gnu: Add ocaml-odoc.
...
* gnu/packages/ocaml.scm (ocaml-odoc): New variable.
(ocaml4.07-odoc): Inherit from ocaml-odoc and update to 1.5.1.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2020-12-30 14:26:08 +01:00
pukkamustard
ad6a057724
gnu: ocaml-markup: Update to 1.0.0.
...
* gnu/packages/ocaml.scm (ocaml-markup): Update to 1.0.0.
(ocaml-markup0.8.0): New variable.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2020-12-30 14:26:04 +01:00
pukkamustard
1a5bca9b3b
gnu: ocaml-tyxml: Update to 4.4.0.
...
* gnu/packages/ocaml.scm (ocaml-tyxml): Update to 4.4.0.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2020-12-30 14:26:01 +01:00
pukkamustard
349699bbc2
gnu: Add ocaml-ounit2.
...
* gnu/packages/ocaml.xyz (ocaml-ounit2): New variable.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2020-12-30 14:25:58 +01:00
pukkamustard
5de771a49a
gnu: Add ocaml-sexplib.
...
* gnu/packages/ocaml.scm (ocaml-sexplib): New variable.
(ocaml4.07-sexplib): Inherit from ocaml-sexplib.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2020-12-30 14:25:54 +01:00
pukkamustard
662307c30a
gnu: Add ocaml-parsexp.
...
* gnu/packages/ocaml.scm (ocaml-parsexp): New variable.
(ocaml4.07-parsexp): Inherit from ocaml-parsexp.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2020-12-30 14:25:51 +01:00
pukkamustard
55c2851a19
gnu: Add ocaml-base.
...
* gnu/packages/ocaml.scm (ocaml-base): New variable.
(ocaml4.07-base): Inherit from ocaml-base.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2020-12-30 14:25:47 +01:00
pukkamustard
adb30e517b
gnu: Add ocaml-sexplib0.
...
* gnu/packages/ocaml.scm (ocaml-sexplib0): New variable.
(ocaml4.07-sexplib0): Inherit from ocaml-sexplib0.
(janestreet-origin): New variable.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2020-12-30 14:25:44 +01:00
pukkamustard
77ca156ab2
gnu: Remove ocaml-js-build-tools.
...
The package is deprecated and no longer maintained. It is recommended
to use dune instead.
* gnu/packages/ocaml.xyz (ocaml-js-build-tools, janestreet-origin)
(janestreet-arguments): Remove variables.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2020-12-30 14:25:39 +01:00
divoplade
190187326a
gnu: Add ocaml-reactivedata.
...
* gnu/packages/ocaml.scm (ocaml-reactivedata): Add ocaml-reactivedata.
Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2020-12-15 15:46:01 +01:00
Vincent Legoll
20e5658c04
gnu: ocaml-menhir: Update to 20200211.
...
* gnu/packages/ocaml.scm (ocaml-menhir): Update to 20200211.
[build-system]: Switch from gnu to dune.
[arguments]: Remove phases and make-flags.
[native-inputs]: Remove field.
Signed-off-by: Christopher Baines <mail@cbaines.net>
2020-12-08 20:18:11 +00:00
Brett Gilio
0ada181aa1
gnu: ocaml-cairo2: Patch test phase.
...
* gnu/local.mk (ocaml-cairo2-caml_ba_array_fix.patch): Add ref.
* gnu/packages/ocaml.scm (ocaml-cairo2): Utilize patch.
* gnu/packages/patches/ocaml-cairo2-caml_ba_array-fix.patch: Add file.
2020-11-22 21:02:59 -06:00
Brett Gilio
cab2ddb4c8
gnu: lablgtk3: Update to 3.1.1.
...
* gnu/packages/ocaml.scm (lablgtk3): Update to 3.1.1.
2020-11-19 13:35:12 -06:00
Brett Gilio
34ba163718
gnu: ocaml-cairo2: Amend comment about tests.
...
* gnu/packages/ocaml.scm (ocaml-cairo2): Amend comment about tests.
Related to issue #44725 .
2020-11-19 13:22:33 -06:00
Brett Gilio
54aa60b123
gnu: ocaml-cairo2: Disable tests.
...
* gnu/packages/ocaml.scm (ocaml-cairo2): Disable tests.
Issue: #44725
2020-11-18 15:52:17 -06:00
Julien Lepiller
0a173fe25f
gnu: ocaml: Switch to 4.11 by default.
...
* gnu/packages/ocaml.scm (ocaml): Switch to 4.11 by default.
2020-11-10 16:05:13 +01:00
Julien Lepiller
83e8fceb6c
gnu: ocamlify: Perform bootstrap build.
...
setup.ml is pre-generated in this package. Since it is generated by a
dependent package, we build manually. This will also allow us to build
this package properly with ocaml 4.11.
* gnu/packages/ocaml.scm (ocamlify): Perform bootstrap build.
2020-11-10 16:03:40 +01:00
Julien Lepiller
b35b661b89
gnu: ocaml-ppx-tools-versioned: Use release profile.
...
* gnu/packages/ocaml.scm (ocaml-ppx-tools-versioned): Use release
profile.
2020-11-10 16:03:31 +01:00
Julien Lepiller
6ed2741a35
guix: ocaml: Add package-with-ocaml4.09.
...
* guix/build-system/ocaml.scm (package-with-ocaml4.09)
(strip-ocaml4.09-variant): New variables.
* gnu/packages/ocaml.scm (ocaml4.09-result, ocaml4.09-csexp)
(ocaml4.09-dune-configurator, ocaml4.09-dune): New variables.
2020-11-10 16:02:59 +01:00
Julien Lepiller
35c02c559e
gnu: Add ocaml4.09-findlib.
...
* gnu/packages/ocaml.scm (ocaml4.09-findlib): New variable.
2020-11-10 16:02:54 +01:00
Julien Lepiller
0c83708240
gnu: ocaml: Update to 4.11.1.
...
* gnu/packages/ocaml.scm (ocaml): Update to 4.11.1.
2020-11-10 16:02:33 +01:00
Julien Lepiller
de5659d7d6
gnu: dune-configurator: Add synopsis and description.
...
* gnu/packages/ocaml.scm (dune-configurator): Add synopsis and
description.
2020-10-30 20:13:50 +01:00
zimoun
87f31bf2a8
gnu: emacs-tuareg: Update to 2.2.0-0.ccde45b.
...
* gnu/packages/ocaml.scm (emacs-tuareg): Update to 2.2.0-0.ccde45b.
Signed-off-by: Nicolas Goaziou <mail@nicolasgoaziou.fr>
2020-10-19 22:47:16 +02:00
Julien Lepiller
339177956a
gnu: dune: Update to 2.7.1.
...
* gnu/packages/ocaml.scm (dune): Update to 2.7.1.
(ocaml4.07-dune): Keep version 1.11.3.
(ocaml-result, ocaml-csexp): Use the bootstrap dune on dune
dependencies.
(ocaml-craml, ocaml-bitstring): Run "dune upgrade" before building.
2020-10-15 18:01:35 +02:00
Julien Lepiller
339c752d05
gnu: ocaml-4.07: Ensure build with ocaml4.7-dune.
...
* gnu/packages/ocaml.scm (ocaml4.07-gen, ocaml4.07-sedlex)
(ocaml4.07-ezjsonm, ocaml4.07-uri, ocaml4.07-charinfo-width)
(ocaml4.07-zed, ocaml4.07-lambda-term, ocaml4.07-utop)
(ocaml4.07-ppx-inline-test, ocaml4.07-earley, ocaml4.07-merlin)
(ocaml4.07-sexplib0, ocaml4.07-parsexp, ocaml4.07-sexplib)
(ocaml4.07-base, ocaml4.07-stdio, ocaml4.07-ppxlib, ocaml4.07-ppx-compare)
(ocaml4.07-fieldslib, ocaml4.07-variantslib, ocaml4.07-ppx-fields-conv)
(ocaml4.07-ppx-sexp-conv, ocaml4.07-ppx-variants-conv)
(ocaml4.07-ppx-custom-printf, ocaml4.07-bin-prot, ocaml4.07-ppx-hash)
(ocaml4.07-ppx-enumerate, ocaml4.07-ppx-bench, ocaml4.07-ppx-here)
(ocaml4.07-ppx-typerep, ocaml4.07-ppx-sexp-value, ocaml4.07-ppx-sexp-message)
(ocaml4.07-ppx-pipebang, ocaml4.07-ppx-optional, ocaml4.07-ppx-optcomp)
(ocaml4.07-ppx-let, ocaml4.07-ppx-fail, ocaml4.07-ppx-assert)
(ocaml4.07-ppx-expect, ocaml4.07-ppx-js-style, ocaml4.07-ppx-typerep-conv)
(ocaml4.07-ppx-base, ocaml4.07-ppx-bin-prot, ocaml4.07-ppx-jane)
(ocaml4.07-splittable-random, ocaml4.07-configurator, ocaml4.07-spawn)
(ocaml4.07-core, ocaml4.07-core-kernel)[arguments]: Use ocaml4.07-dune.
2020-10-15 18:01:27 +02:00
Julien Lepiller
f2df5a4bb2
gnu: ocaml-jane-street-headers: Build only with OCaml 4.07.
...
* gnu/packages/ocaml.scm (ocaml-jane-street-headers): Rename to...
(ocaml4.07-jane-street-headers): ...to this. Use OCaml 4.07.
2020-10-15 18:01:21 +02:00
Julien Lepiller
c49b94a56c
gnu: ocaml-compiler-libs: Build only with OCaml 4.07.
...
* gnu/packages/ocaml.scm (ocaml-compiler-libs): Rename to...
(ocaml4.07-compiler-libs): ...to this. Use OCaml 4.07.
2020-10-15 18:01:15 +02:00
Julien Lepiller
171abdd8f5
gnu: Add ocaml-csexp.
...
* gnu/packages/ocaml.scm (ocaml-csexp): New variable.
2020-10-15 18:01:05 +02:00
Julien Lepiller
bc92fd22df
gnu: ocaml-result: Update to 1.5.
...
* gnu/packages/ocaml.scm (ocaml-result): Update to 1.5.
2020-10-15 18:01:00 +02:00
Julien Lepiller
01ec666e6c
gnu: ocaml-alcotest: Update to 1.0.0.
2020-10-15 18:00:53 +02:00
Julien Lepiller
0a86b93fae
gnu: ocaml-fmt: Update to 0.8.9.
...
* gnu/packages/ocaml.scm (ocaml-fmt): Update to 0.8.9.
2020-10-15 18:00:49 +02:00
Julien Lepiller
276be8f21c
gnu: ocaml-logs: Update to 0.7.0.
...
* gnu/packages/ocaml.scm (ocaml-logs): Update to 0.7.0.
2020-10-15 18:00:44 +02:00
Julien Lepiller
bd2ad4a195
gnu: ocaml-base64: Update to 3.4.0.
...
* gnu/packages/ocaml.scm (ocaml-base64): Update to 3.4.0.
2020-10-15 18:00:28 +02:00
Julien Lepiller
ef841e96b9
gnu: opam: Update to 2.0.7.
...
* gnu/packages/ocaml.scm (opam): Update to 2.0.7.
2020-10-15 18:00:21 +02:00
Julien Lepiller
32fd3e9c0b
gnu: ocaml-tyxml: Do not use deprecated jbuilder.
...
* gnu/packages/ocaml.scm (ocaml-tyxml): Remove #:jbuild argument.
2020-10-15 18:00:18 +02:00
Julien Lepiller
0f1362f049
gnu: ocaml4.07-core: Do not use deprecated jbuilder.
...
* gnu/packages/ocaml.scm (ocaml4.07-core): Remove #:jbuild argument.
2020-10-15 18:00:13 +02:00
Julien Lepiller
47ef85b588
gnu: ocaml4.07-ppx-expect: Do not use deprecated jbuilder.
...
* gnu/packages/ocaml.scm (ocaml4.07-ppx-expect): Remove #:jbuild argument.
2020-10-15 18:00:10 +02:00
Julien Lepiller
1f4b40227c
gnu: ocaml4.07-merlin: Do not use deprecated jbuilder.
...
* gnu/packages/ocaml.scm (ocaml4.07-merlin): Remove #:jbuild argument.
2020-10-15 18:00:08 +02:00
Julien Lepiller
3b90075a40
gnu: ocaml4.07-utop: Do not use deprecated jbuilder.
...
* gnu/packages/ocaml.scm (ocaml4.07-utop): Remove #:jbuild argument.
2020-10-15 18:00:04 +02:00
Julien Lepiller
0a8eb6850d
gnu: ocaml4.07-zed: Do not use deprecated jbuilder.
...
* gnu/packages/ocaml.scm (ocaml4.07-zed): Remove #:jbuild argument.
2020-10-15 18:00:01 +02:00
Julien Lepiller
8ff5f39a9f
gnu: ocaml-easy-format: Do not use deprecated jbuilder.
...
* gnu/packages/ocaml.scm (ocaml-easy-format): Remove #:jbuild argument.
2020-10-15 17:59:56 +02:00
Julien Lepiller
2d00625f24
gnu: ocaml-lwt-log: Do not use deprecated jbuilder.
...
* gnu/packages/ocaml.scm (ocaml-lwt-log): Remove #:jbuild argument.
2020-10-15 17:59:52 +02:00
Julien Lepiller
93304a0c89
gnu: ocaml-bitstring: Do not use deprecated jbuilder.
...
* gnu/packages/ocaml.scm (ocaml-bitstring): Remove #:jbuild argument.
2020-10-15 17:59:48 +02:00
Julien Lepiller
a8a8547abf
gnu: ocaml-qtest: Do not use deprecated jbuilder.
...
* gnu/packages/ocaml.scm (ocaml-qtest): Remove #:jbuild argument.
2020-10-15 17:59:44 +02:00
Julien Lepiller
f0c6fe314f
gnu: ocaml-ppx-tools-versioned: Update to 5.4.0.
...
* gnu/packages/ocaml.scm (ocaml-ppx-tools-versioned): Update to 5.4.0.
2020-10-15 17:59:40 +02:00
Julien Lepiller
bd8558a0e5
gnu: ocaml-migrate-parsetree: Update to 1.7.3.
...
* gnu/packages/ocaml.scm (ocaml-migrate-parsetree): Update to 1.7.3.
2020-10-15 17:59:37 +02:00
Julien Lepiller
7ae38a0479
gnu: ocaml-mccs: Update to 1.1+11.
...
* gnu/packages/ocaml-mccs: Update to 1.1+11.
2020-10-15 17:59:33 +02:00
Julien Lepiller
61949dbc8a
gnu: camlp5: Update to 7.13.
...
* gnu/packages/ocaml.scm (camlp5): Update to 7.13.
2020-10-15 17:59:25 +02:00
Julien Lepiller
aea459a504
gnu: unison: Build with ocaml-4.09.
...
* gnu/packages/ocaml.scm (unison)[sources]: Add an upstream patch.
[native-inputs]: Use ocaml-4.09.
* gnu/packages/patches/unison-fix-ocaml-4.08.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add it.
2020-10-15 17:59:18 +02:00
Julien Lepiller
db194f714a
gnu: ocaml4.07-sqlite3: Fix build.
...
* gnu/packages/ocaml.scm (ocaml4.07-sqlite3): Use dune for OCaml 4.07.
2020-09-30 14:38:51 +02:00
Tobias Geerinckx-Rice
7230f6d5dd
gnu: Fix typoes in package descriptions.
...
* gnu/packages/audio.scm (caps-plugins-lv2)[synopsis]: Fix typo.
* gnu/packages/bioconductor.scm (r-karyoploter, r-anota, r-gcrma)
(r-bigmemoryextras)[description]: Likewise.
* gnu/packages/cran.scm (r-geometry)[synopsis]: Likewise.
(r-stringdist, r-patchwork, r-depth, r-tea)[description]: Likewise.
* gnu/packages/crates-io.scm (rust-assert-fs-0.11, rust-notify-4)
(rust-tokio-fs-0.1)[synopsis, description]: Likewise.
(rust-blas-sys-0.7)[description]: Likewise.
(rust-fs-extra-1.1, rust-xattr-0.2)[synopsis]: Likewise.
* gnu/packages/databases.scm (perl-mysql-config)[description]: Likewise.
* gnu/packages/disk.scm (hddtemp)[description]: Likewise.
* gnu/packages/django.scm (python-djangorestframework)[description]:
Likewise.
* gnu/packages/documentation.scm (doc++)[description]: Likewise.
* gnu/packages/emacs-xyz.scm (emacs-kakoune, emacs-pyim-basedict, eless)
(emacs-scpaste)[description]: Likewise.
* gnu/packages/file-systems.scm (dbxfs)[description]: Likewise.
* gnu/packages/finance.scm (python-stdnum)[description]: Likewise.
* gnu/packages/fontutils.scm (woff2)[description]: Likewise.
* gnu/packages/games.scm (openttd-opengfx)[description]: Likewise.
* gnu/packages/gnome-xyz.scm (gnome-shell-extension-topicons-redux)
[description]: Likewise.
* gnu/packages/gnome.scm (libgrss)[description]: Likewise.
* gnu/packages/golang.scm (go-github-com-mitchellh-reflectwalk)
[description]: Likewise.
(go-github-com-go-git-go-billy)[synopsis, description]: Likewise.
* gnu/packages/haskell-check.scm (ghc-inspection-testing)[description]:
Likewise.
* gnu/packages/haskell-web.scm (ghc-yesod-form)[description]: Likewise.
* gnu/packages/haskell-xyz.scm (ghc-hex)[description]: Likewise.
* gnu/packages/hyperledger.scm (hyperledger-iroha-ed25519)[description]:
Likewise.
* gnu/packages/java.scm (java-mail)[synopsis]: Likewise.
(java-native-access-platform)[description]: Likewise.
* gnu/packages/kde-frameworks.scm (kactivities-stats)[description]:
Likewise.
* gnu/packages/kde-utils.scm (krusader)[description]: Likewise.
* gnu/packages/language.scm (praat)[description]: Likewise.
* gnu/packages/linux.scm (light)[description]: Likewise.
* gnu/packages/lisp-xyz.scm (sbcl-hu.dwim.defclass-star)[description]:
Likewise.
* gnu/packages/mail.scm (dovecot-trees, sieve-connect)[description]:
Likewise.
* gnu/packages/ocaml.scm (ocaml-opam-file-format, ocaml-cppo)
(ocaml4.07-ppx-variants-conv)[description]: Likewise.
* gnu/packages/perl.scm (perl-convert-binhex)[description]: Likewise.
* gnu/packages/python-crypto.scm (python-ecdsa)[description]: Likewise.
* gnu/packages/python-web.scm (python-html5lib)[synopsis, description]:
Likewise.
(python-venusian)[synopsis]: Likewise.
* gnu/packages/python-xyz.scm (python-readlike, python-gssapi)
(python-flufl-i18n)[description]: Likewise.
(python-pox, python-watchdog, python-xattr)[synopsis, description]:
Likewise.
* gnu/packages/ruby.scm (ruby-sorcerer)[description]: Likewise.
* gnu/packages/rust-apps.scm (watchexec)[description]: Likewise.
* gnu/packages/rust.scm (mrustc)[synopsis]: Likewise.
* gnu/packages/shells.scm (s-shell)[description]: Likewise.
* gnu/packages/ssh.scm (sshpass)[description]: Likewise.
* gnu/packages/terminals.scm (beep)[description]: Likewise.
* gnu/packages/web.scm (perl-lwp-useragent-cached)[description]:
Likewise.
* gnu/packages/wv.scm (wv)[description]: Likewise.
2020-09-23 04:37:01 +02:00
Tobias Geerinckx-Rice
2d3370c4ec
gnu: ocamlify: Update to 0.0.2.
...
* gnu/packages/ocaml.scm (ocamlify): Update to 0.0.2.
[arguments]: Add a ‘disable-safe-string’ phase.
2020-08-31 20:32:50 +02:00
Tobias Geerinckx-Rice
4a7243fcfb
gnu: ocamlify: Parametrize source URI.
...
* gnu/packages/ocaml.scm (ocamlify)[source]: Construct with VERSION.
2020-08-31 20:32:50 +02:00
Marius Bakke
05b90a4ab4
gnu: opam: Fix tests.
...
* gnu/packages/ocaml.scm (opam)[arguments]: Remove #:tests?. Adjust the
pre-check phase to make some files writable, patch a hard-coded file name, and
disable mostly-redundant git tests.
[native-inputs]: Remove GIT and PYTHON. Add OPENSSL, PYTHON-WRAPPER, RSYNC,
UNZIP, and WHICH.
2020-07-30 18:18:12 +02:00
Ludovic Courtès
b0e7b6992f
gnu: Remove ".git" from " https://github/…/….git ".
...
Until now, 'lookup-origin' and thus 'lookup-origin-revision' in (guix
swh) would sometimes return #f for these because the ".git" URLs are
redirects to the non-".git" URLs. Consequently, 'guix lint -c archival'
would keep saying "scheduled Software Heritage archival"; likewise, the
fallback download code would fail.
* gnu/packages/ada.scm,
gnu/packages/admin.scm,
gnu/packages/aidc.scm,
gnu/packages/algebra.scm,
gnu/packages/android.scm,
gnu/packages/animation.scm,
gnu/packages/arcan.scm,
gnu/packages/assembly.scm,
gnu/packages/audio.scm,
gnu/packages/authentication.scm,
gnu/packages/avr.scm,
gnu/packages/axoloti.scm,
gnu/packages/backup.scm,
gnu/packages/bash.scm,
gnu/packages/benchmark.scm,
gnu/packages/bioconductor.scm,
gnu/packages/bioinformatics.scm,
gnu/packages/bittorrent.scm,
gnu/packages/boost.scm,
gnu/packages/build-tools.scm,
gnu/packages/c.scm,
gnu/packages/calendar.scm,
gnu/packages/cdrom.scm,
gnu/packages/check.scm,
gnu/packages/chemistry.scm,
gnu/packages/chez.scm,
gnu/packages/clojure.scm,
gnu/packages/code.scm,
gnu/packages/compression.scm,
gnu/packages/compton.scm,
gnu/packages/coq.scm,
gnu/packages/cpp.scm,
gnu/packages/cran.scm,
gnu/packages/crypto.scm,
gnu/packages/curl.scm,
gnu/packages/databases.scm,
gnu/packages/datastructures.scm,
gnu/packages/debug.scm,
gnu/packages/disk.scm,
gnu/packages/distributed.scm,
gnu/packages/django.scm,
gnu/packages/dlang.scm,
gnu/packages/dns.scm,
gnu/packages/docker.scm,
gnu/packages/education.scm,
gnu/packages/efi.scm,
gnu/packages/elixir.scm,
gnu/packages/emacs-xyz.scm,
gnu/packages/embedded.scm,
gnu/packages/emulators.scm,
gnu/packages/engineering.scm,
gnu/packages/erlang.scm,
gnu/packages/fabric-management.scm,
gnu/packages/file-systems.scm,
gnu/packages/finance.scm,
gnu/packages/firmware.scm,
gnu/packages/flashing-tools.scm,
gnu/packages/fonts.scm,
gnu/packages/fontutils.scm,
gnu/packages/fpga.scm,
gnu/packages/game-development.scm,
gnu/packages/games.scm,
gnu/packages/genealogy.scm,
gnu/packages/genimage.scm,
gnu/packages/geo.scm,
gnu/packages/gimp.scm,
gnu/packages/gl.scm,
gnu/packages/gnome-xyz.scm,
gnu/packages/gnome.scm,
gnu/packages/gnuzilla.scm,
gnu/packages/golang.scm,
gnu/packages/gpodder.scm,
gnu/packages/graph.scm,
gnu/packages/graphics.scm,
gnu/packages/graphviz.scm,
gnu/packages/groff.scm,
gnu/packages/groovy.scm,
gnu/packages/gtk.scm,
gnu/packages/guile-xyz.scm,
gnu/packages/guile.scm,
gnu/packages/hardware.scm,
gnu/packages/haskell-apps.scm,
gnu/packages/haskell-xyz.scm,
gnu/packages/hexedit.scm,
gnu/packages/i2p.scm,
gnu/packages/ibus.scm,
gnu/packages/image-processing.scm,
gnu/packages/image-viewers.scm,
gnu/packages/image.scm,
gnu/packages/ipfs.scm,
gnu/packages/java-graphics.scm,
gnu/packages/java-maths.scm,
gnu/packages/java.scm,
gnu/packages/javascript.scm,
gnu/packages/jrnl.scm,
gnu/packages/julia.scm,
gnu/packages/jupyter.scm,
gnu/packages/kodi.scm,
gnu/packages/language.scm,
gnu/packages/lego.scm,
gnu/packages/less.scm,
gnu/packages/libusb.scm,
gnu/packages/linux.scm,
gnu/packages/lirc.scm,
gnu/packages/lisp-xyz.scm,
gnu/packages/llvm.scm,
gnu/packages/logging.scm,
gnu/packages/lolcode.scm,
gnu/packages/lua.scm,
gnu/packages/lxde.scm,
gnu/packages/lxqt.scm,
gnu/packages/machine-learning.scm,
gnu/packages/mail.scm,
gnu/packages/markup.scm,
gnu/packages/maths.scm,
gnu/packages/maven.scm,
gnu/packages/mes.scm,
gnu/packages/messaging.scm,
gnu/packages/monitoring.scm,
gnu/packages/mpd.scm,
gnu/packages/music.scm,
gnu/packages/networking.scm,
gnu/packages/node-xyz.scm,
gnu/packages/ocaml.scm,
gnu/packages/ocr.scm,
gnu/packages/onc-rpc.scm,
gnu/packages/opencl.scm,
gnu/packages/opencog.scm,
gnu/packages/pantheon.scm,
gnu/packages/password-utils.scm,
gnu/packages/patchutils.scm,
gnu/packages/pdf.scm,
gnu/packages/perl6.scm,
gnu/packages/phabricator.scm,
gnu/packages/popt.scm,
gnu/packages/printers.scm,
gnu/packages/prolog.scm,
gnu/packages/protobuf.scm,
gnu/packages/pulseaudio.scm,
gnu/packages/python-crypto.scm,
gnu/packages/python-web.scm,
gnu/packages/python-xyz.scm,
gnu/packages/qt.scm,
gnu/packages/radio.scm,
gnu/packages/rails.scm,
gnu/packages/rdf.scm,
gnu/packages/rednotebook.scm,
gnu/packages/rpc.scm,
gnu/packages/rsync.scm,
gnu/packages/ruby.scm,
gnu/packages/rust.scm,
gnu/packages/scheme.scm,
gnu/packages/screen.scm,
gnu/packages/security-token.scm,
gnu/packages/selinux.scm,
gnu/packages/serialization.scm,
gnu/packages/shells.scm,
gnu/packages/shellutils.scm,
gnu/packages/simh.scm,
gnu/packages/sml.scm,
gnu/packages/ssh.scm,
gnu/packages/statistics.scm,
gnu/packages/stenography.scm,
gnu/packages/sync.scm,
gnu/packages/syncthing.scm,
gnu/packages/synergy.scm,
gnu/packages/telephony.scm,
gnu/packages/terminals.scm,
gnu/packages/tex.scm,
gnu/packages/texinfo.scm,
gnu/packages/text-editors.scm,
gnu/packages/textutils.scm,
gnu/packages/time.scm,
gnu/packages/tmux.scm,
gnu/packages/tor.scm,
gnu/packages/toys.scm,
gnu/packages/version-control.scm,
gnu/packages/video.scm,
gnu/packages/vim.scm,
gnu/packages/virtualization.scm,
gnu/packages/vlang.scm,
gnu/packages/vnc.scm,
gnu/packages/vpn.scm,
gnu/packages/web-browsers.scm,
gnu/packages/web.scm,
gnu/packages/wireservice.scm,
gnu/packages/wm.scm,
gnu/packages/wxwidgets.scm,
gnu/packages/xdisorg.scm,
gnu/packages/xml.scm,
gnu/packages/xorg.scm,
tests/lint.scm: Remove trailing ".git" from 'git-reference' URL.
2020-07-12 23:08:15 +02:00
Efraim Flashner
2d84ef328c
gnu: ocaml4.07-piqi: Don't use unstable tarball.
...
* gnu/packages/ocaml.scm (ocaml4.07-piqi)[source]: Download using
git-fetch.
[arguments]: Add custom phase to make files writable.
2020-06-24 10:35:56 +03:00
Tobias Geerinckx-Rice
bb79af865a
gnu: ocaml-extlib: Update to 1.7.7.
...
* gnu/packages/ocaml.scm (ocaml-extlib): Update to 1.7.7.
[source]: Update TLD.
2020-06-03 20:45:20 +02:00
Tobias Geerinckx-Rice
e809c891dd
gnu: camlp5: Update to 7.12.
...
* gnu/packages/ocaml.scm (camlp5): Update to 7.12.
2020-06-03 06:46:31 +02:00
Tobias Geerinckx-Rice
2da5fcfdfa
gnu: hevea: Update to 2.34.
...
* gnu/packages/ocaml.scm (hevea): Update to 2.34.
2020-05-20 05:56:53 +02:00
Julien Lepiller
523cbfbd55
gnu: bap: Update to 2.0.0.
...
* gnu/packages/ocaml.scm (bap): Update to 2.0.0.
2020-05-16 17:43:25 +02:00
Julien Lepiller
1ac2bf05c8
gnu: ocaml-ocurl: Update to 0.9.1.
...
* gnu/packages/ocaml.scm (ocaml-ocurl): Update to 0.9.1.
2020-05-15 15:56:33 +02:00