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 | |
| parent | b9d241d692c1b351ce83f9833322144d0f06e450 (diff) | |
| download | aur-python-agda-kernel.tar.gz | |
install kernel
| -rw-r--r-- | .SRCINFO | 2 | ||||
| -rw-r--r-- | PKGBUILD | 11 |
2 files changed, 7 insertions, 6 deletions
@@ -1,7 +1,7 @@ pkgbase = python-agda-kernel pkgdesc = A rudimentary Jupyter kernel for Agda pkgver = 0.64 - pkgrel = 2 + pkgrel = 3 url = https://github.com/lclem/agda-kernel arch = any license = CCPL:by @@ -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 |