ipmitool/Pkgfile



    1 # Description: IPMItool provides a simple command-line interface to IPMI-enabled devices
    2 # URL: http://ipmitool.sourceforge.net
    3 # Maintainer: Jose V Beneyto, sepen at users dot sourceforge dot net
    4 # Packager: Jose V Beneyto, sepen at users dot sourceforge dot net
    5 # Depends on: 
    6 
    7 name=ipmitool
    8 version=1.8.15
    9 release=1
   10 source=(http://download.sourceforge.net/$name/$name-$version.tar.bz2)
   11 
   12 build() {
   13   cd $name-$version
   14 
   15   ./configure --prefix=/usr \
   16               --mandir=/usr/man
   17 
   18   make
   19   make DESTDIR=$PKG install
   20 
   21   rm -rf $PKG/usr/share/doc
   22 }