# 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.11
release=1
source=(http://dl.sourceforge.net/sourceforge/$name/$name-$version.tar.bz2)

build() {
  cd $name-$version
  ./configure --prefix=/usr
  make
  make DESTDIR=$PKG install
  rm -rf $PKG/usr/share/doc
}