diff options
author | Danny Rawlins <monster.romster@gmail.com> | 2015-03-07 18:51:20 +1100 |
---|---|---|
committer | Danny Rawlins <monster.romster@gmail.com> | 2015-03-07 18:51:20 +1100 |
commit | d963513c2523b434228dea0919083e0a2b08754a (patch) | |
tree | da8ba45940f1517fd32c23579974c1131905ff1f /gtksourceview/Pkgfile | |
parent | be286769078df3eb4091136a314e61eab261ac7e (diff) | |
download | opt-d963513c2523b434228dea0919083e0a2b08754a.tar.gz opt-d963513c2523b434228dea0919083e0a2b08754a.tar.xz |
gtksourceview: contrib -> opt
Diffstat (limited to 'gtksourceview/Pkgfile')
-rw-r--r-- | gtksourceview/Pkgfile | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/gtksourceview/Pkgfile b/gtksourceview/Pkgfile new file mode 100644 index 000000000..0d69ddbce --- /dev/null +++ b/gtksourceview/Pkgfile @@ -0,0 +1,31 @@ +# Description: A text widget adding syntax highlighting. +# URL: http://www.gnome.org/ +# Maintainer: Danny Rawlins, crux at romster dot me +# Packager: Danny Rawlins, crux at romster dot me +# Depends on: gtk3 +# Optional: glade vala + +name=gtksourceview +version=3.14.3 +release=2 +source=(http://ftp.gnome.org/pub/gnome/sources/$name/${version:0:4}/$name-$version.tar.xz) + +build() { + cd $name-$version + + if [ -n "$(pkginfo -i | grep '^glade ')" ]; then + local glade=--enable-glade-catalog + fi + + ./configure \ + --prefix=/usr \ + --mandir=/usr/man \ + --disable-nls \ + --disable-dependency-tracking \ + "$glade" + + make + make DESTDIR=$PKG install + + rm -r $PKG/usr/share/gtk-doc +} |