summaryrefslogtreecommitdiff
path: root/psibuilds/dejagnu.psibuild
diff options
context:
space:
mode:
authordavidovski <david@davidovski.xyz>2021-10-02 23:21:53 +0100
committerdavidovski <david@davidovski.xyz>2021-10-02 23:21:53 +0100
commit16e799786f34721e646e14a2b7e7ab3816137f1a (patch)
tree82c05b6b1d5fc9d33cd864b27bfb1e3af3f01536 /psibuilds/dejagnu.psibuild
parentc4e0c314e6eac6964328c9c3daeaa232ea06e965 (diff)
added packages
Diffstat (limited to 'psibuilds/dejagnu.psibuild')
-rw-r--r--psibuilds/dejagnu.psibuild23
1 files changed, 23 insertions, 0 deletions
diff --git a/psibuilds/dejagnu.psibuild b/psibuilds/dejagnu.psibuild
new file mode 100644
index 0000000..ee09ef3
--- /dev/null
+++ b/psibuilds/dejagnu.psibuild
@@ -0,0 +1,23 @@
+#!/bin/bash
+
+DEPS=(sh expect)
+
+SOURCE=git://git.sv.gnu.org/dejagnu.git
+
+
+build () {
+ mkdir -v build
+ cd build
+
+ ../configure --prefix=/usr
+
+ makeinfo --html --no-split -o doc/dejagnu.html ../doc/dejagnu.texi
+ makeinfo --plaintext -o doc/dejagnu.txt ../doc/dejagnu.texi
+
+ make DESTDIR=$PKG_DEST install
+
+ install -v -dm755 $PKG_DEST/usr/share/doc/dejagnu-1.6.3
+ install -v -m644 doc/dejagnu.{html,txt} $PKG_DEST/usr/share/doc/dejagnu-1.6.3
+}
+
+