From 296b718338bd559ea18830932624e48d85ba7c62 Mon Sep 17 00:00:00 2001 From: Francois Berenger Date: Fri, 16 Apr 2021 16:29:17 +0900 Subject: [PATCH 1/2] new file: packages/pardi/pardi.3.2.1/opam easier to install, because less deps --- packages/pardi/pardi.3.2.1/opam | 51 +++++++++++++++++++++++++++++++++ 1 file changed, 51 insertions(+) create mode 100644 packages/pardi/pardi.3.2.1/opam diff --git a/packages/pardi/pardi.3.2.1/opam b/packages/pardi/pardi.3.2.1/opam new file mode 100644 index 00000000000..562fdf0e9a1 --- /dev/null +++ b/packages/pardi/pardi.3.2.1/opam @@ -0,0 +1,51 @@ +opam-version: "2.0" +authors: "Francois Berenger" +maintainer: "unixjunkie@sdf.org" +homepage: "https://github.com/UnixJunkie/pardi" +bug-reports: "https://github.com/UnixJunkie/pardi/issues" +dev-repo: "git+https://github.com/UnixJunkie/pardi.git" +license: "GPL-1.0-or-later" +build: ["dune" "build" "-p" name "-j" jobs] +depends: [ + "dune" {>= "1.11"} + "batteries" + "dolog" {>= "4.0.0"} + "parany" {>= "11.0.0"} + "minicli" {>= "5.0.0"} + "ocaml" {>= "4.05.0"} +## only the dev. version needs those +# "lz4" +# "cryptokit" +# "zmq" {>= "5.0.0"} +] +synopsis: "Parallel execution of command lines, pardi!" +description: """ +Almost like GNU parallel; just better. + +Pardi pushes further the point at which you have to use a supercomputer. +Alternatively, it can be used on a supercomputer to make life in there +much more fun and productive. + +Put back the fun into computing: use pardi! + +usage: +pardi ... + {-i|--input} : where to read from + {-o|--output} : where to write to (default=stdout) + [-s|--shell]: only shell commands in input file + [{-n|--nprocs} ]: max jobs in parallel (default=all cores) + [{-c|--chunks} ]: how many chunks per job (default=1) + [{-d|--demux} {l|b:|r:|s:}]: how to cut input + file into chunks (line/bytes/regexp/sep_line; default=line) + {-w|--work} : command to execute on each chunk + %IN and %OUT are special tokens + [{-m|--mux} {c|n}]: how to mux job results in output file + (cat/null; default=cat) + [{-ie|--input-ext} ]: append file extension to work input files + [{-oe|--output-ext} ]: append file extension to work output files + [{-p|--preserve}]: mux results while preserving input order +""" +url { + src: "https://github.com/UnixJunkie/pardi/archive/v3.2.1.tar.gz" + checksum: "md5=0c27e4243a6f1eed50e5c8cf55be9437" +} From 3248c1ce3202f3a97e725686e0a1aa2c923b5afd Mon Sep 17 00:00:00 2001 From: Francois Berenger Date: Fri, 16 Apr 2021 16:48:06 +0900 Subject: [PATCH 2/2] mv packages/pardi/pardi.3.2.1/opam packages/pardi/pardi.3.2.2/opam --- packages/pardi/{pardi.3.2.1 => pardi.3.2.2}/opam | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) rename packages/pardi/{pardi.3.2.1 => pardi.3.2.2}/opam (93%) diff --git a/packages/pardi/pardi.3.2.1/opam b/packages/pardi/pardi.3.2.2/opam similarity index 93% rename from packages/pardi/pardi.3.2.1/opam rename to packages/pardi/pardi.3.2.2/opam index 562fdf0e9a1..6f5ab93c7aa 100644 --- a/packages/pardi/pardi.3.2.1/opam +++ b/packages/pardi/pardi.3.2.2/opam @@ -46,6 +46,6 @@ pardi ... [{-p|--preserve}]: mux results while preserving input order """ url { - src: "https://github.com/UnixJunkie/pardi/archive/v3.2.1.tar.gz" - checksum: "md5=0c27e4243a6f1eed50e5c8cf55be9437" + src: "https://github.com/UnixJunkie/pardi/archive/v3.2.2.tar.gz" + checksum: "md5=0fc687f48a2a34973d414994618dea19" }