diff options
Diffstat (limited to 'base/make/Pkgfile')
-rwxr-xr-x | base/make/Pkgfile | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/base/make/Pkgfile b/base/make/Pkgfile deleted file mode 100755 index 3c2238b8f..000000000 --- a/base/make/Pkgfile +++ /dev/null @@ -1,22 +0,0 @@ -# Description: programme qui facilite et optimise la compilation de fichiers sources -# URL: http://www.gnu.org/software/make/ -# Maintainer: NuTyX core team -# Packager: thierryn1 at hispeed dot ch -# Depends on: - -name=make -version=3.82 -release=1 -source=( http://ftp.gnu.org/gnu/$name/$name-$version.tar.gz) - -build() { -cd $name-$version -./configure --prefix=/usr \ - --mandir=/usr/share/man \ - --infodir=/usr/share/info -make -make DESTDIR=$PKG install -if [ -f $PKG/usr/share/info/dir ]; then - rm $PKG/usr/share/info/dir -fi -} |