diff options
author | Michał Masłowski <mtjm@mtjm.eu> | 2012-08-04 10:41:31 +0200 |
---|---|---|
committer | Michał Masłowski <mtjm@mtjm.eu> | 2012-08-04 10:41:31 +0200 |
commit | b796bed39624486a348d1cb2881c5a1e88f84954 (patch) | |
tree | 74f89104c89a9440733cc08bfde1c17efe2bd3db /community/pcmanfm | |
parent | 589a2311981a3552f48d4c9001be0cb5a06563a9 (diff) | |
parent | f8ac5d4703080cc87ba2fe36f68df745d3a5f62f (diff) |
Merge branch 'master' of ssh://parabolagnulinux.org:1863/home/parabola/abslibre-pre-mips64el
Conflicts:
community-testing/kphotoalbum/PKGBUILD
community-testing/libextractor/PKGBUILD
community/mplayer2/PKGBUILD
community/preload/PKGBUILD
community/python2-pymongo/PKGBUILD
extra/virtuoso/PKGBUILD
testing/calligra/PKGBUILD
testing/hugin/PKGBUILD
testing/kdebase-runtime/PKGBUILD
testing/kdegraphics-gwenview/PKGBUILD
testing/kdepim-runtime/PKGBUILD
testing/libkexiv2/PKGBUILD
Diffstat (limited to 'community/pcmanfm')
-rw-r--r-- | community/pcmanfm/PKGBUILD | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/community/pcmanfm/PKGBUILD b/community/pcmanfm/PKGBUILD index 57d3b90d4..417d469ff 100644 --- a/community/pcmanfm/PKGBUILD +++ b/community/pcmanfm/PKGBUILD @@ -1,4 +1,4 @@ -# $Id: PKGBUILD 72347 2012-06-12 17:01:09Z bpiotrowski $ +# $Id: PKGBUILD 74709 2012-08-02 09:11:53Z bpiotrowski $ # Maintainer: Bartłomiej Piotrowski <barthalion@gmail.com> # Contributor: Unknown47 <unknown47r@gmail.com> # Contributor: Angel Velasquez <angvp@archlinux.org> @@ -6,7 +6,7 @@ pkgname=pcmanfm pkgver=0.9.10 -pkgrel=2 +pkgrel=3 pkgdesc="An extremely fast and lightweight file manager" arch=('i686' 'x86_64' 'mips64el') url="http://pcmanfm.sourceforge.net/" @@ -20,6 +20,7 @@ md5sums=('d34a3530a6c5dcd674d23021d71c3e95') build() { cd "$srcdir/$pkgname-$pkgver" + LDFLAGS+=' -lm' ./configure --sysconfdir=/etc --prefix=/usr make @@ -28,4 +29,6 @@ build() { package() { cd "$srcdir/$pkgname-$pkgver" make DESTDIR="$pkgdir" install + + sed -e 's|x-directory/normal|inode/directory|' -i $pkgdir/usr/share/applications/pcmanfm.desktop } |