diff options
| author | pukkamustard <[email protected]> | 2024-01-10 08:43:35 +0100 |
|---|---|---|
| committer | Julien Lepiller <[email protected]> | 2024-02-08 23:23:32 +0100 |
| commit | 01ee39cfee10583402e9fc252ca5c0e8232435db (patch) | |
| tree | df7e79438cddf715708053495df0e987456728cd /gnu/packages/patches/ocaml-dose3-dont-make-printconf.patch | |
| parent | 90cfb68a3105cfb23389315f8123271d93fd56bb (diff) | |
gnu: opam: Update to 2.1.5.
* gnu/packages/ocaml.scm (opam): Update to 2.1.5.
[native-inputs]: Add more test data.
[arguments]: Disable failing test.
(ocaml-graph): Update to 2.0.0.
(ocaml-dose3): Update to 7.0.0.
* gnu/packages/patches/ocaml-dose3-Fix-for-ocaml-4.06.patch: Remove.
* gnu/packages/patches/ocaml-dose3-Install-mli-cmx-etc.patch: Remove.
* gnu/packages/patches/ocaml-dose3-add-unix-dependency.patch: Remove.
* gnu/packages/patches/ocaml-dose3-dont-make-printconf.patch: Remove.
* gnu/local.mk (dist_path_DATA): Unregister removed patches.
Change-Id: Ie715998a6d7740332187e1fe0742631964ba5a8a
Signed-off-by: Julien Lepiller <[email protected]>
Diffstat (limited to 'gnu/packages/patches/ocaml-dose3-dont-make-printconf.patch')
| -rw-r--r-- | gnu/packages/patches/ocaml-dose3-dont-make-printconf.patch | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/gnu/packages/patches/ocaml-dose3-dont-make-printconf.patch b/gnu/packages/patches/ocaml-dose3-dont-make-printconf.patch deleted file mode 100644 index 84b6a3b81b..0000000000 --- a/gnu/packages/patches/ocaml-dose3-dont-make-printconf.patch +++ /dev/null @@ -1,9 +0,0 @@ ---- a/configure -+++ b/configure -@@ -6552,6 +6552,3 @@ if test -n "$ac_unrecognized_opts" && test "$enable_option_checking" != no; then - { $as_echo "$as_me:${as_lineno-$LINENO}: WARNING: unrecognized options: $ac_unrecognized_opts" >&5 - $as_echo "$as_me: WARNING: unrecognized options: $ac_unrecognized_opts" >&2;} - fi -- -- --make printconf |