diff options
Diffstat (limited to 'base')
| -rw-r--r-- | base/make/.footprint | 15 | ||||
| -rw-r--r-- | base/make/.md5sum | 1 | ||||
| -rwxr-xr-x | base/make/Pkgfile | 23 |
3 files changed, 39 insertions, 0 deletions
diff --git a/base/make/.footprint b/base/make/.footprint new file mode 100644 index 000000000..7061a0bb2 --- /dev/null +++ b/base/make/.footprint @@ -0,0 +1,15 @@ +drwxr-xr-x root/root usr/ +drwxr-xr-x root/root usr/bin/ +-rwxr-xr-x root/root usr/bin/make +drwxr-xr-x root/root usr/share/ +drwxr-xr-x root/root usr/share/info/ +-rw-r--r-- root/root usr/share/info/make.info-1.gz +-rw-r--r-- root/root usr/share/info/make.info-2.gz +-rw-r--r-- root/root usr/share/info/make.info.gz +drwxr-xr-x root/root usr/share/locale/ +drwxr-xr-x root/root usr/share/locale/fr/ +drwxr-xr-x root/root usr/share/locale/fr/LC_MESSAGES/ +-rw-r--r-- root/root usr/share/locale/fr/LC_MESSAGES/make.mo +drwxr-xr-x root/root usr/share/man/ +drwxr-xr-x root/root usr/share/man/man1/ +-rw-r--r-- root/root usr/share/man/man1/make.1.gz diff --git a/base/make/.md5sum b/base/make/.md5sum new file mode 100644 index 000000000..4e394b1d5 --- /dev/null +++ b/base/make/.md5sum @@ -0,0 +1 @@ +a4e9494ac6dc3f6b0c5ff75c5d52abba make-3.81.tar.gz 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 +} |