diff options
| author | Tim Biermann <tbier@posteo.de> | 2021-01-29 12:20:31 +0000 |
|---|---|---|
| committer | Tim Biermann <tbier@posteo.de> | 2021-01-29 12:20:31 +0000 |
| commit | c8aebc6a9656ed0d97d33bb00b19f7326e55a734 (patch) | |
| tree | 7bbd262eefc31de0a7f2b652e2d4fe8fd11187aa /libsigsegv/Pkgfile | |
| parent | 29663a752afbc5083688bdbbfe0438234ca73752 (diff) | |
| download | opt-c8aebc6a9656ed0d97d33bb00b19f7326e55a734.tar.gz opt-c8aebc6a9656ed0d97d33bb00b19f7326e55a734.tar.xz | |
libsigsegv: adopted port
Diffstat (limited to 'libsigsegv/Pkgfile')
| -rw-r--r-- | libsigsegv/Pkgfile | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/libsigsegv/Pkgfile b/libsigsegv/Pkgfile index d7834371c..3c71ea414 100644 --- a/libsigsegv/Pkgfile +++ b/libsigsegv/Pkgfile @@ -1,6 +1,6 @@ # Description: GNU libsigsegv is a library for handling page faults in user mode. -# URL: http://savannah.gnu.org/projects/libsigsegv/ -# Maintainer: Thomas Penteker, tek at serverop dot de +# URL: http://savannah.gnu.org/projects/libsigsegv/ +# Maintainer: Tim Biermann, tbier at poste dot de name=libsigsegv version=2.13 @@ -8,12 +8,12 @@ release=1 source=(http://ftp.gnu.org/gnu/$name/$name-$version.tar.gz) build() { - cd $name-$version + cd $name-$version - ./configure \ - --prefix=/usr \ - --enable-shared + ./configure \ + --prefix=/usr \ + --enable-shared - make - make install DESTDIR=$PKG + make + make install DESTDIR=$PKG } |