diff options
| author | piernov <piernov@piernov.org> | 2011-09-26 21:38:01 +0200 |
|---|---|---|
| committer | piernov <piernov@piernov.org> | 2011-09-26 21:38:01 +0200 |
| commit | be95f9fc3bdb7bed1d8323eb7cc893041f4d84f2 (patch) | |
| tree | 231bad044b435248166ffae59b06883aae7c13da /gnome-terminal/Pkgfile | |
| parent | 629b646815732da2974aca3007c1494e024522fc (diff) | |
| download | gnome3-be95f9fc3bdb7bed1d8323eb7cc893041f4d84f2.tar.gz gnome3-be95f9fc3bdb7bed1d8323eb7cc893041f4d84f2.tar.bz2 gnome3-be95f9fc3bdb7bed1d8323eb7cc893041f4d84f2.tar.xz gnome3-be95f9fc3bdb7bed1d8323eb7cc893041f4d84f2.zip | |
gnome-terminal 3.2.0-1 màj port
Diffstat (limited to 'gnome-terminal/Pkgfile')
| -rw-r--r-- | gnome-terminal/Pkgfile | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/gnome-terminal/Pkgfile b/gnome-terminal/Pkgfile index 6913c15..984efbb 100644 --- a/gnome-terminal/Pkgfile +++ b/gnome-terminal/Pkgfile @@ -6,16 +6,15 @@ # Run on: libgnomeui,vte2,startup-notification, gsettings-desktop-schemas name=gnome-terminal -version=3.0.1 -release=2 -source=(http://download.gnome.org/sources/$name/${version%.*}/$name-$version.tar.bz2) +version=3.2.0 +release=1 +source=(http://download.gnome.org/sources/$name/${version%.*}/$name-$version.tar.xz) build() { cd $name-$version ./configure --prefix=/usr \ --sysconfdir=/etc \ - --localstatedir=/var/lib \ - --with-gtk=3.0 + --localstatedir=/var/lib make make DESTDIR=$PKG install } |