diff --git a/pkgs/tools/typesetting/tex/advi/default.nix b/pkgs/tools/typesetting/tex/advi/default.nix index 0be4d4a9574c..8fb8702213c3 100644 --- a/pkgs/tools/typesetting/tex/advi/default.nix +++ b/pkgs/tools/typesetting/tex/advi/default.nix @@ -34,8 +34,6 @@ ocamlPackages.buildDunePackage rec { pname = "advi"; version = "2.0.0"; - useDune2 = true; - minimalOCamlVersion = "4.11"; src = fetchurl { @@ -43,6 +41,14 @@ ocamlPackages.buildDunePackage rec { hash = "sha256-c0DQHlvdekJyXCxmR4+Ut/njtoCzmqX6hNazNv8PpBQ="; }; + postPatch = '' + substituteInPlace ./Makefile \ + --replace "\$(DUNE) install \$(DUNEROOT) --display=short" \ + "\$(DUNE) install \$(DUNEROOT) --prefix $out --docdir $out/share/doc --mandir $out/share/man" + ''; + + duneVersion = "3"; + nativeBuildInputs = [ fake-opam kpsexpand makeWrapper texlive.combined.scheme-medium which ]; buildInputs = with ocamlPackages; [ camlimages ghostscriptX graphics ];