diff options
Diffstat (limited to 'extra/partitionmanager/Pkgfile')
| -rw-r--r-- | extra/partitionmanager/Pkgfile | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/extra/partitionmanager/Pkgfile b/extra/partitionmanager/Pkgfile new file mode 100644 index 000000000..91f02ce10 --- /dev/null +++ b/extra/partitionmanager/Pkgfile @@ -0,0 +1,20 @@ +# Description: Gestionnaire de partitions pour KDE +# URL: http://kde-apps.org/content/show.php/KDE+Partition+Manager?content=89595 +# Maintainer: NuTyX core team +# Packager: thierryn1 at hispeed dot ch +# Depends on: kde-runtime, parted +# Run on: kde-runtime,parted + +name=partitionmanager +version=1.0.2 +release=1 +_name=partitionman +source=(http://downloads.sourceforge.net/sourceforge/${_name}/$name-$version.tar.bz2) +build() { + cd ${name}* + mkdir build + cd build + cmake ../ -DCMAKE_INSTALL_PREFIX=/usr + make -j2 + make DESTDIR=$PKG install +} |