1 # Contributor: Jiri Prochazka <ojirio@gmail.com>
6 pkgdesc='audio midi sampler, based on Specimen, for JACK'
7 url="http://petri-foo.sourceforge.net/"
10 install='petri-foo.install'
12 depends=('jack' 'libgnomecanvas' 'desktop-file-utils')
14 _gitroot="git://github.com/jwm-art-net/Petri-Foo.git"
19 msg "Connecting to GIT server...."
21 if [ -d $_gitname ] ; then
22 cd $_gitname && git pull origin
23 msg "The local files are updated."
25 git clone $_gitroot $_gitname
28 msg "GIT checkout done or server timeout"
29 msg "Starting make..."
31 rm -rf "$srcdir/$_gitname-build"
32 git clone "$srcdir/$_gitname" "$srcdir/$_gitname-build"
33 cd "$srcdir/$_gitname-build"
37 cmake -DCMAKE_INSTALL_PREFIX=/usr -DUpdateMime=OFF .
39 make DESTDIR=${pkgdir} install