diff options
| author | piernov <piernov@piernov.org> | 2011-08-31 01:20:31 +0200 |
|---|---|---|
| committer | piernov <piernov@piernov.org> | 2011-08-31 01:20:31 +0200 |
| commit | d631d2f48879e560f1e33f0c7382f9fa74ef3532 (patch) | |
| tree | 7621bbbe8cdc6d31d83e8d463e22502bf48da78d /gnome-terminal | |
| parent | ec3c94d00c44f3a83621820add01b2bce9bf72d9 (diff) | |
| download | gnome3-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
Diffstat (limited to 'gnome-terminal')
| -rw-r--r-- | gnome-terminal/Pkgfile | 6 |
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 } |