diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2022-02-08 09:53:11 +0100 |
---|---|---|
committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2022-02-15 07:25:24 +0100 |
commit | 7c09dc2d8a667ca8a669c03b072166fe14f35b71 (patch) | |
tree | 66aa80eeb269a38948f420c363f115d0c54fb5ef /pkgs/development/compilers | |
parent | e61b18babdd6167f85fd8da57b4c9e4c70d19d41 (diff) | |
download | nixpkgs-7c09dc2d8a667ca8a669c03b072166fe14f35b71.tar nixpkgs-7c09dc2d8a667ca8a669c03b072166fe14f35b71.tar.gz nixpkgs-7c09dc2d8a667ca8a669c03b072166fe14f35b71.tar.bz2 nixpkgs-7c09dc2d8a667ca8a669c03b072166fe14f35b71.tar.lz nixpkgs-7c09dc2d8a667ca8a669c03b072166fe14f35b71.tar.xz nixpkgs-7c09dc2d8a667ca8a669c03b072166fe14f35b71.tar.zst nixpkgs-7c09dc2d8a667ca8a669c03b072166fe14f35b71.zip |
ocamlPackages.pprint: 20171003 → 20220103
Diffstat (limited to 'pkgs/development/compilers')
-rw-r--r-- | pkgs/development/compilers/mezzo/default.nix | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/pkgs/development/compilers/mezzo/default.nix b/pkgs/development/compilers/mezzo/default.nix index 23c75ae28bb..4f2b081b4db 100644 --- a/pkgs/development/compilers/mezzo/default.nix +++ b/pkgs/development/compilers/mezzo/default.nix @@ -28,6 +28,10 @@ stdenv.mkDerivation { prePatch = lib.optionalString (check-ocaml-version "4.02") '' substituteInPlace myocamlbuild.pre.ml \ --replace '@1..3' '@1..2+3' + '' + # Compatibility with PPrint ≥ 20220103 + + '' + substituteInPlace typing/Fact.ml --replace PPrintOCaml PPrint.OCaml ''; createFindlibDestdir = true; |