Commit 5316b98e authored by sternenseemann's avatar sternenseemann
Browse files

gnatPackages.gnatprove: run pre/post hooks

parent ec4f5e33

pkgs/development/ada-modules/gnatprove/default.nix

+4 −0
Original line number Diff line number Diff line
@@ -109,14 +109,18 @@ stdenv.mkDerivation rec { 
  '';



  configurePhase = ''

    runHook preConfigure

    make setup

    runHook postConfigure

  '';



  installPhase = ''

    runHook preInstall

    make install-all

    cp -a ./install/. $out

    mkdir $out/share/gpr

    ln -s $out/lib/gnat/* $out/share/gpr/

    runHook postInstall

  '';



  meta = with lib; {