From cdea2f67ae42d4220e19a555259b69a960925283 Mon Sep 17 00:00:00 2001
From: davidovski <david@davidovski.xyz>
Date: Tue, 5 Oct 2021 16:35:17 +0100
Subject: renamed

---
 xibuilds/dejagnu.xibuild | 23 +++++++++++++++++++++++
 1 file changed, 23 insertions(+)
 create mode 100644 xibuilds/dejagnu.xibuild

(limited to 'xibuilds/dejagnu.xibuild')

diff --git a/xibuilds/dejagnu.xibuild b/xibuilds/dejagnu.xibuild
new file mode 100644
index 0000000..ee09ef3
--- /dev/null
+++ b/xibuilds/dejagnu.xibuild
@@ -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
+}
+
+
-- 
cgit v1.2.1