pyrox.dev
verifast: 14.5, x86_64 linux only
Signed-off-by: Austin Seipp <aseipp@pobox.com>
+10
-14
pkgs/applications/science/logic/verifast/default.nix
+10
-14
pkgs/applications/science/logic/verifast/default.nix
···
5
libPath = stdenv.lib.makeLibraryPath
6
[ stdenv.gcc.libc stdenv.gcc.gcc gtk gdk_pixbuf atk pango glib cairo
7
freetype fontconfig libxml2 gnome2.gtksourceview
8
-
];
9
10
-
patchLib = x: extra: "patchelf --set-rpath ${libPath}:${extra} ${x}";
11
-
patchExe = x: extra: ''
12
patchelf --interpreter "$(cat $NIX_GCC/nix-support/dynamic-linker)" \
13
-
--set-rpath ${libPath}:${extra} ${x}
14
'';
15
in
16
stdenv.mkDerivation rec {
17
name = "verifast-${version}";
18
-
version = "13.11.14";
19
20
src = fetchurl {
21
-
url = "http://people.cs.kuleuven.be/~bart.jacobs/verifast/verifast-13.11.14.tar.gz";
22
-
sha256 = "1ahay7achjsfz59d3b6vl1v91gr5j34vb494isqw3fsw5l8jd9p7";
23
};
24
25
dontStrip = true;
26
installPhase = ''
27
mkdir -p $out/bin
28
cp -R bin $out/libexec
29
30
-
${patchLib "$out/libexec/libz3-gmp.so" "$out/libexec"}
31
-
${patchExe "$out/libexec/vfide-core" "$out/libexec"}
32
-
${patchExe "$out/libexec/verifast-core" "$out/libexec"}
33
-
34
ln -s $out/libexec/verifast-core $out/bin/verifast
35
ln -s $out/libexec/vfide-core $out/bin/vfide
36
'';
37
38
-
phases = "unpackPhase installPhase";
39
-
40
meta = {
41
description = "Verification for C and Java programs via separation logic";
42
homepage = "http://people.cs.kuleuven.be/~bart.jacobs/verifast/";
43
license = stdenv.lib.licenses.msrla;
44
-
platforms = [ "i686-linux" ];
45
maintainers = [ stdenv.lib.maintainers.thoughtpolice ];
46
};
47
}
···
5
libPath = stdenv.lib.makeLibraryPath
6
[ stdenv.gcc.libc stdenv.gcc.gcc gtk gdk_pixbuf atk pango glib cairo
7
freetype fontconfig libxml2 gnome2.gtksourceview
8
+
] + ":${stdenv.gcc.gcc}/lib64";
9
10
+
patchExe = x: ''
11
patchelf --interpreter "$(cat $NIX_GCC/nix-support/dynamic-linker)" \
12
+
--set-rpath ${libPath} ${x}
13
'';
14
in
15
stdenv.mkDerivation rec {
16
name = "verifast-${version}";
17
+
version = "14.5";
18
19
src = fetchurl {
20
+
url = "http://people.cs.kuleuven.be/~bart.jacobs/verifast/${name}-x64.tar.gz";
21
+
sha256 = "03y1s6s2j9vqgiad0vbxriipsypxaylxxd3q36n9rvrc3lf9xra9";
22
};
23
24
dontStrip = true;
25
+
phases = "unpackPhase installPhase";
26
installPhase = ''
27
mkdir -p $out/bin
28
cp -R bin $out/libexec
29
30
+
${patchExe "$out/libexec/verifast-core"}
31
+
${patchExe "$out/libexec/vfide-core"}
32
ln -s $out/libexec/verifast-core $out/bin/verifast
33
ln -s $out/libexec/vfide-core $out/bin/vfide
34
'';
35
36
meta = {
37
description = "Verification for C and Java programs via separation logic";
38
homepage = "http://people.cs.kuleuven.be/~bart.jacobs/verifast/";
39
license = stdenv.lib.licenses.msrla;
40
+
platforms = [ "x86_64-linux" ];
41
maintainers = [ stdenv.lib.maintainers.thoughtpolice ];
42
};
43
}
+1
-1
pkgs/top-level/all-packages.nix
+1
-1
pkgs/top-level/all-packages.nix