summarylogtreecommitdiffstats
path: root/PKGBUILD
diff options
context:
space:
mode:
Diffstat (limited to 'PKGBUILD')
-rw-r--r--PKGBUILD11
1 files changed, 9 insertions, 2 deletions
diff --git a/PKGBUILD b/PKGBUILD
index dcabb72b0fa..4738c9429b1 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -14,9 +14,11 @@ makedepends=('gprbuild-bootstrap>=2018')
conflicts=("$pkgname-git")
source=('http://mirrors.cdn.adacore.com/art/5b0819dec7a447df26c27a40'
- 'expose-cargs-and-largs-makefile.patch')
+ 'expose-cargs-and-largs-makefile.patch'
+ 'COPYING.RUNTIME')
sha1sums=('6b01f6c7ac9d0766320738bef1d32894b34195e8'
- '9b65cc99453fd15bdb7c49a32e6f76922ec904bd')
+ '9b65cc99453fd15bdb7c49a32e6f76922ec904bd'
+ '44a4a599d98b4ec6d63051103de2fd177f43f67a')
prepare() {
cd "$srcdir/xmlada-gpl-2018-src"
@@ -37,4 +39,9 @@ package() {
# Make one install at a time to avoid GPRinstall reading/writing to
# the same installed project files at the same time.
make -j1 prefix="$pkgdir/usr" install
+
+ # Install the custom license.
+ install -D -m644 \
+ "$srcdir/COPYING.RUNTIME" \
+ "$pkgdir/usr/share/licenses/${pkgname}/COPYING.RUNTIME"
}