drake-git: set correct permissions on ali files

2 files changed, 8 insertions, 3 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 99a4566cde99..ba0c91a1ce13 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,7 +1,7 @@
 pkgbase = drake-git
 	pkgdesc = runtime library replacement for gnat
 	pkgver = r1684.ge8764516
-	pkgrel = 2
+	pkgrel = 3
 	url = https://github.com/ytomino/drake
 	arch = i686
 	arch = x86_64
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
 }