summaryrefslogtreecommitdiff
path: root/manualPorts/gensort/Pkgfile
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/Pkgfile
downloadcrux-ports-14a8f5d3c7889f2046a008b1b1dc29f485ebb359.tar.xz
initial commit
Diffstat (limited to 'manualPorts/gensort/Pkgfile')
-rw-r--r--manualPorts/gensort/Pkgfile16
1 files changed, 16 insertions, 0 deletions
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
+}