libsigsegv/Pkgfile



    1 # Description: GNU libsigsegv is a library for handling page faults in user mode.
    2 # URL: http://savannah.gnu.org/projects/libsigsegv/
    3 # Maintainer: Tim Biermann, tbier at posteo dot de
    4 
    5 name=libsigsegv
    6 version=2.14
    7 release=1
    8 source=(http://ftp.gnu.org/gnu/$name/$name-$version.tar.gz)
    9 
   10 build() {
   11   cd $name-$version
   12 
   13   ./configure \
   14     --prefix=/usr \
   15     --enable-shared
   16 
   17   make
   18   make install DESTDIR=$PKG
   19 }