summaryrefslogtreecommitdiff
path: root/repo/devel/dejagnu/dejagnu.xibuild
diff options
context:
space:
mode:
authordavidovski <david@davidovski.xyz>2022-05-04 23:52:30 +0100
committerdavidovski <david@davidovski.xyz>2022-05-04 23:52:30 +0100
commit739c65c54cb0e957df5e9b76f93fb02554e5cac3 (patch)
tree09ddfa0a342f3ea9de136cb50abdd79821bf1b53 /repo/devel/dejagnu/dejagnu.xibuild
parent4c585ad54388285500fd18a6aaa516894e0f2c16 (diff)
moved everything to new file formatting
Diffstat (limited to 'repo/devel/dejagnu/dejagnu.xibuild')
-rw-r--r--repo/devel/dejagnu/dejagnu.xibuild28
1 files changed, 28 insertions, 0 deletions
diff --git a/repo/devel/dejagnu/dejagnu.xibuild b/repo/devel/dejagnu/dejagnu.xibuild
new file mode 100644
index 0000000..82e443d
--- /dev/null
+++ b/repo/devel/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
+}
+
+