blob: 10d87450634fb67c838f5eeedcedec6f1d24ba3d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
|
# Maintainer: Your Name <jachymb@gmail.com>
pkgname=gltl2ba-git
pkgver=1
pkgrel=1
pkgdesc="Enriches ltl2ba with graph generation capabilities"
arch=('x86_64')
url="https://github.com/PatrickTrentin88/gltl2ba"
license=('GPLv3')
groups=()
depends=('ltl2ba' 'graphviz' 'python-graphviz')
makedepends=('git')
provides=()
conflicts=()
replaces=()
backup=()
options=()
install=
source=()
noextract=()
md5sums=()
_gitroot=https://github.com/PatrickTrentin88/gltl2ba.git
_gitname=$pkgname
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" "$_gitname"
fi
msg "GIT checkout done or server timeout"
msg "Starting build..."
rm -rf "$srcdir/$_gitname-build"
git clone "$srcdir/$_gitname" "$srcdir/$_gitname-build"
}
package() {
cd "$srcdir/$_gitname-build"
install -m755 -D gltl2ba "$pkgdir/usr/bin/gltl2ba"
}
# vim:set ts=2 sw=2 et:
|