diff options
| author | piernov <piernov@piernov.org> | 2011-09-20 23:04:52 +0200 |
|---|---|---|
| committer | piernov <piernov@piernov.org> | 2011-09-20 23:04:52 +0200 |
| commit | 178303e97528da95c636e90f121dc734a065a03f (patch) | |
| tree | d4a6661f9a625798ed3e825eca06004cac4ea0c5 /gedit-plugins/Pkgfile | |
| parent | f3a0d289481b810d1a891a98eb2bbf01188879cd (diff) | |
| download | gnome3-178303e97528da95c636e90f121dc734a065a03f.tar.gz gnome3-178303e97528da95c636e90f121dc734a065a03f.tar.bz2 gnome3-178303e97528da95c636e90f121dc734a065a03f.tar.xz gnome3-178303e97528da95c636e90f121dc734a065a03f.zip | |
gedit-plugins 3.1.5-1 màj port
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 } |