void-packages/srcpkgs/gparted/template

42 lines
1.4 KiB
Plaintext
Raw Normal View History

2010-12-15 01:26:29 +01:00
# Template file for 'gparted'
pkgname=gparted
2013-12-10 09:34:07 +01:00
version=0.17.0
revision=2
build_style=gnu-configure
2013-12-10 09:34:07 +01:00
configure_args="--enable-libparted-dmraid --sbindir=/usr/bin"
hostmakedepends="pkg-config which intltool gnome-doc-utils"
makedepends="libuuid-devel libparted-devel gtkmm2-devel"
2010-12-15 01:26:29 +01:00
short_desc="Gnome Partition Editor"
maintainer="Juan RP <xtraeme@gmail.com>"
2011-07-04 05:55:09 +02:00
homepage="http://gparted.sourceforge.net"
license="GPL-2"
2012-07-14 01:17:53 +02:00
distfiles="${SOURCEFORGE_SITE}/$pkgname/$pkgname-$version.tar.bz2"
2013-12-10 09:34:07 +01:00
checksum=81ab2114569c9692b7dfea62b320b333b832dd595faffdb67b3321606bc6fbc3
2010-12-15 01:26:29 +01:00
long_desc="
GParted is a free partition editor for graphically managing your disk
partitions.
GParted is useful for tasks such as: creating space for new operating
systems, restructuring disk space to separate user and operating system
data, and copying partitions to enable upgrading to a larger hard disk drive.
Your hard disk drive or USB flash drive can be subdivided into one or more
partitions. GParted enables you to reorganize your disk partitions while
preserving the contents of these partitions."
2013-12-10 09:34:07 +01:00
pre_configure() {
sed -i "s:@gksuprog@ @installdir@/gparted %f:@installdir@/gparted-pkexec %f:g" gparted.desktop.in.in
}
2012-12-13 09:18:15 +01:00
2012-01-26 14:21:58 +01:00
post_install() {
2013-12-10 09:34:07 +01:00
vinstall ${FILESDIR}/org.void.pkexec.gparted.policy 644 /usr/share/polkit-1/actions
2012-01-26 14:21:58 +01:00
vinstall ${FILESDIR}/gparted-pkexec 755 usr/bin
}
gparted_package() {
depends="hicolor-icon-theme desktop-file-utils"
pkg_install() {
2013-04-24 22:24:07 +02:00
vmove all
}
}