summaryrefslogtreecommitdiff
path: root/manualPorts/parallel
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2021-02-25 13:26:03 +0100
committerErich Eckner <git@eckner.net>2021-02-25 13:26:03 +0100
commita6f8db8defc81280762a2566c844ca898103934c (patch)
tree6cba9c3381377bc9870cc549be71bbd63b54c1b6 /manualPorts/parallel
parent7e26b581db8cadeb76daeb3138adb15a34d5e356 (diff)
downloadcrux-ports-a6f8db8defc81280762a2566c844ca898103934c.tar.xz
manualPorts/parallel removet
Diffstat (limited to 'manualPorts/parallel')
-rw-r--r--manualPorts/parallel/.footprint37
-rw-r--r--manualPorts/parallel/.md5sum1
-rw-r--r--manualPorts/parallel/.signature5
-rw-r--r--manualPorts/parallel/Pkgfile21
-rwxr-xr-xmanualPorts/parallel/lastVersion.sh8
5 files changed, 0 insertions, 72 deletions
diff --git a/manualPorts/parallel/.footprint b/manualPorts/parallel/.footprint
deleted file mode 100644
index 0addc5a..0000000
--- a/manualPorts/parallel/.footprint
+++ /dev/null
@@ -1,37 +0,0 @@
-drwxr-xr-x root/root usr/
-drwxr-xr-x root/root usr/bin/
--rwxr-xr-x root/root usr/bin/env_parallel
--rwxr-xr-x root/root usr/bin/env_parallel.ash
--rwxr-xr-x root/root usr/bin/env_parallel.bash
--rwxr-xr-x root/root usr/bin/env_parallel.csh
--rwxr-xr-x root/root usr/bin/env_parallel.dash
--rwxr-xr-x root/root usr/bin/env_parallel.fish
--rwxr-xr-x root/root usr/bin/env_parallel.ksh
--rwxr-xr-x root/root usr/bin/env_parallel.mksh
--rwxr-xr-x root/root usr/bin/env_parallel.pdksh
--rwxr-xr-x root/root usr/bin/env_parallel.sh
--rwxr-xr-x root/root usr/bin/env_parallel.tcsh
--rwxr-xr-x root/root usr/bin/env_parallel.zsh
--rwxr-xr-x root/root usr/bin/niceload
--rwxr-xr-x root/root usr/bin/parallel
--rwxr-xr-x root/root usr/bin/parcat
--rwxr-xr-x root/root usr/bin/parset
--rwxr-xr-x root/root usr/bin/parsort
-lrwxrwxrwx root/root usr/bin/sem -> parallel
--rwxr-xr-x root/root usr/bin/sql
-drwxr-xr-x root/root usr/share/
-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/env_parallel.1.gz
--rw-r--r-- root/root usr/share/man/man1/niceload.1.gz
--rw-r--r-- root/root usr/share/man/man1/parallel.1.gz
--rw-r--r-- root/root usr/share/man/man1/parcat.1.gz
--rw-r--r-- root/root usr/share/man/man1/parset.1.gz
--rw-r--r-- root/root usr/share/man/man1/parsort.1.gz
--rw-r--r-- root/root usr/share/man/man1/sem.1.gz
--rw-r--r-- root/root usr/share/man/man1/sql.1.gz
-drwxr-xr-x root/root usr/share/man/man7/
--rw-r--r-- root/root usr/share/man/man7/parallel_alternatives.7.gz
--rw-r--r-- root/root usr/share/man/man7/parallel_book.7.gz
--rw-r--r-- root/root usr/share/man/man7/parallel_design.7.gz
--rw-r--r-- root/root usr/share/man/man7/parallel_tutorial.7.gz
diff --git a/manualPorts/parallel/.md5sum b/manualPorts/parallel/.md5sum
deleted file mode 100644
index cce320d..0000000
--- a/manualPorts/parallel/.md5sum
+++ /dev/null
@@ -1 +0,0 @@
-fe0ad273d126b018aa4fb223257b53c9 parallel-20210222.tar.bz2
diff --git a/manualPorts/parallel/.signature b/manualPorts/parallel/.signature
deleted file mode 100644
index d878586..0000000
--- a/manualPorts/parallel/.signature
+++ /dev/null
@@ -1,5 +0,0 @@
-untrusted comment: verify with /etc/ports/deepthought.pub
-RWQxCptPusLGGi1ulcQ0p5RcVixKO97VuyyyCT7cEWrn6hB9vjM3J1xnF5QaiFzNgs9FbxQMmv6uuystiGmXcSj6FIMsp6yxuQE=
-SHA256 (Pkgfile) = dc53c3907e8784068687e45f82b0e4ca5018f57698009693ab3f9c539ec907eb
-SHA256 (.footprint) = 23949328a87f5e30127f94173c478683c2fedd0bf5533b4c5b7c7ccab0a7789a
-SHA256 (parallel-20210222.tar.bz2) = 4e69b00aeb62f74ea2fdc6579d31d2b4a4cc0a64fe75cf61926312402f1be72b
diff --git a/manualPorts/parallel/Pkgfile b/manualPorts/parallel/Pkgfile
deleted file mode 100644
index 9aacbc8..0000000
--- a/manualPorts/parallel/Pkgfile
+++ /dev/null
@@ -1,21 +0,0 @@
-# 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=20210222
-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
-}
diff --git a/manualPorts/parallel/lastVersion.sh b/manualPorts/parallel/lastVersion.sh
deleted file mode 100755
index 1a12b59..0000000
--- a/manualPorts/parallel/lastVersion.sh
+++ /dev/null
@@ -1,8 +0,0 @@
-#!/bin/bash
-
-curl "http://ftp.gnu.org/gnu/parallel/" 2> /dev/null | \
- tr "<>" "\n\n" | \
- grep "^parallel-[[:digit:]]\+\.tar\.bz2\$" | \
- sed "s/^parallel-\([[:digit:]]\+\)\.tar\.bz2\$/\1/" | \
- sort -V | \
- tail -n1