tint2-extras/Pkgfile



    1 # Description: Lightweight panel/taskbar
    2 # URL: http://tint2.googlecode.com
    3 # Packager: Jose V Beneyto, sepen at crux dot nu
    4 # Maintainer: Jose V Beneyto, sepen at crux dot nu
    5 # Depends on: tint2 pygtk
    6 
    7 name=tint2-extras
    8 version=0.11
    9 release=1
   10 source=(http://tint2.googlecode.com/files/tint2-$version.tar.bz2)
   11 
   12 build() {
   13   cd tint2-$version
   14 
   15   cmake \
   16     -DCMAKE_INSTALL_PREFIX=/usr \
   17     -DENABLE_BATTERY=OFF \
   18     -DENABLE_EXAMPLES=ON \
   19     -DENABLE_TINT2CONF=ON \
   20     -DMANDIR=/usr/man \
   21     -DSYSCONFDIR=/usr/etc
   22 
   23   make
   24   make DESTDIR=$PKG install
   25 
   26   install -d $PKG/usr/share/tint2
   27   mv $PKG/usr/share/doc/tint2/examples $PKG/usr/share/tint2
   28   rm -rf $PKG/usr/{bin/tint2,etc,man,share/doc}
   29 }