diff options
Diffstat (limited to 'manualPorts/parallel/Pkgfile')
| -rw-r--r-- | manualPorts/parallel/Pkgfile | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/manualPorts/parallel/Pkgfile b/manualPorts/parallel/Pkgfile new file mode 100644 index 0000000..53e9907 --- /dev/null +++ b/manualPorts/parallel/Pkgfile @@ -0,0 +1,21 @@ +# Description: A shell tool for executing jobs in parallel using one or more computers. +# URL: http://www.gnu.org/software/parallel/ +# Maintainer: Erich Eckner, crux at eckner dot net +# Packager: Danny Rawlins, crux at romster dot me + +name=parallel +version=20180522 +release=1 +source=(http://ftp.gnu.org/gnu/$name/$name-$version.tar.bz2) + +build() { + cd $name-$version + + ./configure \ + --prefix=/usr \ + --mandir=/usr/share/man + + make + make DESTDIR=$PKG install + rm -r $PKG/usr/share/doc +} |