diff options
Diffstat (limited to 'core/make')
| -rw-r--r-- | core/make/PKGBUILD | 28 | ||||
| -rw-r--r-- | core/make/make.install | 20 |
2 files changed, 48 insertions, 0 deletions
diff --git a/core/make/PKGBUILD b/core/make/PKGBUILD new file mode 100644 index 000000000..8ac07413b --- /dev/null +++ b/core/make/PKGBUILD @@ -0,0 +1,28 @@ +# $Id: PKGBUILD 77792 2010-04-18 03:42:45Z allan $ +# Maintainer: Allan McRae <allan@archlinux.org> +# Contributor: judd <jvinet@zeroflux.org> + +pkgname=make +pkgver=3.81 +pkgrel=5 +pkgdesc="GNU make utility to maintain groups of programs" +arch=('i686' 'x86_64') +url="http://www.gnu.org/software/make" +license=('GPL') +groups=('base-devel') +depends=('glibc' 'sh') +install=$pkgname.install +source=(ftp://ftp.gnu.org/gnu/${pkgname}/${pkgname}-${pkgver}.tar.gz) +md5sums=('a4e9494ac6dc3f6b0c5ff75c5d52abba') + +build() { + cd ${srcdir}/${pkgname}-${pkgver} + ./configure --prefix=/usr \ + --mandir=/usr/share/man --infodir=/usr/share/info + make +} + +package() { + cd ${srcdir}/${pkgname}-${pkgver} + make DESTDIR=${pkgdir} install +} diff --git a/core/make/make.install b/core/make/make.install new file mode 100644 index 000000000..0c2da13c3 --- /dev/null +++ b/core/make/make.install @@ -0,0 +1,20 @@ +infodir=/usr/share/info +filelist=(make.info make.info-1 make.info-2) + +post_install() { + [ -x usr/bin/install-info ] || return 0 + for file in ${filelist[@]}; do + install-info $infodir/$file.gz $infodir/dir 2> /dev/null + done +} + +post_upgrade() { + post_install $1 +} + +pre_remove() { + [ -x usr/bin/install-info ] || return 0 + for file in ${filelist[@]}; do + install-info --delete $infodir/$file.gz $infodir/dir 2> /dev/null + done +} |