BoomMicrophone/nixpkgs-suyu
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

ocaml/z3: deprecate phases

Browse source
This commit is contained in:
Felix Buehler 2021-08-02 22:15:16 +02:00
parent b22dd97818
commit 565234fdb9
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
pkgs/development/ocaml-modules/z3/default.nix
View file

@ -10,7 +10,7 @@ stdenv.mkDerivation {
pname = "ocaml${ocaml.version}-z3";
inherit (z3-with-ocaml) version;
phases = [ "installPhase" "fixupPhase" ];
dontUnpack = true;
installPhase = ''
runHook preInstall