diff options
| author | Sandro <sandro.jaeckel@gmail.com> | 2021-07-15 23:40:17 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-07-15 23:40:17 +0200 |
| commit | 9b8e8b2047f3bb1240c048bfb163581ab32e0329 (patch) | |
| tree | 334b69d0d001baea4d9245cb978a1eb0890c04b9 /pkgs | |
| parent | e0b1c7a1777ef3dd75518ac52155c1179184873e (diff) | |
| parent | b6fb4cedaff9a705f0154df0c9b8d968f3eee764 (diff) | |
| download | nixpkgs-9b8e8b2047f3bb1240c048bfb163581ab32e0329.tar nixpkgs-9b8e8b2047f3bb1240c048bfb163581ab32e0329.tar.gz nixpkgs-9b8e8b2047f3bb1240c048bfb163581ab32e0329.tar.bz2 nixpkgs-9b8e8b2047f3bb1240c048bfb163581ab32e0329.tar.lz nixpkgs-9b8e8b2047f3bb1240c048bfb163581ab32e0329.tar.xz nixpkgs-9b8e8b2047f3bb1240c048bfb163581ab32e0329.tar.zst nixpkgs-9b8e8b2047f3bb1240c048bfb163581ab32e0329.zip | |
Merge pull request #130193 from Stunkymonkey/verifast-phases
verifast: deprecate phases
Diffstat (limited to 'pkgs')
| -rw-r--r-- | pkgs/applications/science/logic/verifast/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/applications/science/logic/verifast/default.nix b/pkgs/applications/science/logic/verifast/default.nix index 2d625a1c1b2..e426f7b8098 100644 --- a/pkgs/applications/science/logic/verifast/default.nix +++ b/pkgs/applications/science/logic/verifast/default.nix @@ -27,8 +27,8 @@ stdenv.mkDerivation rec { sha256 = "169kshjq4cf4i9v92azv0xaflrnik5686w7fwcgdhd6qkbzflzl6"; }; + dontConfigure = true; dontStrip = true; - phases = "unpackPhase installPhase"; installPhase = '' mkdir -p $out/bin cp -R bin $out/libexec |