# Description: IPMItool provides a simple command-line interface to IPMI-enabled devices # URL: http://ipmitool.sourceforge.net # Maintainer: Jose V Beneyto, sepen at users dot sourceforge dot net # Packager: Jose V Beneyto, sepen at users dot sourceforge dot net # Depends on: name=ipmitool version=1.8.15 release=1 source=(http://download.sourceforge.net/$name/$name-$version.tar.bz2) build() { cd $name-$version ./configure --prefix=/usr \ --mandir=/usr/man make make DESTDIR=$PKG install rm -rf $PKG/usr/share/doc }