2009-01-08 13:22:51 +01:00
|
|
|
# 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
|
2014-11-29 00:09:10 +01:00
|
|
|
version=1.8.15
|
2009-01-08 13:22:51 +01:00
|
|
|
release=1
|
2010-11-12 12:03:50 +01:00
|
|
|
source=(http://download.sourceforge.net/$name/$name-$version.tar.bz2)
|
2009-01-08 13:22:51 +01:00
|
|
|
|
|
|
|
|
build() {
|
|
|
|
|
cd $name-$version
|
2013-09-10 09:58:34 +02:00
|
|
|
|
|
|
|
|
./configure --prefix=/usr \
|
|
|
|
|
--mandir=/usr/man
|
|
|
|
|
|
2009-01-08 13:22:51 +01:00
|
|
|
make
|
|
|
|
|
make DESTDIR=$PKG install
|
2013-09-10 09:58:34 +02:00
|
|
|
|
2009-01-08 13:22:51 +01:00
|
|
|
rm -rf $PKG/usr/share/doc
|
|
|
|
|
}
|
