summaryrefslogtreecommitdiff
path: root/manualPorts/gensort
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2018-05-27 10:13:52 +0200
committerErich Eckner <git@eckner.net>2018-05-27 10:13:52 +0200
commit14a8f5d3c7889f2046a008b1b1dc29f485ebb359 (patch)
tree644ebb60f7155dd5c139d233857684fbcd8546e6 /manualPorts/gensort
downloadcrux-ports-14a8f5d3c7889f2046a008b1b1dc29f485ebb359.tar.xz
initial commit
Diffstat (limited to 'manualPorts/gensort')
-rw-r--r--manualPorts/gensort/.footprint3
-rw-r--r--manualPorts/gensort/.md5sum1
-rw-r--r--manualPorts/gensort/.signature5
-rw-r--r--manualPorts/gensort/Pkgfile16
-rwxr-xr-xmanualPorts/gensort/lastVersion.sh8
5 files changed, 33 insertions, 0 deletions
diff --git a/manualPorts/gensort/.footprint b/manualPorts/gensort/.footprint
new file mode 100644
index 0000000..4ee1608
--- /dev/null
+++ b/manualPorts/gensort/.footprint
@@ -0,0 +1,3 @@
+drwxr-xr-x root/root usr/
+drwxr-xr-x root/root usr/bin/
+-rwxr-xr-x root/root usr/bin/gensort
diff --git a/manualPorts/gensort/.md5sum b/manualPorts/gensort/.md5sum
new file mode 100644
index 0000000..9167d42
--- /dev/null
+++ b/manualPorts/gensort/.md5sum
@@ -0,0 +1 @@
+dd536cb96afbcfc17891515c67671cd6 gensort-1.5.tar.gz
diff --git a/manualPorts/gensort/.signature b/manualPorts/gensort/.signature
new file mode 100644
index 0000000..5d1843b
--- /dev/null
+++ b/manualPorts/gensort/.signature
@@ -0,0 +1,5 @@
+untrusted comment: verify with /etc/ports/deepthought.pub
+RWQxCptPusLGGmApsrTsMRCPvqm+9R1u0lTJ8zMouF7PmHquOCw2kj0gGIv31HQmTfUil7gkARf/TW3VSkuacHSFHiNsgKNK1gQ=
+SHA256 (Pkgfile) = 8ffc8c9f5956671347e93832d45180eafe3340b880c366124433536900c12644
+SHA256 (.footprint) = 6fea4733d89d42d3ef56609c714b4a33d05a6554d860d464ff41cabc22666c1e
+SHA256 (gensort-1.5.tar.gz) = 7f7573783d8298cef3dd4aa1db8225c914de1a0cfed283965ea20b69838a67ad
diff --git a/manualPorts/gensort/Pkgfile b/manualPorts/gensort/Pkgfile
new file mode 100644
index 0000000..de74748
--- /dev/null
+++ b/manualPorts/gensort/Pkgfile
@@ -0,0 +1,16 @@
+# Description: Generate input records for the sort benchmarks presented on www.sortbenchmark.org
+# URL: http://www.ordinal.com/gensort.html
+# Maintainer: Erich Eckner, crux at eckner dot net
+# Depends on: zlib
+
+name=gensort
+version=1.5
+release=1
+source=(http://www.ordinal.com/try.cgi/$name-$version.tar.gz)
+
+build() {
+ cd $name-$version
+ make
+ test -x $name
+ install -D -m755 -t $PKG/usr/bin/ $name
+}
diff --git a/manualPorts/gensort/lastVersion.sh b/manualPorts/gensort/lastVersion.sh
new file mode 100755
index 0000000..540ef1a
--- /dev/null
+++ b/manualPorts/gensort/lastVersion.sh
@@ -0,0 +1,8 @@
+#!/bin/bash
+
+curl 'http://www.ordinal.com/gensort.html' 2> /dev/null | \
+ tr '"/' '\n' | \
+ grep '^gensort-[0-9.]\+\.tar\.gz$' | \
+ sed 's|^gensort-\([0-9.]\+\)\.tar\.gz$|\1|' | \
+ sort -V | \
+ tail -n1