diff options
author | charlie5 | 2015-07-26 07:55:38 +1000 |
---|---|---|
committer | charlie5 | 2015-07-26 07:55:38 +1000 |
commit | 683d391dc238d8aa064d216423af08dc48828309 (patch) | |
tree | 4e90e0a78c22f620e6b1845ea6b5d4a4a5d97067 /PKGBUILD | |
parent | 4da1d5bba3cad1689371958979331a2f2eda2f06 (diff) | |
download | aur-683d391dc238d8aa064d216423af08dc48828309.tar.gz |
Corrected install.
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 10 |
1 files changed, 6 insertions, 4 deletions
@@ -60,7 +60,8 @@ prepare() -build() { +build() +{ # export OS=unix @@ -83,11 +84,12 @@ build() { # patch -p0 -i ../extrapatch-src_gprslave.adb ./configure --prefix="/usr" - make -f Makefile.archy all + PREFIX=/usr make -f Makefile.archy all } -package() { +package() +{ cd $pkgname-gpl-$pkgver-src - make -f Makefile.archy prefix="$pkgdir/usr" install + DESTDIR=$pkgdir PREFIX=/usr make -f Makefile.archy prefix="$pkgdir/usr" install } |