diff options
Diffstat (limited to 'nixpkgs/pkgs/development/libraries/libsigsegv/default.nix')
-rw-r--r-- | nixpkgs/pkgs/development/libraries/libsigsegv/default.nix | 36 |
1 files changed, 36 insertions, 0 deletions
diff --git a/nixpkgs/pkgs/development/libraries/libsigsegv/default.nix b/nixpkgs/pkgs/development/libraries/libsigsegv/default.nix new file mode 100644 index 000000000000..20cb80b1ff85 --- /dev/null +++ b/nixpkgs/pkgs/development/libraries/libsigsegv/default.nix @@ -0,0 +1,36 @@ +{ lib, stdenv, fetchurl +, enableSigbusFix ? false # required by kernels < 3.18.6 +}: + +stdenv.mkDerivation rec { + name = "libsigsegv-2.12"; + + src = fetchurl { + url = "mirror://gnu/libsigsegv/${name}.tar.gz"; + sha256 = "1dlhqf4igzpqayms25lkhycjq1ccavisx8cnb3y4zapbkqsszq9s"; + }; + + patches = if enableSigbusFix then [ ./sigbus_fix.patch ] else null; + + doCheck = true; # not cross; + + meta = { + homepage = "https://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 = lib.licenses.gpl2Plus; + + maintainers = [ ]; + platforms = lib.platforms.unix; + }; +} |