diff options
| author | Thomas Penteker <tek@serverop.de> | 2014-07-08 19:09:42 +0200 |
|---|---|---|
| committer | Thomas Penteker <tek@serverop.de> | 2014-07-08 19:09:42 +0200 |
| commit | 3fcfc37364425ce5ed286bf7bc2ca7bba9231abb (patch) | |
| tree | 70e9eb541f3de24d62b7a4190b77f96a5146a51b /libsigsegv/Pkgfile | |
| parent | 5aefa209ad68749cf85571df9347d54d7d73d601 (diff) | |
| download | opt-3fcfc37364425ce5ed286bf7bc2ca7bba9231abb.tar.gz opt-3fcfc37364425ce5ed286bf7bc2ca7bba9231abb.tar.xz | |
libsigsegv: port taken
Diffstat (limited to 'libsigsegv/Pkgfile')
| -rw-r--r-- | libsigsegv/Pkgfile | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/libsigsegv/Pkgfile b/libsigsegv/Pkgfile index 3fe6160d2..9ef95fe7b 100644 --- a/libsigsegv/Pkgfile +++ b/libsigsegv/Pkgfile @@ -1,7 +1,7 @@ # Description: GNU libsigsegv is a library for handling page faults in user mode. -# URL: http://savannah.gnu.org/projects/ibsigsegv/ -# Maintainer: Danny Rawlins, monster dot romster at gmail dot com -# Packager: Danny Rawlins, monster dot romster at gmail dot com +# URL: http://savannah.gnu.org/projects/ibsigsegv/ +# Maintainer: Thomas Penteker, tek at serverop dot de +# Packager: Danny Rawlins, monster dot romster at gmail dot com name=libsigsegv version=2.10 @@ -9,13 +9,13 @@ release=1 source=(http://ftp.gnu.org/gnu/$name/$name-$version.tar.gz) build() { - cd $name-$version + cd $name-$version - ./configure \ - --prefix=/usr \ - --mandir=/usr/man \ - --enable-shared + ./configure \ + --prefix=/usr \ + --mandir=/usr/man \ + --enable-shared - make - make install DESTDIR=$PKG + make + make install DESTDIR=$PKG } |