anchor.diff:      ];
   
       postInstall =
  -    /* Remove unused files to prevent conflicts with
  -       pkg-config/libtool hooks */ ''
  -      rm -rvf $out/includes
  -      rm -rvf $out/lib/pkgconfig
  -    '' +
  -    /* Rename the library to a unique name */ ''
  -      mv -v $out/lib/libx265.a $out/lib/libx265_main12.a
  -    '';
  +      /* Remove unused files to prevent conflicts with
  +         pkg-config/libtool hooks */ ''
  +        rm -frv $out/includes
  +        rm -frv $out/lib/pkgconfig
  +      '' +
  +      /* Rename the library to a unique name */ ''
  +        mv -v $out/lib/libx265.a $out/lib/libx265_main12.a
  +      '';
     };
   in
   
  
positive.code:     sha256 = "1j0mbcf10aj6zi1nxql45f9817jd2ndcpd7x123sjmyr7q9m8iiy";
    };
    cmakeFlagsAll = [
      (cmFlag "ENABLE_TESTS" unittestsSupport)
      (cmFlag "CHECKED_BUILD" debugSupport)
      (cmFlag "WARNINGS_AS_ERRORS" werrorSupport)
      (cmFlag "ENABLE_PPA" ppaSupport)
      (cmFlag "ENABLE_VTUNE" vtuneSupport)
      (cmFlag "ENABLE_PIC" true)
      (cmFlag "ENABLE_LIBNUMA" (
        (elem targetSystem platforms.linux)
  
negative.code:       (cmFlag "MAIN12" false)
      ] ++ cmakeFlagsAll;
  
      preConfigure = /* x265 source directory is `source`, not `src` */ ''
        cd source
      '';
  
  