From c7d417273546c31206842eba84c7972a9728440a Mon Sep 17 00:00:00 2001 From: piernov Date: Sun, 1 Apr 2012 13:26:19 +0200 Subject: gedit-collaboration 3.4.0-1 ajout port --- gedit-collaboration/Pkgfile | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) create mode 100644 gedit-collaboration/Pkgfile (limited to 'gedit-collaboration/Pkgfile') 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 +# 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 +} + -- cgit v1.2.3-70-g09d2