From e75c64ffd16a7418c3628afc0f4cfe46d53be487 Mon Sep 17 00:00:00 2001 From: Juan RP Date: Wed, 31 Jul 2013 07:30:53 +0200 Subject: [PATCH] gdm: update to 3.8.4. --- srcpkgs/gdm/template | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/srcpkgs/gdm/template b/srcpkgs/gdm/template index 7436be33bce..26b88c508f4 100644 --- a/srcpkgs/gdm/template +++ b/srcpkgs/gdm/template @@ -1,6 +1,6 @@ # Template file for 'gdm' pkgname=gdm -version=3.8.3.1 +version=3.8.4 revision=1 build_style=gnu-configure configure_args="--disable-schemas-compile --disable-static @@ -17,7 +17,7 @@ maintainer="Juan RP " homepage="http://www.gnome.org" license="GPL-2" distfiles="${GNOME_SITE}/$pkgname/3.8/$pkgname-$version.tar.xz" -checksum=a8c8a32803e32c5d087c75c6be8160cfe4d15843953f07b599d653bac471320e +checksum=db40fb66bf476721b6d333abe0bfed7feacdca7d492f971c86a3f1e5cccdb447 long_desc=" GDM is the GNOME Display Manager, it is the little proggie that runs in the background, runs your X sessions, presents you with a login box @@ -47,7 +47,7 @@ post_install() { libgdm_package() { short_desc+=" - runtime libraries" pkg_install() { - vmove "usr/lib/*.so*" + vmove "usr/lib/*.so.*" } } @@ -58,6 +58,7 @@ gdm-devel_package() { vmove usr/include vmove usr/lib/pkgconfig vmove usr/share/gir-1.0 + vmove "usr/lib/*.so" } }