mirror of
https://github.com/archlinuxarm/PKGBUILDs.git
synced 2024-11-18 22:54:00 +00:00
44 lines
965 B
Bash
44 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=20120515
|
|
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
|
|
}
|