summary refs log tree commit diff
path: root/pkgs/development/libraries/libsigsegv/default.nix
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2009-08-09 22:24:05 +0000
committerLudovic Courtès <ludo@gnu.org>2009-08-09 22:24:05 +0000
commitc1a05331f37aa3fe5e246853036cb528d2f3b71f (patch)
tree3acafde022d188a8cf6de1fe8d84041032882ad8 /pkgs/development/libraries/libsigsegv/default.nix
parentc3943258ced3523c4ca16b85f601445024ec2509 (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.nix31
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 ];
+  };
+}