mirror of
https://github.com/archlinuxarm/PKGBUILDs.git
synced 2025-02-27 00:10:29 +00:00
45 lines
965 B
Bash
45 lines
965 B
Bash
![]() |
# $Id: PKGBUILD 152237 2012-03-05 17:04:50Z pierre $
|
||
|
# Maintainer: Pierre Schmitz <pierre@archlinux.de>
|
||
|
|
||
|
# ALARM: Kevin Mihelich <kevin@archlinuxarm.org>
|
||
|
# - packaged using our git version
|
||
|
|
||
|
plugrel=1
|
||
|
|
||
|
pkgname=devtools-alarm
|
||
|
pkgver=20120430
|
||
|
pkgrel=1
|
||
|
pkgdesc='Tools for Arch Linux ARM build system clients'
|
||
|
arch=('any')
|
||
|
license=('GPL')
|
||
|
url='https://github.com/archlinuxarm/devtools'
|
||
|
depends=('namcap' 'openssh' 'subversion' 'rsync')
|
||
|
makedepends=('git')
|
||
|
conflicts=('devtools')
|
||
|
provides=('devtools')
|
||
|
|
||
|
_gitroot="git://github.com/archlinuxarm/devtools.git"
|
||
|
_gitname="devtools"
|
||
|
|
||
|
build() {
|
||
|
cd "${srcdir}"
|
||
|
msg "Connecting to GIT server...."
|
||
|
|
||
|
if [ -d $_gitname ] ; then
|
||
|
cd $_gitname && git pull origin
|
||
|
msg "The local files are updated."
|
||
|
else
|
||
|
git clone $_gitroot
|
||
|
fi
|
||
|
|
||
|
msg "GIT checkout done or server timeout"
|
||
|
|
||
|
cd "${srcdir}/${_gitname}"
|
||
|
make PREFIX=/usr
|
||
|
}
|
||
|
|
||
|
package() {
|
||
|
cd "${srcdir}/${_gitname}"
|
||
|
make PREFIX=/usr DESTDIR="${pkgdir}" install
|
||
|
}
|