2017-06-04 01:35:03 +01:00
|
|
|
{ stdenv, fetchurl
|
2017-08-27 16:21:35 +01:00
|
|
|
, enableSigbusFix ? false # required by kernels < 3.18.6
|
2017-06-04 01:35:03 +01:00
|
|
|
}:
|
2009-08-09 23:24:05 +01:00
|
|
|
|
|
|
|
stdenv.mkDerivation rec {
|
2018-01-18 22:02:23 +00:00
|
|
|
name = "libsigsegv-2.12";
|
2009-08-09 23:24:05 +01:00
|
|
|
|
|
|
|
src = fetchurl {
|
|
|
|
url = "mirror://gnu/libsigsegv/${name}.tar.gz";
|
2018-01-18 22:02:23 +00:00
|
|
|
sha256 = "1dlhqf4igzpqayms25lkhycjq1ccavisx8cnb3y4zapbkqsszq9s";
|
2009-08-09 23:24:05 +01:00
|
|
|
};
|
|
|
|
|
2017-08-27 16:21:35 +01:00
|
|
|
patches = if enableSigbusFix then [ ./sigbus_fix.patch ] else null;
|
|
|
|
|
2018-01-08 07:19:47 +00:00
|
|
|
doCheck = true; # not cross;
|
2009-08-09 23:24:05 +01:00
|
|
|
|
|
|
|
meta = {
|
2018-12-01 18:22:13 +00:00
|
|
|
homepage = https://www.gnu.org/software/libsigsegv/;
|
2014-08-24 15:21:08 +01:00
|
|
|
description = "Library to handle page faults in user mode";
|
2009-08-09 23:24:05 +01:00
|
|
|
|
|
|
|
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.
|
|
|
|
'';
|
|
|
|
|
2014-06-19 05:19:00 +01:00
|
|
|
license = stdenv.lib.licenses.gpl2Plus;
|
2009-08-09 23:24:05 +01:00
|
|
|
|
2015-01-13 21:33:24 +00:00
|
|
|
maintainers = [ ];
|
2016-08-02 18:50:55 +01:00
|
|
|
platforms = stdenv.lib.platforms.unix;
|
2009-08-09 23:24:05 +01:00
|
|
|
};
|
|
|
|
}
|