make/Pkgfile

   1 # Description: Controls the generation of executables and other compile-related tasks
   2 # URL: http://www.gnu.org/software/make/
   3 # Maintainer: CRUX System Team, core-ports at crux dot nu
   4 # Arch Maintainer: CRUX-ARM System Team, devel at crux-arm dot nu
   5
   6 name=make
   7 version=3.82
   8 release=3
   9 source=(ftp://ftp.gnu.org/gnu/$name/$name-$version.tar.bz2
  10         $name-$version-bug_{30612,30653,30723}.patch)
  11
  12 build() {
  13   cd $name-$version
  14   cat $SRC/$name-$version-*.patch | patch -p1
  15   ./configure --build=$CHOST \
  16               --host=$CTARGET \
  17               --prefix=/usr \
  18               --disable-nls \
  19               --mandir=/usr/man
  20   make
  21   make DESTDIR=$PKG install
  22   rm -rf $PKG/usr/share
  23 }