Commit 69ae0e58 authored by Yiyu Zhou's avatar Yiyu Zhou
Browse files

gappa: add nix-update-script and versionCheckHook

parent ac24a9cd

pkgs/by-name/ga/gappa/package.nix

+7 −0
Original line number Diff line number Diff line
@@ -6,6 +6,8 @@ 
  mpfr,

  boost,

  version ? "1.6.1",

  versionCheckHook,

  nix-update-script,

}:



stdenv.mkDerivation {
@@ -26,6 +28,11 @@ stdenv.mkDerivation { 
  buildPhase = "./remake";

  installPhase = "./remake install";



  doInstallCheck = true;

  nativeInstallCheckInputs = [ versionCheckHook ];



  passthru.updateScript = nix-update-script { };



  meta = {

    homepage = "https://gappa.gitlabpages.inria.fr/";

    description = "Verifying and formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic";