summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorpiernov <piernov@piernov.org>2011-08-31 01:20:31 +0200
committerpiernov <piernov@piernov.org>2011-08-31 01:20:31 +0200
commitd631d2f48879e560f1e33f0c7382f9fa74ef3532 (patch)
tree7621bbbe8cdc6d31d83e8d463e22502bf48da78d
parentec3c94d00c44f3a83621820add01b2bce9bf72d9 (diff)
downloadgnome3-d631d2f48879e560f1e33f0c7382f9fa74ef3532.tar.gz
gnome3-d631d2f48879e560f1e33f0c7382f9fa74ef3532.tar.bz2
gnome3-d631d2f48879e560f1e33f0c7382f9fa74ef3532.tar.xz
gnome3-d631d2f48879e560f1e33f0c7382f9fa74ef3532.zip
gnome-terminal 3.0.1-2 compilation avec gtk3 + rebuild pour vte 0.29.1
-rw-r--r--gnome-terminal/Pkgfile6
1 files changed, 3 insertions, 3 deletions
diff --git a/gnome-terminal/Pkgfile b/gnome-terminal/Pkgfile
index 81c6819..57a672a 100644
--- a/gnome-terminal/Pkgfile
+++ b/gnome-terminal/Pkgfile
@@ -7,15 +7,15 @@
name=gnome-terminal
version=3.0.1
-release=1
+release=2
source=(http://download.gnome.org/sources/$name/${version%.*}/$name-$version.tar.bz2)
build() {
cd $name-$version
./configure --prefix=/usr \
--sysconfdir=/etc \
- --localstatedir=/var/lib
+ --localstatedir=/var/lib \
+ --with-gtk=3.0
make
make DESTDIR=$PKG install
- rm -rf $PKG/var
}