2009-08-09 22:24:05 +00:00
|
|
|
{ fetchurl, stdenv }:
|
|
|
|
|
|
|
|
|
|
stdenv.mkDerivation rec {
|
2011-12-14 10:35:59 +00:00
|
|
|
name = "libsigsegv-2.10";
|
2009-08-09 22:24:05 +00:00
|
|
|
|
|
|
|
|
src = fetchurl {
|
|
|
|
|
url = "mirror://gnu/libsigsegv/${name}.tar.gz";
|
2011-12-14 10:35:59 +00:00
|
|
|
sha256 = "16hrs8k3nmc7a8jam5j1fpspd6sdpkamskvsdpcw6m29vnis8q44";
|
2009-08-09 22:24:05 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
|
|
doCheck = true;
|
|
|
|
|
|
|
|
|
|
meta = {
|
|
|
|
|
homepage = http://www.gnu.org/software/libsigsegv/;
|
|
|
|
|
description = "GNU libsigsegv, a 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 = "GPLv2+";
|
|
|
|
|
|
|
|
|
|
maintainers = [ stdenv.lib.maintainers.ludo ];
|
|
|
|
|
};
|
|
|
|
|
}
|
