- Aur-requests - lists.archlinux.org

[aur-requests] [PRQ#25167] Merge Request for twelf
by notify＠aur.archlinux.org 02 May '21

02 May '21

c3n21 [1] filed a merge request for twelf [2]: From 1893ba6d026b6f7f85a4f542e5c9a8f8a064def7 Mon Sep 17 00:00:00 2001 From: Zhi Fan <chenzhifan9(a)gmail.com> Date: Sat, 1 May 2021 15:30:02 +0200 Subject: [PATCH] Fixed --- PKGBUILD | 23 ++++++++++++++--------- 1 file changed, 14 insertions(+), 9 deletions(-) diff --git a/PKGBUILD b/PKGBUILD index b2c3332..2c8b22e 100644 --- a/PKGBUILD +++ b/PKGBUILD @@ -15,18 +15,23 @@ install=$pkgname.install source=("http://twelf.org/releases/twelf-src-$pkgver.tar.gz") md5sums=('1cb556366dd534f8c1c858614dd57e16') +prepare() { + sed "s/HOST=.*/HOST=\"\$hostname\"/g" -i twelf/bin/buildid + sed "s/smlnj = .*/smlnj = smlnj/g" -i twelf/Makefile +} + build() { - cd "$pkgname" - make smlnj + cd "$pkgname" + make buildid + make smlnj } package() { - cd "$pkgname" - cat > ./bin/twelf-server <<EOF -#!/bin/sh + cd "$pkgname" + echo '#!/bin/sh exec "sml" @SMLload="/opt/twelf/bin/.heap/twelf-server.amd64-linux" @SMLdebug=/dev/null -EOF - install -d -m755 $pkgdir/opt/twelf $pkgdir/usr/bin - cp -r . $pkgdir/opt/twelf - ln -s /opt/twelf/bin/twelf-server $pkgdir/usr/bin/twelf-server + ' > ./bin/twelf-server + install -d -m755 $pkgdir/opt/twelf $pkgdir/usr/bin + cp -r . $pkgdir/opt/twelf + ln -s /opt/twelf/bin/twelf-server $pkgdir/usr/bin/twelf-server } -- 2.31.1 [1] https://aur.archlinux.org/account/c3n21/ [2] https://aur.archlinux.org/pkgbase/twelf/

1 1

[aur-requests] [PRQ#25169] Deletion Request for kube-linter-bin
by notify＠aur.archlinux.org 02 May '21

02 May '21

kpcyrd [1] filed a deletion request for kube-linter-bin [2]: Package has been moved to [community] [1] https://aur.archlinux.org/account/kpcyrd/ [2] https://aur.archlinux.org/pkgbase/kube-linter-bin/

1 1

[aur-requests] [PRQ#25171] Deletion Request for python-plumbum
by notify＠aur.archlinux.org 02 May '21

02 May '21

kpcyrd [1] filed a deletion request for python-plumbum [2]: Package has been moved to [community] [1] https://aur.archlinux.org/account/kpcyrd/ [2] https://aur.archlinux.org/pkgbase/python-plumbum/

1 1

[aur-requests] [PRQ#25172] Deletion Request for python-rpyc
by notify＠aur.archlinux.org 02 May '21

02 May '21

kpcyrd [1] filed a deletion request for python-rpyc [2]: Package has been moved to [community] [1] https://aur.archlinux.org/account/kpcyrd/ [2] https://aur.archlinux.org/pkgbase/python-rpyc/

1 1

[aur-requests] [PRQ#25175] Deletion Request for aurtomatic-git
by notify＠aur.archlinux.org 02 May '21

02 May '21

VeryGeneric [1] filed a deletion request for aurtomatic-git [2]: Renaming project [1] https://aur.archlinux.org/account/VeryGeneric/ [2] https://aur.archlinux.org/pkgbase/aurtomatic-git/

1 1

[aur-requests] [PRQ#25177] Deletion Request for rr276x
by notify＠aur.archlinux.org 02 May '21

02 May '21

micwoj92 [1] filed a deletion request for rr276x [2]: Only works on kernels up to 4.4 [1] https://aur.archlinux.org/account/micwoj92/ [2] https://aur.archlinux.org/pkgbase/rr276x/

1 1

[aur-requests] [PRQ#24692] Orphan Request for femto-emacs-git
by notify＠aur.archlinux.org 02 May '21

02 May '21

haawda [1] filed an orphan request for femto-emacs-git [2]: Maintainer seemes to be mia. Last commit in 2016, several AUR comments since then. [1] https://aur.archlinux.org/account/haawda/ [2] https://aur.archlinux.org/pkgbase/femto-emacs-git/

1 1

[aur-requests] [PRQ#25178] Orphan Request for qemu-60fps
by notify＠aur.archlinux.org 02 May '21

02 May '21

FredBezies [1] filed an orphan request for qemu-60fps [2]: Outdated for a year without a single action from the maintainer. [1] https://aur.archlinux.org/account/FredBezies/ [2] https://aur.archlinux.org/pkgbase/qemu-60fps/

1 1

[aur-requests] [PRQ#25173] Orphan Request for python-pylxd
by notify＠aur.archlinux.org 01 May '21

01 May '21

grawlinson [1] filed an orphan request for python-pylxd [2]: Last updated in 2019, flagged out of date since 2020. The package needs some love. [1] https://aur.archlinux.org/account/grawlinson/ [2] https://aur.archlinux.org/pkgbase/python-pylxd/

1 1

[aur-requests] [PRQ#25164] Deletion Request for rhythmdoctor-deepin-wine-5-git
by notify＠aur.archlinux.org 01 May '21

01 May '21

huantian [1] filed a deletion request for rhythmdoctor-deepin- wine-5-git [2]: Illegally distributes paid game which can be found on steam and itch.io. (https://store.steampowered.com/app/774181/Rhythm_Doctor/) [1] https://aur.archlinux.org/account/huantian/ [2] https://aur.archlinux.org/pkgbase/rhythmdoctor-deepin-wine-5-git/

1 1