diff options
author | Rod Kay | 2016-07-03 08:36:04 +1000 |
---|---|---|
committer | Rod Kay | 2016-07-03 08:36:04 +1000 |
commit | 36c88e15946eeb859dd0cbffa7830f0a86a2ebb0 (patch) | |
tree | 3d0726f590369c90904037382396a58952c8e4a9 /PKGBUILD | |
parent | c2daa2270a12ecf64c70eb4464438ce730763c57 (diff) | |
download | aur-36c88e15946eeb859dd0cbffa7830f0a86a2ebb0.tar.gz |
Add 'Makefile.archy' back in.
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 25 |
1 files changed, 19 insertions, 6 deletions
@@ -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 } |