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