tjh.dev
nixpkgs mirror (for testing)
github.com/NixOS/nixpkgs
nix
1{
2 lib,
3 stdenv,
4 fetchurl,
5 gmp,
6 mpfr,
7 boost,
8 version ? "1.6.0",
9}:
10
11stdenv.mkDerivation {
12 pname = "gappa";
13 inherit version;
14
15 src = fetchurl {
16 url = "https://gappa.gitlabpages.inria.fr/releases/gappa-${version}.tar.gz";
17 hash = "sha256-aNht0Ttv+gzS9eLzu4PQitRK/zQN9QQ4YOEjQ2d9xIM=";
18 };
19
20 buildInputs = [
21 gmp
22 mpfr
23 boost.dev
24 ];
25
26 buildPhase = "./remake";
27 installPhase = "./remake install";
28
29 meta = {
30 homepage = "https://gappa.gitlabpages.inria.fr/";
31 description = "Verifying and formally proving properties on numerical programs dealing with floating-point or fixed-point arithmetic";
32 mainProgram = "gappa";
33 license = with lib.licenses; [
34 cecill21
35 gpl3
36 ];
37 maintainers = with lib.maintainers; [ vbgl ];
38 platforms = lib.platforms.all;
39 };
40}