summaryrefslogtreecommitdiff
path: root/repo/dejagnu/dejagnu.xibuild
diff options
context:
space:
mode:
authordavidovski <david@davidovski.xyz>2022-05-31 11:05:19 +0100
committerdavidovski <david@davidovski.xyz>2022-05-31 11:05:19 +0100
commit48ca75555522716f0f686dcae3dd6cf3d8ad714d (patch)
tree00c0f58550ba4661e87376f2f02c8001c69bae44 /repo/dejagnu/dejagnu.xibuild
parent871b2b573f01c1b3176a0f65458b3d281b41c437 (diff)
removed idea of repos
Diffstat (limited to 'repo/dejagnu/dejagnu.xibuild')
-rw-r--r--repo/dejagnu/dejagnu.xibuild28
1 files changed, 28 insertions, 0 deletions
diff --git a/repo/dejagnu/dejagnu.xibuild b/repo/dejagnu/dejagnu.xibuild
new file mode 100644
index 0000000..82e443d
--- /dev/null
+++ b/repo/dejagnu/dejagnu.xibuild
@@ -0,0 +1,28 @@
+#!/bin/sh
+
+MAKEDEPS="make "
+DEPS="sh expect"
+
+PKG_VER=1.6.3
+SOURCE=https://ftp.gnu.org/gnu/dejagnu/dejagnu-$PKG_VER.tar.gz
+DESC="a framework for running test suites on GNU tools"
+
+build () {
+ mkdir 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
+}
+
+package () {
+ make DESTDIR=$PKG_DEST install
+
+ install -dm755 $PKG_DEST/usr/share/doc/dejagnu-$PKG_VER
+ install -m644 doc/dejagnu.txt $PKG_DEST/usr/share/doc/dejagnu-$PKG_VER
+ install -m644 doc/dejagnu.html $PKG_DEST/usr/share/doc/dejagnu-$PKG_VER
+}
+
+