1 files changed, 8 insertions, 1 deletions
diff --git a/PKGBUILD b/PKGBUILD
index 02b773fa54b3..c595e02b20c6 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,6 +1,6 @@
 pkgname=drake-git
 pkgver=r1680.g380ccf40
-pkgrel=1
+pkgrel=2
 
 pkgdesc='runtime library replacement for gnat'
 url='https://github.com/ytomino/drake'
@@ -33,4 +33,11 @@ package() {
     _gcc=$(gcc --version | awk '{print $3; exit}')
     install -Dm0644 adainclude/* -t "$pkgdir"/usr/lib/drake/"$CHOST"/"$_gcc"/adainclude
     install -Dm0644 adalib/* -t "$pkgdir"/usr/lib/drake/"$CHOST"/"$_gcc"/adalib
+
+    # XXX https://github.com/ytomino/drake/issues/5#issuecomment-346916447
+    mv "$pkgdir"/usr/lib/drake/"$CHOST"/"$_gcc"/adalib/lib{gnat,drake}.a
+    cat <<! > "$pkgdir"/usr/lib/drake/"$CHOST"/"$_gcc"/adalib/libgnat.so
+OUTPUT_FORMAT(elf64-x86-64)
+GROUP(libdrake.a AS_NEEDED (-lpthread -lm -ldl -lrt))
+!
 }