wmii/Pkgfile



    1 # Description: The next generation of WMI
    2 # URL: http://wmii.de/
    3 # Maintainer: Simon Gloßner, viper at hometux dot de
    4 # Depends on: 9base
    5 
    6 name=wmii
    7 version=2.5.2
    8 release=1
    9 source=(http://wmii.de/download/$name-$version.tar.gz $name-$version.patch)
   10 
   11 build() {
   12     cd $name-$version
   13 
   14     # disable annoying mouse warping 
   15     patch -p1 < ../$name-$version.patch
   16     
   17     sed -i 's|^PREFIX.*|PREFIX=/usr|' config.mk
   18     sed -i 's|^MANPREFIX.*|MANPREFIX=/usr/man|' config.mk
   19     sed -i 's|^9PREFIX.*|9PREFIX=/usr/share/9base|' config.mk
   20 
   21     make DESTDIR=$PKG clean install
   22 
   23     chmod 644 $PKG/usr/man/man?/*
   24 }