summaryrefslogtreecommitdiff
path: root/manualPorts/topal/Pkgfile
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/topal/Pkgfile
parentd90dc1f6e88b88902896e270725aef7829587723 (diff)
downloadcrux-ports-c6da0d19016e474e7168e423c3ebe55d6db583bf.tar.xz
topal new
Diffstat (limited to 'manualPorts/topal/Pkgfile')
-rw-r--r--manualPorts/topal/Pkgfile30
1 files changed, 30 insertions, 0 deletions
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"
+}