blob: 352a3252dd3b4b92fd3214aabc906ecba6a42a37 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
|
# $Id: PKGBUILD 18217 2010-06-01 12:55:06Z spupykin $
# Maintainer: Sergej Pupykin <pupykin.s+arch@gmail.com>
# Maintainer: tobias <tobias@archlinux.org>
# Contributor: Tobias Kieslich <tobias@justdreams.de>
pkgname=gphpedit
pkgver=0.9.98RC1
pkgrel=1
pkgdesc="a scintilla/gnome based editor specialized on php-files"
arch=(i686 x86_64)
license=('GPL')
depends=('libgnomeui>=2.18.1-2' 'libgtkhtml>=2.11.0' 'desktop-file-utils' 'libwebkit')
url="http://www.gphpedit.org/"
options=('!makeflags')
install=gphpedit.install
source=(http://www.gphpedit.org/sites/default/files/gphpedit-$pkgver.tar.gz
doc-fix.patch)
md5sums=('cc3c5f50704fa0ed3ef3d4ac983db525'
'db5e427642af2971accbcd90812ae88c')
build() {
cd ${srcdir}/*$pkgname*
# patch -Np1 -i ${srcdir}/doc-fix.patch || return 1
./autogen.sh
./configure --prefix=/usr --sysconfdir=/etc --localstatedir=/var
make || return 1
make DESTDIR=$pkgdir install || return 1
# extend MimeType declaration
echo "MimeType=application/x-php;text-x-php-text/x-php-source;" >> \
$pkgdir/usr/share/applications/gphpedit.desktop
}
|
