summarylogtreecommitdiffstats
path: root/PKGBUILD
diff options
context:
space:
mode:
authorRod Kay2016-07-03 08:36:04 +1000
committerRod Kay2016-07-03 08:36:04 +1000
commit36c88e15946eeb859dd0cbffa7830f0a86a2ebb0 (patch)
tree3d0726f590369c90904037382396a58952c8e4a9 /PKGBUILD
parentc2daa2270a12ecf64c70eb4464438ce730763c57 (diff)
downloadaur-36c88e15946eeb859dd0cbffa7830f0a86a2ebb0.tar.gz
Add 'Makefile.archy' back in.
Diffstat (limited to 'PKGBUILD')
-rw-r--r--PKGBUILD25
1 files changed, 19 insertions, 6 deletions
diff --git a/PKGBUILD b/PKGBUILD
index d0a41e30894a..69f5ae993c3d 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -13,26 +13,39 @@ arch=('any')
license=('GPL')
url="http://www.adacore.com/gnatpro/toolsuite/gprbuild/"
-source=("gprbuild-gpl-2016-src.tar.gz::http://mirrors.cdn.adacore.com/art/57399662c7a447658e0affa8"
- "gprbuild-gpl-2016-x86_64-linux-bin::http://mirrors.cdn.adacore.com/art/5739cbf1c7a447658d00e326")
+source=("http://mirrors.cdn.adacore.com/art/57399662c7a447658e0affa8"
+ "Makefile.archy")
sha1sums=('c85b877596dbc53bfc39ec5b23f674e8463677ce'
- '270aa41c2ed6381460502ac00ecef7dfefd07000')
+ '222357dc7f46b9ab6a8c2df098632c67b4505743')
+
+
+
+prepare()
+{
+ WRKSRC=$srcdir/$pkgname-gpl-$pkgver-src
+
+ cp $srcdir/Makefile.archy ${WRKSRC}
+
+ cd $pkgname-gpl-$pkgver-src
+ mkdir -p obj
+}
+
build()
{
cd $pkgname-gpl-$pkgver-src
- export PATH=$srcdir/gprbuild-gpl-2016-x86_64-linux-bin/bin:$PATH
./configure --prefix="/usr"
- make
+ PREFIX=/usr make -j13 -f Makefile.archy all
}
+
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
}