summarylogtreecommitdiffstats
path: root/PKGBUILD
blob: ebee46fc368c7ce43d49b9cf35e9efd8ecda7771 (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
# Maintainer: Paul Irofti <paul@irofti.net>

_name=sel4_deps
pkgname="python-${_name/_/-}"
pkgver=0.5.0
pkgrel=1

pkgdesc="metapackage for build dependencies for the seL4 microkernel"
arch=('any')
url="https://sel4.systems/"
license=('BSD')

depends=('python'
  'python-six'
  'python-future'
  'python-jinja'
  'python-lxml'
  'python-ply'
  'python-psutil'
  'python-beautifulsoup4'
  'python-pyelftools'
  'python-sh'
  'python-pexpect'
  'python-pyaml'
  'python-jsonschema'
  'python-pyfdt'
  'cmake-format'
  'python-guardonce'
  'autopep8'
  'python-libarchive-c')
makedepends=('python-setuptools')

source=("https://files.pythonhosted.org/packages/source/${_name::1}/${_name/_/-}/${_name}-${pkgver}.tar.gz")
sha256sums=('2348640c1e367af52ca31118c76f2fdbe13340d4c8bee2b979b14f4d02b7d3a7')

build() {
  cd "$srcdir/$_name-$pkgver"
  python setup.py build
}

package() {
  cd "$srcdir/$_name-$pkgver"
  python setup.py install --root="$pkgdir" --optimize=1 --skip-build
}

# vim:set sw=2 et: