summaryrefslogtreecommitdiff
path: root/manualPorts/gengetopt
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/gengetopt
downloadcrux-ports-14a8f5d3c7889f2046a008b1b1dc29f485ebb359.tar.xz
initial commit
Diffstat (limited to 'manualPorts/gengetopt')
-rw-r--r--manualPorts/gengetopt/.footprint11
-rw-r--r--manualPorts/gengetopt/.md5sum1
-rw-r--r--manualPorts/gengetopt/.signature5
-rw-r--r--manualPorts/gengetopt/Pkgfile17
-rwxr-xr-xmanualPorts/gengetopt/lastVersion.sh8
5 files changed, 42 insertions, 0 deletions
diff --git a/manualPorts/gengetopt/.footprint b/manualPorts/gengetopt/.footprint
new file mode 100644
index 0000000..cfadace
--- /dev/null
+++ b/manualPorts/gengetopt/.footprint
@@ -0,0 +1,11 @@
+drwxr-xr-x root/root usr/
+drwxr-xr-x root/root usr/bin/
+-rwxr-xr-x root/root usr/bin/gengetopt
+drwxr-xr-x root/root usr/share/
+drwxr-xr-x root/root usr/share/gengetopt/
+-rw-r--r-- root/root usr/share/gengetopt/getopt.c
+-rw-r--r-- root/root usr/share/gengetopt/getopt1.c
+-rw-r--r-- root/root usr/share/gengetopt/gnugetopt.h
+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/gengetopt.1.gz
diff --git a/manualPorts/gengetopt/.md5sum b/manualPorts/gengetopt/.md5sum
new file mode 100644
index 0000000..40e531d
--- /dev/null
+++ b/manualPorts/gengetopt/.md5sum
@@ -0,0 +1 @@
+29749a48dda69277ab969c510597a14e gengetopt-2.22.6.tar.gz
diff --git a/manualPorts/gengetopt/.signature b/manualPorts/gengetopt/.signature
new file mode 100644
index 0000000..eab9dc2
--- /dev/null
+++ b/manualPorts/gengetopt/.signature
@@ -0,0 +1,5 @@
+untrusted comment: verify with /etc/ports/deepthought.pub
+RWQxCptPusLGGncbzPII0z8wLmDUJKdO9KpC/nz4rouB33PIfQly3x7Iu1FPBuugf0jwPnRqLOviPMujJjunFgliG1mBYnJx2Q0=
+SHA256 (Pkgfile) = a5d5eca395da8025ed6ce69da7ec4ee2bb9c101b78609aa8ce3b0ceb590aa20d
+SHA256 (.footprint) = 695ca0bab5548ffd09c005d4cab8f7ffc3a77b384cce02fd9606a16b974f5487
+SHA256 (gengetopt-2.22.6.tar.gz) = 30b05a88604d71ef2a42a2ef26cd26df242b41f5b011ad03083143a31d9b01f7
diff --git a/manualPorts/gengetopt/Pkgfile b/manualPorts/gengetopt/Pkgfile
new file mode 100644
index 0000000..c22d7a2
--- /dev/null
+++ b/manualPorts/gengetopt/Pkgfile
@@ -0,0 +1,17 @@
+# Description: tool to write command line option parsing code for C programs
+# URL: https://www.gnu.org/software/gengetopt/
+# Maintainer: Erich Eckner, crux at eckner dot net
+# Contributor: #teatime (irc.kyber.io), teatime at kyber dot io
+
+name=gengetopt
+version=2.22.6
+release=1
+source=(ftp://ftp.gnu.org/gnu/$name/$name-$version.tar.gz)
+
+build() {
+ cd $name-$version
+ ./configure --prefix=/usr
+ MAKEFLAGS=-j1 make
+ make DESTDIR=$PKG install
+ rm -r $PKG/usr/share/{doc,info}
+}
diff --git a/manualPorts/gengetopt/lastVersion.sh b/manualPorts/gengetopt/lastVersion.sh
new file mode 100755
index 0000000..36f551b
--- /dev/null
+++ b/manualPorts/gengetopt/lastVersion.sh
@@ -0,0 +1,8 @@
+#!/bin/bash
+
+curl 'ftp://ftp.gnu.org/gnu/gengetopt/' 2> /dev/null | \
+ awk '{print $9}' | \
+ grep '^gengetopt-[0-9.]\+\.tar\.gz$' | \
+ sed 's|^gengetopt-\([0-9.]\+\)\.tar\.gz$|\1|' | \
+ sort -V | \
+ tail -n1