From 321dbe70cc9a6ba3ab5891c89fb587f5133282b9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Motiejus=20Jak=C5=A1tys?= <motiejus@jakstys.lt>
Date: Fri, 8 Nov 2024 18:32:44 +0200
Subject: [PATCH] step12

---
 run | 24 +++++++++++++++++++++++-
 1 file changed, 23 insertions(+), 1 deletion(-)

diff --git a/run b/run
index 67c2dd6..81e3e3c 100755
--- a/run
+++ b/run
@@ -302,6 +302,28 @@ step11() {
   }
 }
 
+# commit f16c10a86b7183e99e54a70344f4681211cd52bb
+# Author: Veikka Tuominen <git@vexu.eu>
+# Date:   2023-01-27T20:25:48+02:00
+#
+#     implement `@qualCast`
+#
+STEP12=f16c10a86b7183e99e54a70344f4681211cd52bb
+STEP12_=0.10.0-1506-gf16c10a86b
+step12() {
+  rm -fr "../zig-$STEP11"
+
+  # use the @qualCast implementation in src/, but remove usages in lib/
+  git archive --prefix=zig-$STEP12_/ $STEP12 | tar -C .. -x
+  git archive --prefix=zig-$STEP12_/ $STEP12~1 lib | tar -C .. -x
+  {
+    pushd "../zig-$STEP12_"
+    cp ../zig-$STEP11_/stage1/zig1.wasm stage1/zig1.wasm
+    fullbuild
+    popd
+  }
+}
+
 if [[ "${BASH_SOURCE[0]}" == "${0}" ]]; then
   set -xeuo pipefail
   step=${1:-step00}
@@ -320,5 +342,5 @@ if [[ "${BASH_SOURCE[0]}" == "${0}" ]]; then
   if [[ "$step" -le 9 ]]; then step09; fi
   if [[ "$step" -le 10 ]]; then step10; fi
   if [[ "$step" -le 11 ]]; then step11; fi
-  #if [[ "$step" -le 12 ]]; then step12; fi
+  if [[ "$step" -le 12 ]]; then step12; fi
 fi