diff options
| author | piernov <piernov@piernov.org> | 2012-04-01 13:26:19 +0200 |
|---|---|---|
| committer | piernov <piernov@piernov.org> | 2012-04-01 13:26:19 +0200 |
| commit | c7d417273546c31206842eba84c7972a9728440a (patch) | |
| tree | 5cf939559d74b064a1142cf96f9871cbde30d732 /gedit-collaboration/Pkgfile | |
| parent | e215be1fe9b530ce95a0dc8f06329d403b5aacbc (diff) | |
| download | gnome3-c7d417273546c31206842eba84c7972a9728440a.tar.gz gnome3-c7d417273546c31206842eba84c7972a9728440a.tar.bz2 gnome3-c7d417273546c31206842eba84c7972a9728440a.tar.xz gnome3-c7d417273546c31206842eba84c7972a9728440a.zip | |
gedit-collaboration 3.4.0-1 ajout port
Diffstat (limited to 'gedit-collaboration/Pkgfile')
| -rw-r--r-- | gedit-collaboration/Pkgfile | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/gedit-collaboration/Pkgfile b/gedit-collaboration/Pkgfile new file mode 100644 index 0000000..433cd08 --- /dev/null +++ b/gedit-collaboration/Pkgfile @@ -0,0 +1,20 @@ +# Description: Plugin d'édition collaborative pour Gedit. +# URL: http://live.gnome.org/GeditPlugins +# Maintainer: NuTyX GNOME team +# Packager: piernov <piernov@piernov.org> +# Depends on: gedit, libinfinity +# Run on: gedit,libinfinity + +name=gedit-collaboration +version=3.4.0 +release=1 +source=(http://ftp.gnome.org/pub/GNOME/sources/$name/${version%.*}/$name-$version.tar.xz) + +build() { + cd $name-$version + ./configure --prefix=/usr \ + --disable-schemas-compile + make + make DESTDIR=$PKG install +} + |