psibuilds/dejagnu.psibuild


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
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
}