diff options
Diffstat (limited to 'base/make/Pkgfile')
-rwxr-xr-x | base/make/Pkgfile | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/base/make/Pkgfile b/base/make/Pkgfile new file mode 100755 index 000000000..651957cee --- /dev/null +++ b/base/make/Pkgfile @@ -0,0 +1,23 @@ +# 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: less + +name=make +version=3.81 +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 +} |