2017-02-11 02:44:28 +01:00
|
|
|
# Description: Gnome Partition Editor.
|
|
|
|
|
# URL: http://gparted.sourceforge.net/
|
|
|
|
|
# Maintainer: Danny Rawlins, crux at romster dot me
|
2017-11-01 13:35:12 +01:00
|
|
|
# Depends on: gtkmm parted
|
2017-02-11 02:44:28 +01:00
|
|
|
|
|
|
|
|
name=gparted
|
2017-10-13 11:41:24 +02:00
|
|
|
version=0.30.0
|
2017-02-11 02:44:28 +01:00
|
|
|
release=1
|
|
|
|
|
source=(https://downloads.sourceforge.net/project/$name/$name/$name-$version/$name-$version.tar.gz)
|
|
|
|
|
|
|
|
|
|
build() {
|
|
|
|
|
cd $name-$version
|
|
|
|
|
|
|
|
|
|
./configure \
|
|
|
|
|
--prefix=/usr \
|
|
|
|
|
--disable-nls \
|
|
|
|
|
--disable-dependency-tracking \
|
|
|
|
|
--disable-doc
|
|
|
|
|
|
|
|
|
|
make
|
|
|
|
|
make DESTDIR=$PKG install
|
|
|
|
|
}
|
