diff options
| author | P. J. McDermott <pjm@nac.net> | 2013-08-03 14:50:40 (EDT) |
|---|---|---|
| committer | P. J. McDermott <pjm@nac.net> | 2013-08-03 14:55:57 (EDT) |
| commit | cdbbc1393e33c3ec62ae0fbc2dab2cb433702f87 (patch) | |
| tree | 48f12934efc79da189c85e7193f63b511bdee9a5 | |
| parent | c9b5efde50ffbb18b9830243c52db3ec1d1696b6 (diff) | |
Add binary package metadata and files lists.
| -rw-r--r-- | libsigsegv-dev.pkg/control | 7 | ||||
| -rw-r--r-- | libsigsegv-dev.pkg/files | 3 | ||||
| -rw-r--r-- | libsigsegv.2.pkg/control | 4 | ||||
| -rw-r--r-- | libsigsegv.2.pkg/docs | 0 | ||||
| -rw-r--r-- | libsigsegv.2.pkg/files | 1 | ||||
| -rw-r--r-- | substvars | 12 |
6 files changed, 27 insertions, 0 deletions
diff --git a/libsigsegv-dev.pkg/control b/libsigsegv-dev.pkg/control new file mode 100644 index 0000000..e25b33f --- /dev/null +++ b/libsigsegv-dev.pkg/control @@ -0,0 +1,7 @@ +Architecture: all +Platform: all +Depends: libsigsegv.2 (= ${Binary-Version}) +Description: Library for handling page faults in user mode - development files + ${Common-Description} + . + This package provides development files for GNU libsigsegv. diff --git a/libsigsegv-dev.pkg/files b/libsigsegv-dev.pkg/files new file mode 100644 index 0000000..6c92586 --- /dev/null +++ b/libsigsegv-dev.pkg/files @@ -0,0 +1,3 @@ +/usr/include/ +/usr/lib/*/libsigsegv.a +/usr/lib/*/libsigsegv.so diff --git a/libsigsegv.2.pkg/control b/libsigsegv.2.pkg/control new file mode 100644 index 0000000..eaaae41 --- /dev/null +++ b/libsigsegv.2.pkg/control @@ -0,0 +1,4 @@ +Architecture: all +Platform: all +Description: Library for handling page faults in user mode + ${Common-Description} diff --git a/libsigsegv.2.pkg/docs b/libsigsegv.2.pkg/docs new file mode 100644 index 0000000..e69de29 --- /dev/null +++ b/libsigsegv.2.pkg/docs diff --git a/libsigsegv.2.pkg/files b/libsigsegv.2.pkg/files new file mode 100644 index 0000000..7613ff0 --- /dev/null +++ b/libsigsegv.2.pkg/files @@ -0,0 +1 @@ +/usr/lib/*/libsigsegv.so.* diff --git a/substvars b/substvars new file mode 100644 index 0000000..ed755d5 --- /dev/null +++ b/substvars @@ -0,0 +1,12 @@ +Common-Description: + This 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, + - ... |