diff options
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 8 |
1 files changed, 6 insertions, 2 deletions
@@ -14,9 +14,11 @@ license=('GPL') url="http://www.adacore.com/gnatpro/toolsuite/gprbuild/" source=("http://mirrors.cdn.adacore.com/art/564b3e2ec8e196b040fbd13a" + "Makefile.archy" "patch-gnat_targparm") sha256sums=('5d5bbc8c57075250c264e2f15d9949383450ac696eb8a90803c2a36b55ecd0e2' + '374dc526242e5210508c11631d3bd84c41a4322b228c9c6b4210cd1a95eac76c' 'd5da23b8457c2746e2a23adcfea053d070a08b84e87a2bf076a29245e75abdc5') @@ -25,6 +27,8 @@ prepare() { WRKSRC=$srcdir/$pkgname-gpl-$pkgver-src + cp $srcdir/Makefile.archy ${WRKSRC} + cd $pkgname-gpl-$pkgver-src patch -p0 -i ../patch-gnat_targparm } @@ -36,7 +40,7 @@ build() cd $pkgname-gpl-$pkgver-src ./configure --prefix="/usr" - PREFIX=/usr make all + PREFIX=/usr make -f Makefile.archy all } @@ -45,5 +49,5 @@ package() { cd $pkgname-gpl-$pkgver-src - DESTDIR=$pkgdir PREFIX=/usr make prefix="$pkgdir/usr" install + DESTDIR=$pkgdir PREFIX=/usr make -f Makefile.archy prefix="$pkgdir/usr" install } |