readline/Pkgfile

   1 # Description: Lets users edit command lines as they are typed in
   2 # URL: http://cnswww.cns.cwru.edu/php/chet/readline/rltop.html
   3 # Maintainer: CRUX System Team, core-ports at crux dot nu
   4 # Arch Maintainer: CRUX-ARM System Team, crux-arm at mikeux dot dyndns dot org
   5 # Depends on:
   6
   7 name=readline
   8 version=5.2.13
   9 release=1
  10 source=(http://ftp.gnu.org/gnu/$name/$name-5.2.tar.gz \
  11         $name-5.2-001-013.patch inputrc)
  12
  13 build() {
  14   cd $name-5.2
  15   patch -p0 -i $SRC/$name-5.2-001-013.patch
  16   ./configure --build=$CHOST \
  17               --host=$CTARGET \
  18               --prefix=/usr
  19   make
  20   make DESTDIR=$PKG install
  21   install -D -m 644 $SRC/inputrc $PKG/etc/inputrc
  22   rm -rf $PKG/usr/info
  23 }