ipmitool: new port

ipmitool/.footprint

@@ -0,0 +1,13 @@
+drwxr-xr-x	root/root	usr/
+drwxr-xr-x	root/root	usr/bin/
+-rwxr-xr-x	root/root	usr/bin/ipmitool
+drwxr-xr-x	root/root	usr/man/
+drwxr-xr-x	root/root	usr/man/man1/
+-rw-r--r--	root/root	usr/man/man1/ipmitool.1.gz
+drwxr-xr-x	root/root	usr/man/man8/
+-rw-r--r--	root/root	usr/man/man8/ipmievd.8.gz
+drwxr-xr-x	root/root	usr/sbin/
+-rwxr-xr-x	root/root	usr/sbin/ipmievd
+drwxr-xr-x	root/root	usr/share/
+drwxr-xr-x	root/root	usr/share/ipmitool/
+-rw-r--r--	root/root	usr/share/ipmitool/oem_ibm_sel_map

ipmitool/.md5sum

@@ -0,0 +1 @@
+ead658c27b21192c8fb3376a63963203  ipmitool-1.8.10.tar.bz2

ipmitool/Pkgfile

@@ -0,0 +1,18 @@
+# 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.10
+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
+}