diff options
| author | Felix Buehler <account@buehler.rocks> | 2021-08-02 22:15:16 +0200 |
|---|---|---|
| committer | Felix Buehler <account@buehler.rocks> | 2021-08-04 17:43:19 +0200 |
| commit | 565234fdb9c4b3eb56a9209c32bb39118806efa0 (patch) | |
| tree | e5799217ad533bab9a72eef965baee3542376261 /pkgs/development/ocaml-modules/z3 | |
| parent | b22dd97818af18ec826997c99f8dfbf0b9d76115 (diff) | |
| download | nixpkgs-565234fdb9c4b3eb56a9209c32bb39118806efa0.tar nixpkgs-565234fdb9c4b3eb56a9209c32bb39118806efa0.tar.gz nixpkgs-565234fdb9c4b3eb56a9209c32bb39118806efa0.tar.bz2 nixpkgs-565234fdb9c4b3eb56a9209c32bb39118806efa0.tar.lz nixpkgs-565234fdb9c4b3eb56a9209c32bb39118806efa0.tar.xz nixpkgs-565234fdb9c4b3eb56a9209c32bb39118806efa0.tar.zst nixpkgs-565234fdb9c4b3eb56a9209c32bb39118806efa0.zip | |
ocaml/z3: deprecate phases
Diffstat (limited to 'pkgs/development/ocaml-modules/z3')
| -rw-r--r-- | pkgs/development/ocaml-modules/z3/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/development/ocaml-modules/z3/default.nix b/pkgs/development/ocaml-modules/z3/default.nix index d24a9510201..01b384fe0ba 100644 --- a/pkgs/development/ocaml-modules/z3/default.nix +++ b/pkgs/development/ocaml-modules/z3/default.nix @@ -10,7 +10,7 @@ stdenv.mkDerivation { pname = "ocaml${ocaml.version}-z3"; inherit (z3-with-ocaml) version; - phases = [ "installPhase" "fixupPhase" ]; + dontUnpack = true; installPhase = '' runHook preInstall |