diff options
author | davidovski <david@davidovski.xyz> | 2021-10-06 17:18:43 +0100 |
---|---|---|
committer | davidovski <david@davidovski.xyz> | 2021-10-06 17:18:43 +0100 |
commit | c25b6890891c7ef34e129c8c54efdf2993234aa0 (patch) | |
tree | efce372f0cfbcdb2e4285ef65191cbbf1e3146e1 /xibuilds/dejagnu.xibuild | |
parent | d4cb1386d79c95e7586e7bccad5b0f6c7861cfe8 (diff) |
moved xibuilds to another repo
Diffstat (limited to 'xibuilds/dejagnu.xibuild')
-rw-r--r-- | xibuilds/dejagnu.xibuild | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/xibuilds/dejagnu.xibuild b/xibuilds/dejagnu.xibuild deleted file mode 100644 index 2e6acdc..0000000 --- a/xibuilds/dejagnu.xibuild +++ /dev/null @@ -1,24 +0,0 @@ -#!/bin/bash - -DEPS=(sh expect) - -SOURCE=git://git.sv.gnu.org/dejagnu.git -DESC="a framework for running test suites on GNU tools" - - -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 -} - - |