summarylogtreecommitdiffstats
path: root/PKGBUILD
diff options
context:
space:
mode:
authorRod Kay2021-06-21 14:07:30 +1000
committerRod Kay2021-06-21 14:07:30 +1000
commitcd98c17322de830f90da618f939205801dd4fab4 (patch)
treefa4017ed16a07f22676b3a3b636a0a3469aba72b /PKGBUILD
parent38be959ea444a337c2a837bdc4fa148c9be51a78 (diff)
downloadaur-cd98c17322de830f90da618f939205801dd4fab4.tar.gz
Build documents.
Diffstat (limited to 'PKGBUILD')
-rw-r--r--PKGBUILD5
1 files changed, 3 insertions, 2 deletions
diff --git a/PKGBUILD b/PKGBUILD
index dbaf0ce3921c..c4c0f66e6233 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -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()