diff options
Diffstat (limited to 'gedit-plugins/Pkgfile')
| -rw-r--r-- | gedit-plugins/Pkgfile | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/gedit-plugins/Pkgfile b/gedit-plugins/Pkgfile index 0e71db9..611f1c1 100644 --- a/gedit-plugins/Pkgfile +++ b/gedit-plugins/Pkgfile @@ -6,18 +6,18 @@ # Run on: gedit,gtksourceview,gucharmap,vte name=gedit-plugins -version=3.1.4 +version=3.1.5 release=1 source=(http://ftp.gnome.org/pub/GNOME/sources/$name/${version%.*}/$name-$version.tar.xz) build() { - cd $name-$version - ./configure \ - --prefix=/usr \ - --with-plugins=all \ - --disable-schemas-install \ - --sysconfdir=/etc - make - make DESTDIR=$PKG install + cd $name-$version + PYTHON=/usr/bin/python2 ./configure \ + --prefix=/usr \ + --sysconfdir=/etc \ + --with-plugins=all \ + --disable-schemas-compile + make + make DESTDIR=$PKG install } |