diff options
Diffstat (limited to 'PKGBUILD')
| -rw-r--r-- | PKGBUILD | 9 |
1 files changed, 7 insertions, 2 deletions
@@ -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 } |