gdb/Pkgfile



    1 # Description: The GNU Debugger (GDB)
    2 # URL: https://www.gnu.org/software/gdb
    3 # Maintainer: Tim Biermann, tbier at posteo dot de
    4 # Depends on: libmpfr readline xz zlib expat
    5 
    6 name=gdb
    7 version=11.1
    8 release=1
    9 source=(https://ftp.gnu.org/gnu/$name/$name-$version.tar.xz)
   10 
   11 build() {
   12   cd $name-$version
   13 
   14   sed '/^SUBDIRS/s/doc//' -i gdb/Makefile.in
   15 
   16   mkdir build && cd build
   17 
   18   ../configure \
   19     --prefix=/usr \
   20     --with-system-{readline,zlib}
   21   make
   22   make DESTDIR=$PKG install
   23 
   24   install -d $PKG/usr/share/man/man{1,5}
   25   install -m 0644 ../gdb/doc/*.1 $PKG/usr/share/man/man1
   26   install -m 0644 ../gdb/doc/*.5 $PKG/usr/share/man/man5
   27 
   28   rm -r $PKG/usr/{include,lib/{*.a,*.la}}
   29   rm -r $PKG/usr/share/{info,locale}
   30 }