w3m/Pkgfile



    1 # Description: Pager that can also be used as a text-based web browser
    2 # URL:         http://w3m.sourceforge.net/
    3 # Maintainer:  Danny Rawlins, crux at romster dot me
    4 # Depends on:  boehm-gc
    5 
    6 name=w3m
    7 version=0.5.3-38
    8 release=1
    9 source=(https://github.com/tats/w3m/archive/debian/$version/$name-$version.tar.gz)
   10 
   11 build() {
   12     cd $name-debian-$version
   13 
   14     patch -p1 -i debian/patches/010_upstream.patch
   15     patch -p1 -i debian/patches/020_debian.patch
   16     rm -r doc/CVS
   17 
   18     ./configure \
   19         --prefix=/usr \
   20         --libexecdir=/usr/lib \
   21         --disable-image \
   22         --disable-gopher \
   23         --disable-japanese \
   24         --disable-m17n \
   25         --disable-messagel10n \
   26         --disable-nls \
   27         --disable-nntp \
   28         --disable-unicode \
   29         --disable-xface \
   30         --enable-alarm \
   31         --enable-ansi-color \
   32         --enable-bgcolor \
   33         --enable-color \
   34         --enable-cookie \
   35         --enable-dict \
   36         --enable-digest-auth \
   37         --enable-external-uri-loader \
   38         --enable-help-cgi \
   39         --enable-history \
   40         --enable-ipv6 \
   41         --enable-keymap=w3m \
   42         --enable-menu \
   43         --enable-mouse \
   44         --enable-sslverify \
   45         --enable-w3mmailer \
   46         --with-gc
   47     make
   48     make DESTDIR=$PKG install 
   49 
   50     rm -r $PKG/usr/share/man/{de,ja}
   51     rm $PKG/usr/share/w3m/w3mhelp-funcdesc.{de,ja}.pl
   52     rm -rf $PKG/usr/share/locale
   53 }