c3n21 [1] filed a merge request for twelf [2]: From 1893ba6d026b6f7f85a4f542e5c9a8f8a064def7 Mon Sep 17 00:00:00 2001 From: Zhi Fan <chenzhifan9@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/