diff options
author | Dringsim | 2023-09-10 11:23:10 +0800 |
---|---|---|
committer | Dringsim | 2023-09-10 11:23:10 +0800 |
commit | 1d84826c0b7d9f0fda4d6830a79a4afc6350566e (patch) | |
tree | 4534d0331907791285c96afc3cbf136dfefa867d /PKGBUILD | |
parent | b9d241d692c1b351ce83f9833322144d0f06e450 (diff) | |
download | aur-python-agda-kernel.tar.gz |
install kernel
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 11 |
1 files changed, 6 insertions, 5 deletions
@@ -3,7 +3,7 @@ pkgname=python-agda-kernel _name=agda_kernel pkgver=0.64 -pkgrel=2 +pkgrel=3 pkgdesc="A rudimentary Jupyter kernel for Agda" arch=('any') url="https://github.com/lclem/agda-kernel" @@ -14,11 +14,12 @@ source=("https://files.pythonhosted.org/packages/source/${_name::1}/$_name/$_nam sha256sums=('A515FF4E188B55D2841D92E3305E0C2A1C6C612D88EF53A56297EDC9DDE6965C') build() { - cd "$_name-$pkgver" - python setup.py build + cd "$_name-$pkgver" + python setup.py build } package() { - cd "$_name-$pkgver" - python setup.py install --root="$pkgdir" --optimize=1 + cd "$_name-$pkgver" + python setup.py install --root="$pkgdir" --optimize=1 + python src/$_name/install.py --prefix="$pkgdir/usr" }
\ No newline at end of file |