diff options
Diffstat (limited to 'extra/partitionmanager/Pkgfile')
| -rw-r--r-- | extra/partitionmanager/Pkgfile | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/extra/partitionmanager/Pkgfile b/extra/partitionmanager/Pkgfile deleted file mode 100644 index 91f02ce10..000000000 --- a/extra/partitionmanager/Pkgfile +++ /dev/null @@ -1,20 +0,0 @@ -# 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 -} |