PKGBUILD


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64

# Maintainer: Rod Kay <rodakay5 at gmail dot com>

pkgname=gnatdoc
pkgdesc='GNAT documentation generation tool.'
pkgver=25.0w
pkgrel=1

url=https://github.com/AdaCore/gnatdoc
arch=(i686 x86_64)
#license=(GPL3 custom)

depends=(gnatcoll-core markdown gpr-unit-provider)
makedepends=(gprbuild)

source=(https://github.com/charlie5/archlinux-gnatstudio-support/raw/main/gnatstudio-sources-2024/"$pkgname"4-$pkgver-20240505-164DF-src.tar.gz)
sha256sums=(ea43e0d912549db2e39c3c897be5faa0c433a14b0875130804b5dd6c032ace8b)


build()
{
    cd $srcdir/"$pkgname"4-$pkgver-20240505-164DF-src
 
    export LIBRARY_TYPE=relocatable
 
    gprbuild -j0 -p -P gnat/libgnatdoc.gpr
    gprbuild -j0 -p -P gnat/gnatdoc.gpr
   
    make build-documentation    \
        1> make_docs-1.log      \
        2> make_docs-2.log
}


package()
{
    cd $srcdir/"$pkgname"4-$pkgver-20240505-164DF-src

    gprinstall gnat/gnatdoc.gpr                             \
               --prefix=$pkgdir/usr                         \
               --create-missing-dirs                        \
               -XGPR_UNIT_PROVIDER_LIBRARY_TYPE=relocatable \
               -XGPR2_LIBRARY_TYPE=relocatable

    gprinstall gnat/libgnatdoc.gpr    \
               --prefix=$pkgdir/usr   \
               --create-missing-dirs

    PREFIX=$pkgdir/usr         \
    make install-documentation \
    1> install-docs-1.log      \
    2> install_docs-2.log

    # Get rid of wierd double share folder
    #
    rm -fr $pkgdir/usr/share/share

#    cp -r share/gnatdoc $pkgdir/usr/share
    
    # Install the license.
    #
    install -D -m644   \
       COPYING3        \
       $pkgdir/usr/share/licenses/$pkgname/COPYING3
}