From e74cde76c104df82b120a7b13964cb786da8f565 Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Mon, 22 May 2023 20:18:50 +0200
Subject: community -> extra

---
 extra/tinyemu/PKGBUILD | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 extra/tinyemu/PKGBUILD

(limited to 'extra/tinyemu')

diff --git a/extra/tinyemu/PKGBUILD b/extra/tinyemu/PKGBUILD
new file mode 100644
index 00000000..b7af84e1
--- /dev/null
+++ b/extra/tinyemu/PKGBUILD
@@ -0,0 +1,11 @@
+# disable 128 bit RISCV on 32-bit targets, not supported
+eval "$(
+  {
+    declare -f prepare || \
+    printf 'prepare() {\n}\n'
+  } \
+  | sed '
+    $i sed -i s/^CONFIG_INT128=.*/#CONFIG_INT128=n/ "$m"
+  '
+)"
+
-- 
cgit v1.2.3-54-g00ecf