Merge pull request #130193 from Stunkymonkey/verifast-phases

verifast: deprecate phases
2021-07-15 23:40:17 +02:00
parent e0b1c7a177 b6fb4cedaf
commit 9b8e8b2047
1 changed files with 1 additions and 1 deletions
@@ -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