advi: use Dune 3
Co-authored-by: Ulrik Strid <ulrik.strid@outlook.com>
This commit is contained in:
parent
1d01024c5b
commit
96face35e4
1 changed files with 8 additions and 2 deletions
|
@ -34,8 +34,6 @@ ocamlPackages.buildDunePackage rec {
|
||||||
pname = "advi";
|
pname = "advi";
|
||||||
version = "2.0.0";
|
version = "2.0.0";
|
||||||
|
|
||||||
useDune2 = true;
|
|
||||||
|
|
||||||
minimalOCamlVersion = "4.11";
|
minimalOCamlVersion = "4.11";
|
||||||
|
|
||||||
src = fetchurl {
|
src = fetchurl {
|
||||||
|
@ -43,6 +41,14 @@ ocamlPackages.buildDunePackage rec {
|
||||||
hash = "sha256-c0DQHlvdekJyXCxmR4+Ut/njtoCzmqX6hNazNv8PpBQ=";
|
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 ];
|
nativeBuildInputs = [ fake-opam kpsexpand makeWrapper texlive.combined.scheme-medium which ];
|
||||||
buildInputs = with ocamlPackages; [ camlimages ghostscriptX graphics ];
|
buildInputs = with ocamlPackages; [ camlimages ghostscriptX graphics ];
|
||||||
|
|
||||||
|
|
Loading…
Reference in a new issue