Commit 093b9087 authored by sempiternal-aurora's avatar sempiternal-aurora
Browse files

vampire: remove unneeded extra installPhase 

Vampire now properly specifies the install directive through cmake so
the special installPhase is no longer needed
parent bcb274c3

pkgs/by-name/va/vampire/package.nix

+0 −14
Original line number Diff line number Diff line
@@ -42,20 +42,6 @@ stdenv.mkDerivation (finalAttrs: { 
    rm -rf z3

  '';



  installPhase = ''

    runHook preInstall



    # some versions place the binary at ./ while others at bin/

    if test -n "$(find . -maxdepth 1 -name 'vampire*' -print -quit)"

    then

      install -m0755 -D vampire* $out/bin/vampire

    else

      install -m0755 -D bin/vampire* $out/bin/vampire

    fi



    runHook postInstall

  '';



  meta = {

    homepage = "https://vprover.github.io/";

    description = "Vampire Theorem Prover";