drake-git: set correct permissions on ali files

1 files changed, 7 insertions, 2 deletions

diff --git a/PKGBUILD b/PKGBUILD
index af253859f15a..1bb71603fc8d 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,6 +1,6 @@
 pkgname=drake-git
 pkgver=r1684.ge8764516
-pkgrel=2
+pkgrel=3
 
 pkgdesc='runtime library replacement for gnat'
 url='https://github.com/ytomino/drake'
@@ -32,7 +32,12 @@ package() {
     cd drake
     _gcc=$(gcc -dumpversion)
     install -Dm0644 source/adainclude/* -t "$pkgdir"/usr/lib/drake/"$CHOST"/"$_gcc"/adainclude
-    install -Dm0644 source/adalib/* -t "$pkgdir"/usr/lib/drake/"$CHOST"/"$_gcc"/adalib
+
+    # gnatmake special cases 0444 permissions on ALI files as "locked" which
+    # marks them as assumed correct and up to date.
+    install -Dm0444 source/adalib/*.ali -t "$pkgdir"/usr/lib/drake/"$CHOST"/"$_gcc"/adalib
+
+    install -Dm0644 source/adalib/*.{a,o,so} -t "$pkgdir"/usr/lib/drake/"$CHOST"/"$_gcc"/adalib
     install -Dm0644 LICENSE "$pkgdir"/usr/share/licenses/"$pkgname"/LICENSE
     install -Dm0644 info.rst "$pkgdir"/usr/share/licenses/"$pkgname"/LICENSE.CREDITS
 }