diff options
author | François Bobot <francois.bobot@cea.fr> | 2023-03-14 11:32:04 +0100 |
---|---|---|
committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2023-03-14 14:37:57 +0100 |
commit | 3b3e37f996a1265c6bfb7b4415241e3519c286c0 (patch) | |
tree | 4cd5ce9a45790833dd3330075c0c3318d3335973 /pkgs/build-support | |
parent | ca295db2f80e926a99f5e4377943011b32a57a51 (diff) |
[OCaml] tell dune where to install man
`fixupPhase` move `$out/man` to `$out/share/man`. So the information of their location in the dune-project file is outdated which breaks dependencies on packages ( `(package foo)`).
Diffstat (limited to 'pkgs/build-support')
-rw-r--r-- | pkgs/build-support/ocaml/dune.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/build-support/ocaml/dune.nix b/pkgs/build-support/ocaml/dune.nix index 1ad2d236446ab..81f1010e467cb 100644 --- a/pkgs/build-support/ocaml/dune.nix +++ b/pkgs/build-support/ocaml/dune.nix @@ -32,7 +32,7 @@ stdenv.mkDerivation ({ runHook preInstall dune install --prefix $out --libdir $OCAMLFIND_DESTDIR ${pname} \ ${if lib.versionAtLeast Dune.version "2.9" - then "--docdir $out/share/doc" + then "--docdir $out/share/doc --man $out/share/man" else ""} runHook postInstall ''; |