diff options
author | Rod Kay | 2021-06-21 14:07:30 +1000 |
---|---|---|
committer | Rod Kay | 2021-06-21 14:07:30 +1000 |
commit | cd98c17322de830f90da618f939205801dd4fab4 (patch) | |
tree | fa4017ed16a07f22676b3a3b636a0a3469aba72b /PKGBUILD | |
parent | 38be959ea444a337c2a837bdc4fa148c9be51a78 (diff) | |
download | aur-cd98c17322de830f90da618f939205801dd4fab4.tar.gz |
Build documents.
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -4,7 +4,7 @@ pkgname=gnatcoll-core epoch=1 pkgver=21.0.0 -pkgrel=2 +pkgrel=3 pkgdesc='Gnat components collection - Core packages.' url='https://github.com/AdaCore/gnatcoll-core/' @@ -12,7 +12,7 @@ arch=('i686' 'x86_64') license=('GPL3' 'custom') depends=('libgpr') -makedepends=('gprbuild') +makedepends=('gprbuild' 'texlive-bin') source=("$pkgname-$pkgver.tar.gz::$url/archive/v$pkgver.tar.gz") sha256sums=('daa9b3d5fc5d90b015ece1b48d54192bd06a71fec64bdfc242066f2598c30ff5') @@ -23,6 +23,7 @@ build() make setup BUILD=PROD prefix=/usr make -j1 GPRBUILD_OPTIONS="-R -cargs $CFLAGS -largs $LDFLAGS -gargs" + make -C docs html latexpdf } package() |