xfce4-clipman-plugin/Pkgfile



    1 # Description: Clipboard manager plugin for the Xfce4 panel
    2 # URL: http://goodies.xfce.org/projects/panel-plugins/xfce4-clipman-plugin
    3 # Maintainer: Jose V Beneyto, sepen at crux dot nu
    4 # Packager: Jochem Kossen, jkossen at xs4all dot nl
    5 # Depends on: xfce4-panel
    6 # Group: xfce4
    7 
    8 name=xfce4-clipman-plugin
    9 version=1.2.2
   10 release=1
   11 source=(http://archive.xfce.org/src/panel-plugins/$name/${version%.*}/$name-$version.tar.bz2)
   12 
   13 build() {
   14   cd $name-$version
   15 
   16   ./configure --prefix=/usr \
   17               --libexecdir=/usr/lib \
   18               --disable-static \
   19               --disable-debug
   20 
   21   make
   22   make DESTDIR=$PKG install
   23 
   24   rm -rf $PKG/usr/share/{doc,locale}
   25   find $PKG/usr/share -type f -name '*.desktop' \
   26     -exec sed -r '/\[.+\]=/d' -i {} \;
   27 }