diff options
author | Ludovic Courtès <ludo@gnu.org> | 2009-08-09 22:24:05 +0000 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2009-08-09 22:24:05 +0000 |
commit | c1a05331f37aa3fe5e246853036cb528d2f3b71f (patch) | |
tree | 3acafde022d188a8cf6de1fe8d84041032882ad8 /pkgs/development/libraries/libsigsegv/default.nix | |
parent | c3943258ced3523c4ca16b85f601445024ec2509 (diff) |
GNU libsigsegv 2.7.
svn path=/nixpkgs/trunk/; revision=16627
Diffstat (limited to 'pkgs/development/libraries/libsigsegv/default.nix')
-rw-r--r-- | pkgs/development/libraries/libsigsegv/default.nix | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/pkgs/development/libraries/libsigsegv/default.nix b/pkgs/development/libraries/libsigsegv/default.nix new file mode 100644 index 0000000000000..68814d4bc9633 --- /dev/null +++ b/pkgs/development/libraries/libsigsegv/default.nix @@ -0,0 +1,31 @@ +{ fetchurl, stdenv }: + +stdenv.mkDerivation rec { + name = "libsigsegv-2.7"; + + src = fetchurl { + url = "mirror://gnu/libsigsegv/${name}.tar.gz"; + sha256 = "1j21wanj8wsrvgjb8hjvydl5la70fd1qi21yfm6xmgmwbw26973h"; + }; + + 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 ]; + }; +} |