blob: b6be8d194c15231e12757652a81d49a82b721d71 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
|
{ fetchurl, stdenv }:
stdenv.mkDerivation rec {
name = "libsigsegv-2.10";
src = fetchurl {
url = "mirror://gnu/libsigsegv/${name}.tar.gz";
sha256 = "16hrs8k3nmc7a8jam5j1fpspd6sdpkamskvsdpcw6m29vnis8q44";
};
doCheck = true;
meta = {
homepage = http://www.gnu.org/software/libsigsegv/;
description = "Library to handle page faults in user mode";
longDescription = ''
GNU libsigsegv is a library for handling page faults in user mode. A
page fault occurs when a program tries to access to a region of memory
that is currently not available. Catching and handling a page fault is
a useful technique for implementing pageable virtual memory,
memory-mapped access to persistent databases, generational garbage
collectors, stack overflow handlers, distributed shared memory, and
more.
'';
license = stdenv.lib.licenses.gpl2Plus;
maintainers = [ stdenv.lib.maintainers.ludo ];
};
}
|