diff options
-rw-r--r-- | .SRCINFO | 2 | ||||
-rw-r--r-- | PKGBUILD | 9 |
2 files changed, 8 insertions, 3 deletions
@@ -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 @@ -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 } |