Commit graph

375 commits

Author SHA1 Message Date
Julien Lepiller
5cb40adaa2
gnu: ocaml-utop: Update to 2.3.0.
* gnu/packages/ocaml.scm (ocaml-utop): Update to 2.3.0.
2019-04-26 18:28:25 +02:00
Julien Lepiller
c3634df2a4
gnu: ocaml@4.02: Remove the package, affected by a CVE, and its dependent
packages.

This fixes <https://bugs.gnu.org/27462>.

* gnu/packages/ocaml.scm (ocaml-4.02, camlp4-4.02, ocaml4.02-menhir)
(ocaml4.02-lablgtk, ocaml4.02-findlib, ocaml4.02-ounit)
(ocaml4.02-camlzip, ocaml4.02-ocamlmod, ocaml4.02-zarith)
(ocaml4.02-qcheck, ocaml4.02-qtest, ocaml4.02-stringext)
(ocaml4.02-bisect, ocaml4.02-bitstring, ocaml4.02-result)
(ocaml4.02-topkg, ocaml4.02-rresult, ocaml4.02-sqlite3, ocaml4.02-csv)
(ocaml4.02-mtime, ocaml4.02-cmdliner, ocaml4.02-fmt, ocaml4.02-astring)
(ocaml4.02-alcotest, ocaml4.02-ppx-tools, ocaml4.02-react, ocaml4.02-ssl)
(ocaml4.02-lwt, ocaml4.02-lwt-log, ocaml4.02-logs, ocaml4.02-fpath)
(ocaml4.02-bos, ocaml4.02-xmlm, ocaml4.02-ulex, ocaml4.02-uchar)
(ocaml4.02-uutf, ocaml4.02-jsonm, ocaml4.02-ocurl, ocaml4.02-base64)
(ocaml4.02-omake, ocaml4.02-batteries, ocaml4.02-pcre, ocaml4.02-oasis)
(ocaml4.02-js-build-tools, ocaml4.02-bin-prot, ocaml4.02-fieldslib)
(ocaml4.02-ppx-core, ocaml4.02-ppx-optcomp, ocaml4.02-ppx-driver)
(ocaml4.02-cppo, ocaml4.02-ppx-deriving, ocaml4.02-ppx-type-conv)
(ocaml4.02-ppx-inline-test, ocaml4.02-ppx-bench, ocaml4.02-ppx-compare)
(ocaml4.02-sexplib, ocaml4.02-typerep, ocaml4.02-variantslib)
(ocaml4.02-ppx-sexp-conv, ocaml4.02-ppx-variants-conv)
(ocaml4.02-ppx-here, ocaml4.02-ppx-assert, ocaml4.02-ppx-enumerate)
(ocaml4.02-ppx-let, ocaml4.02-ppx-typerep-conv, ocaml4.02-ppx-sexp-value)
(ocaml4.02-ppx-pipebang, ocaml4.02-ppx-bin-prot, ocaml4.02-ppx-fail)
(ocaml4.02-ppx-custom-printf, ocaml4.02-ppx-sexp-message)
(ocaml4.02-ppx-fields-conv, ocaml4.02-seq, ocaml4.02-re)
(ocaml4.02-ppx-expect, ocaml4.02-ppx-jane, ocaml4.02-core-kernel)
(ocaml4.02-async-kernel, ocaml4.02-async-rpc-kernel, ocaml4.02-core)
(ocaml4.02-async-unix, ocaml4.02-async-extra, ocaml4.02-async)
(ocaml4.02-ocplib-endian, ocaml4.02-easy-format, optcomp)
(ocaml4.02-piqilib, ocaml4.02-uuidm, ocaml4.02-graph, ocaml4.02-piqi)
(ocaml4.02-camomile, ocaml4.02-zed, ocaml4.02-lambda-term): Remove variables.
* guix/build-system/ocaml.scm (default-ocaml4.02)
(default-ocaml4.02-findlib, package-with-ocaml4.02)
(strip-ocaml4.02-variant): Remove variables.
2019-04-25 19:01:31 +02:00
Julien Lepiller
6e49426761
gnu: ocamlify: Downgrade to 0.0.1.
Version 0.0.2 cannot be built with the latest OCaml, whereas this
version does.  This is also the version used by opam.

* gnu/packages/ocaml.scm (ocamlify): Downgrade to 0.0.1.
[arguments]: Do not use ocaml-4.02.
2019-04-25 19:01:05 +02:00
Julien Lepiller
0705f389d1
gnu: Remove ocaml-jbuilder.
Jbuilder is deprecated and replaced by dune.

* gnu/packages/ocaml.scm (ocaml-jbuilder): Remove variable.
(ocaml-zed, ocaml-utop): Use dune-build-system.
2019-04-25 19:00:48 +02:00
Julien Lepiller
bbe9915b30
gnu: bap: Update to 1.6.0.
* gnu/packages/ocaml.scm (bap): Update to 1.6.0.
(ocaml-frontc): Update to 3.4.1.
(ocaml-fileutils, ocaml-cstruct, ocaml-hex, ocaml-ezjsonm, ocaml-uri):
New variables.
(ocaml4.02-fileutils, ocaml4.02-cstruct, ocaml4.02-hex,
ocaml4.02-ezjsonm, ocaml4.02-uri): Remove variables.
2019-04-25 19:00:25 +02:00
Julien Lepiller
ce9a30e6f4
gnu: Add ocaml-bigarray-compat.
* gnu/packages/ocaml.scm (ocaml-bigarray-compat): New variable.
2019-04-25 18:59:55 +02:00
Tobias Geerinckx-Rice
74ee98eed4
gnu: ocaml-ppx-hash: Fix typo in description.
* gnu/packages/ocaml.scm (ocaml-ppx-hash)[description]:
Fix non-functional typo.
2019-04-23 18:14:49 +02:00
Ludovic Courtès
30a6cd7cd0
gnu: ocaml-dose3: Shorten patch file name.
This file name was too long for 'tar', as reported by 'guix lint'.

* gnu/packages/patches/ocaml-dose3-Add-unix-as-dependency-to-dose3.common-in-META.in.patch:
Rename to...
* gnu/packages/patches/ocaml-dose3-add-unix-dependency.patch: ... this.
* gnu/local.mk (dist_patch_DATA): Adjust accordingly.
* gnu/packages/ocaml.scm (ocaml-dose3)[source]: Adjust accordingly.
2019-04-19 17:46:40 +02:00
Tobias Geerinckx-Rice
f541d86de6
gnu: emacs-tuareg: Don't use unstable tarball.
* gnu/packages/ocaml.scm (emacs-tuareg)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
[arguments]: Add ‘make-git-checkout-writable’ phase.
2019-04-15 05:11:31 +02:00
Tobias Geerinckx-Rice
6aade73967
gnu: camlp5: Don't use unstable tarball.
* gnu/packages/ocaml.scm (camlp5)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-15 05:11:31 +02:00
Tobias Geerinckx-Rice
de957d9595
gnu: camlp4@4.07+1: Don't use unstable tarball.
* gnu/packages/ocaml.scm (camlp4-4.07)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-15 05:11:31 +02:00
Tobias Geerinckx-Rice
b42a72bed1
gnu: ocaml4.02-ezjsonm: Fix tag.
* gnu/packages/ocaml.scm (ocaml4.02-ezjsonm)[source]: Drop unnecessary
"v"" from git tag.
2019-04-15 05:11:31 +02:00
Tobias Geerinckx-Rice
8da3f78e57
gnu: ocamlbuild: Don't use unstable tarball.
* gnu/packages/ocaml.scm (ocamlbuild)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-15 05:11:31 +02:00
Julien Lepiller
ee6c4b62b8
gnu: opam: Update to 2.0.4.
* gnu/packages/ocaml.scm (opam): Update to 2.0.4.
2019-04-12 22:08:28 +02:00
Ricardo Wurmus
ddb5dc08a7
gnu: Add ocaml-gsl-1.
* gnu/packages/ocaml.scm (ocaml-gsl-1): New variable.
2019-04-11 17:11:41 +02:00
Tobias Geerinckx-Rice
7848205b24
gnu: ocaml-utop: Don't use unstable tarball.
* gnu/packages/ocaml.scm (ocaml-utop)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-11 05:42:37 +02:00
Tobias Geerinckx-Rice
fd2582bd7f
gnu: ocaml-lambda-term: Don't use unstable tarball.
* gnu/packages/ocaml.scm (ocaml-lambda-term)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-11 05:42:37 +02:00
Tobias Geerinckx-Rice
f4f3e8ce4d
gnu: ocaml-zed: Don't use unstable tarball.
* gnu/packages/ocaml.scm (ocaml-zed)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-11 05:42:37 +02:00
Tobias Geerinckx-Rice
55f9f9b081
gnu: ocaml-jbuilder: Don't use unstable tarball.
* gnu/packages/ocaml.scm (ocaml-jbuilder)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-11 05:42:36 +02:00
Tobias Geerinckx-Rice
677a88e075
gnu: ocaml-piqilib: Don't use unstable tarball.
* gnu/packages/ocaml.scm (ocaml-piqilib)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-11 05:42:36 +02:00
Tobias Geerinckx-Rice
554d98db77
gnu: optcomp: Don't use unstable tarball.
* gnu/packages/ocaml.scm (optcomp)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-11 05:42:36 +02:00
Tobias Geerinckx-Rice
e4bb29ddfa
gnu: ocaml4.02-uri: Don't use unstable tarball.
* gnu/packages/ocaml.scm (ocaml4.02-uri)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-11 05:42:36 +02:00
Tobias Geerinckx-Rice
21b1845dde
gnu: ocaml4.02-ezjsonm: Don't use unstable tarball.
* gnu/packages/ocaml.scm (ocaml4.02-ezjsonm)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-11 05:42:36 +02:00
Tobias Geerinckx-Rice
07c3711d0f
gnu: ocaml-re: Don't use unstable tarball.
* gnu/packages/ocaml.scm (ocaml-re)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-11 05:42:36 +02:00
Tobias Geerinckx-Rice
f6a99fbfa2
gnu: ocaml-seq: Don't use unstable tarball.
* gnu/packages/ocaml.scm (ocaml-seq)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
Fix indentation.
2019-04-11 05:42:22 +02:00
Tobias Geerinckx-Rice
2209b362a5
gnu: ocaml4.02-ppx-deriving: Don't use unstable tarball.
* gnu/packages/ocaml.scm (ocaml4.02-ppx-deriving)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
[arguments]: Add ‘make-git-checkout-writable’ phase.
Fix indentation.
2019-04-11 05:42:09 +02:00
Tobias Geerinckx-Rice
f8b8e60e2c
gnu: ocaml-ulex: Don't use unstable tarball.
* gnu/packages/ocaml.scm (ocaml-ulex)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-11 05:42:09 +02:00
Tobias Geerinckx-Rice
71117a36b6
gnu: ocaml4.02-ppx-tools: Don't use unstable tarball.
* gnu/packages/ocaml.scm (ocaml4.02-ppx-tools)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-11 05:42:08 +02:00
Tobias Geerinckx-Rice
ef59cf9d3b
gnu: ocaml-ppx-tools: Don't use unstable tarball.
* gnu/packages/ocaml.scm (ocaml-ppx-tools)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
Fix indentation.
2019-04-11 05:41:55 +02:00
Tobias Geerinckx-Rice
e3c7ac732f
gnu: ocaml-bisect: Don't use unstable tarball.
* gnu/packages/ocaml.scm (ocaml-bisect)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-11 05:32:52 +02:00
Tobias Geerinckx-Rice
b01339816a
gnu: ocaml-qcheck: Don't use unstable tarball.
* gnu/packages/ocaml.scm (ocaml-qcheck)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-11 05:32:52 +02:00
Tobias Geerinckx-Rice
34f615a2c1
gnu: ocaml-num: Don't use unstable tarball.
* gnu/packages/ocaml.scm (ocaml-num)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-11 05:32:52 +02:00
Tobias Geerinckx-Rice
d5dee1de7c
gnu: camlp4@4.02+6: Don't use unstable tarball.
* gnu/packages/ocaml.scm (camlp4-4.02)[source]: Use GIT-FETCH and
GIT-FILE-NAME.
2019-04-11 05:32:51 +02:00
Julien Lepiller
e9b86fa0f1
gnu: opam: Unbundle dependencies.
* gnu/packages/ocaml.scm (opam)[build-system]: Use ocaml-build-system.
[source]: Use unbundled sources.
[arguments]: Update.
[inputs, native-inputs, propagated-inputs]: Add missing dependencies.
2019-04-10 21:39:28 +02:00
Julien Lepiller
ec9d932562
gnu: Add ocaml-dose3.
* gnu/packages/ocaml.scm (ocaml-dose3): New variable.
* gnu/packages/patches/ocaml-dose3-Add-unix-as-dependency-to-dose3.common-in-META.in.patch:
New file.
* gnu/packages/patches/ocaml-dose3-Fix-for-ocaml-4.06.patch: New file.
* gnu/packages/patches/ocaml-dose3-dont-make-printconf.patch: New file.
* gnu/packages/patches/ocaml-dose3-Install-mli-cmx-etc.patch: New file.
* gnu/local.mk (dist_patch_DATA): Add them.
2019-04-10 21:39:20 +02:00
Julien Lepiller
c4262cc932
gnu: Add ocaml-mccs.
* gnu/packages/ocaml.scm (ocaml-mccs): New variable.
2019-04-10 21:39:17 +02:00
Julien Lepiller
718fadb8ca
gnu: Add ocaml-cudf.
* gnu/packages/ocaml.scm (ocaml-cudf): New variable.
2019-04-10 21:39:15 +02:00
Julien Lepiller
bb338a7f80
gnu: Add ocaml-extlib.
* gnu/packages/ocaml.scm (ocaml-extlib): New variable.
2019-04-10 21:39:13 +02:00
Julien Lepiller
b6bba90e92
gnu: ocaml-cmdliner: Update to 1.0.3.
* gnu/packages/ocaml.scm (ocaml-cmdliner): Update to 1.0.3.
2019-04-10 21:39:10 +02:00
Julien Lepiller
d1358ab633
gnu: Add ocaml-opam-file-format.
* gnu/packages/ocaml.scm (ocaml-opam-file-format): New variable.
2019-04-10 21:39:07 +02:00
Julien Lepiller
8fd897888d
gnu: ocaml-gsl: Update to 1.24.0.
* gnu/packages/ocaml.scm (ocaml-gsl): Update to 1.24.0.
2019-03-24 15:28:20 +01:00
Julien Lepiller
8d135e3726
gnu: dune: Fix libdir.
* gnu/packages/ocaml.scm (dune): Install libraries in site-lib.
2019-03-24 15:28:15 +01:00
Julien Lepiller
a1034ea0cc
gnu: ocaml-bos: Update to 0.2.0.
* gnu/packages/ocaml.scm (ocaml-bos): Update to 0.2.0.
2019-03-24 15:28:12 +01:00
Julien Lepiller
d7d4102664
gnu: ocaml-react: Update to 1.2.1.
* gnu/packages/ocaml.scm (ocaml-react): Update to 1.2.1.
2019-03-24 15:27:49 +01:00
Julien Lepiller
23c8a97a5b
gnu: ocaml-alcotest: Update to 0.8.5.
* gnu/packages/ocaml.scm (ocaml-alcotest): Update to 0.8.5.
2019-03-23 22:58:57 +01:00
Julien Lepiller
50ab554bd5
gnu: unison: Fix manual generation.
* gnu/packages/ocaml.scm (unison)[arguments]: Fix documentation
generation.
2019-03-17 18:37:37 +01:00
Julien Lepiller
22d1cb7ffa
gnu: opam: Update to 2.0.3.
* gnu/packages/ocaml.scm (opam): Update to 2.0.3.
2019-03-17 18:37:31 +01:00
Andreas Enge
4982c0c98d
gnu: ocaml@4.01: Remove the package, affected by a CVE, and its dependent
packages.

This makes progress towards fixing <https://bugs.gnu.org/27462>.

* gnu/packages/ocaml.scm (ocaml-4.01, ocaml4.01-findlib, ocaml4.01-ounit,
ocaml4.01-camlzip, ocaml4.01-qtest, ocaml4.01-bisect, ocaml4.01-sqlite3,
ocaml4.01-csv, ocaml4.01-xmlm, ocaml4.01-batteries, ocaml4.01-gsl): Remove
variables.
(ocaml-batteries, ocaml-bisect)[properties]: Remove ocaml4.01-variant.
* gnu/packages/machine-learning.scm (ocaml4.01-mcl): Remove variable.
2019-02-19 22:59:06 +01:00
Gabriel Hondet
8213db7c95
gnu: Add ocaml-timed.
* gnu/packages/ocaml.scm (ocaml-timed): New variable.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2019-02-13 22:50:59 +01:00
Gabriel Hondet
7195c4f2ae
gnu: Add ocaml-bindlib.
* gnu/packages/ocaml.scm (ocaml-bindlib): New variable.

Signed-off-by: Julien Lepiller <julien@lepiller.eu>
2019-02-13 22:50:54 +01:00