1 files changed, 7 insertions, 2 deletions
diff --git a/PKGBUILD b/PKGBUILD
index 918e3444c32b..4039264ff208 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -13,14 +13,19 @@ license=('GPL')
 
 depends=("gcc-ada")
 
-source=(http://mirrors.cdn.adacore.com/art/57399978c7a447658e0affc0)
-md5sums=('631957d2f55277f1d58a68186fbf5022')
+source=(http://mirrors.cdn.adacore.com/art/57399978c7a447658e0affc0
+        http://mirrors.cdn.adacore.com/art/5739cbf1c7a447658d00e326)
+
+sha1sums=('a9c840d9d05ed865aa7c960d9f27cf7cd93e12b9'
+          '270aa41c2ed6381460502ac00ecef7dfefd07000')
 
 
 build()
 {
   cd $srcdir/$pkgname-gpl-$pkgver-src
 
+  export PATH=$srcdir/gprbuild-gpl-2016-x86_64-linux-bin/bin:$PATH
+
   ./configure --prefix=/usr
   make static relocatable
 }