Unverified Commit 1f6c575f authored by h7x4's avatar h7x4 Committed by GitHub
Browse files

Merge pull request #315981 from Mynacol/leanify-check 

leanify: add simple check
parents fe6c2d5f 1a2fc30c

pkgs/tools/misc/leanify/default.nix

+8 −0
Original line number Diff line number Diff line
@@ -24,6 +24,14 @@ stdenv.mkDerivation rec { 


  buildInputs = lib.optionals stdenv.isDarwin [ libiconv ];



  doCheck = true;



  checkPhase = ''

    runHook preCheck

    ./leanify /dev/null

    runHook postCheck

  '';



  installPhase = ''

    runHook preInstall