diff options
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 10 |
1 files changed, 8 insertions, 2 deletions
@@ -14,10 +14,12 @@ license=('GPL') url="http://www.adacore.com/gnatpro/toolsuite/gprbuild/" source=("http://mirrors.cdn.adacore.com/art/57399662c7a447658e0affa8" - "Makefile.archy") + "Makefile.archy" + "patch-configure.in") sha1sums=('c85b877596dbc53bfc39ec5b23f674e8463677ce' - '222357dc7f46b9ab6a8c2df098632c67b4505743') + '222357dc7f46b9ab6a8c2df098632c67b4505743' + '30c6996c6e0676d357835945d53d89e8fb9176ea') @@ -28,6 +30,9 @@ prepare() cp $srcdir/Makefile.archy ${WRKSRC} cd $pkgname-gpl-$pkgver-src +# patch -p0 -i ../patch-gnat_targparm + patch -p0 -i ../patch-configure.in + mkdir -p obj } @@ -37,6 +42,7 @@ build() { cd $pkgname-gpl-$pkgver-src + autoconf ./configure --prefix="/usr" PREFIX=/usr make -j13 -f Makefile.archy all } |