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.11
    9 release=1
   10 source=(http://download.sourceforge.net/$name/$name-$version.tar.bz2)
   11 
   12 build() {
   13   cd $name-$version
   14   ./configure --prefix=/usr
   15   make
   16   make DESTDIR=$PKG install
   17   rm -rf $PKG/usr/share/doc
   18 }