summaryrefslogtreecommitdiff
path: root/manualPorts
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2019-03-25 11:40:36 +0100
committerErich Eckner <git@eckner.net>2019-03-25 11:40:36 +0100
commitc6da0d19016e474e7168e423c3ebe55d6db583bf (patch)
tree2b9ac68314cefac68e2e728b79861ddf98b125ca /manualPorts
parentd90dc1f6e88b88902896e270725aef7829587723 (diff)
downloadcrux-ports-c6da0d19016e474e7168e423c3ebe55d6db583bf.tar.xz
topal new
Diffstat (limited to 'manualPorts')
-rw-r--r--manualPorts/topal/.footprint9
-rw-r--r--manualPorts/topal/.md5sum2
-rw-r--r--manualPorts/topal/.signature6
-rw-r--r--manualPorts/topal/Pkgfile30
4 files changed, 47 insertions, 0 deletions
diff --git a/manualPorts/topal/.footprint b/manualPorts/topal/.footprint
new file mode 100644
index 0000000..1d3e630
--- /dev/null
+++ b/manualPorts/topal/.footprint
@@ -0,0 +1,9 @@
+drwxr-xr-x root/root usr/
+drwxr-xr-x root/root usr/bin/
+-rwxr-xr-x root/root usr/bin/mime-tool
+-rwxr-xr-x root/root usr/bin/topal
+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/mime-tool.1.gz
+-rw-r--r-- root/root usr/share/man/man1/topal.1.gz
diff --git a/manualPorts/topal/.md5sum b/manualPorts/topal/.md5sum
new file mode 100644
index 0000000..da62fc9
--- /dev/null
+++ b/manualPorts/topal/.md5sum
@@ -0,0 +1,2 @@
+07800cb8e7d9a19bf8059519eb665b9b topal-package-80.tgz
+9737bc3e345389d0152dfa9214015500 topal-package-80.tgz.asc
diff --git a/manualPorts/topal/.signature b/manualPorts/topal/.signature
new file mode 100644
index 0000000..eff6b87
--- /dev/null
+++ b/manualPorts/topal/.signature
@@ -0,0 +1,6 @@
+untrusted comment: verify with /etc/ports/deepthought.pub
+RWQxCptPusLGGpqWY/s+S3LmoA1i1azhQGz3C6wXffh6JgWMDKf81teJ1u2To/ZHyCEXikMSXvEDZAt4YZaCvQ+1lVLTu1uc7gs=
+SHA256 (Pkgfile) = 970e44cf07eca85b3c65aa2221610475aada11680418abfed7329065d8cc95b1
+SHA256 (.footprint) = cf84cc86617150dbc7302db00a4ac71cb1aad46b3dac5f7d2e5743e1354bd50a
+SHA256 (topal-package-80.tgz) = 883f299f00ba8e26d0384cad80e948270b94faed399dcdfffb800016533b5be1
+SHA256 (topal-package-80.tgz.asc) = 8d14600e32a438f3c3a78e24b23269f46f4be86af19b842736ae64a58ec057ce
diff --git a/manualPorts/topal/Pkgfile b/manualPorts/topal/Pkgfile
new file mode 100644
index 0000000..73759be
--- /dev/null
+++ b/manualPorts/topal/Pkgfile
@@ -0,0 +1,30 @@
+# Description: Topal is a glue program that links GnuPG and Alpine
+# URL: https://zircon.org.uk/topal
+# Maintainer: Erich Eckner, crux at eckner dot net
+# Depends on: gcc-ada
+
+name=topal
+version=80
+release=1
+source=("https://zircon.org.uk/topal/rel-${version}/topal-package-${version}.tgz"{,.asc})
+
+build() {
+ cd "$SRC/${name}-${version}"
+
+# Remove PDF build stuff
+ sed -i 's/binary topal.pdf/binary/' Makefile
+
+# Build Topal and MIME-tool
+ make distclean
+ make -j1
+
+# Install Topal binary, manual page and documentation
+ install -D -m755 "${name}" "${PKG}/usr/bin/${name}"
+ install -D -m644 "${name}.man" "${PKG}/usr/share/man/man1/${name}.1"
+# Replaced by some PDF stuff which we will not build
+ #install -D -m644 README.txt "${PKG}/usr/share/doc/${PKG}/README"
+
+# Install Topal's version of MIME-tool and manual page
+ install -D -m755 MIME-tool/mime-tool "${PKG}/usr/bin/mime-tool"
+ install -D -m644 MIME-tool/mime-tool.man "${PKG}/usr/share/man/man1/mime-tool.1"
+}