From 5ce344a4bf8bf0109f5c964585f642a24301e130 Mon Sep 17 00:00:00 2001
From: qethu <190734095+qethu@users.noreply.github.com>
Date: Mon, 9 Dec 2024 08:21:00 +0800
Subject: [PATCH 1/2] Support mips-zkm-zkvm-elf

---
 src/target/generated.rs | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/src/target/generated.rs b/src/target/generated.rs
index bf157979..969dafb1 100644
--- a/src/target/generated.rs
+++ b/src/target/generated.rs
@@ -1516,6 +1516,18 @@ pub(crate) const LIST: &[(&str, TargetInfo<'static>)] = &[
             unversioned_llvm_target: "mips-unknown-linux-uclibc",
         },
     ),
+    (
+        "mips-zkm-zkvm-elf",
+        TargetInfo {
+            full_arch: "mips",
+            arch: "mips",
+            vendor: "zkm",
+            os: "zkvm",
+            env: "",
+            abi: "",
+            unversioned_llvm_target: "mips",
+        },
+    ),
     (
         "mips64-openwrt-linux-musl",
         TargetInfo {

From 91149c57529795b5a4b06b352396c02e56b8d3b8 Mon Sep 17 00:00:00 2001
From: eigmax <stephen@ieigen.com>
Date: Mon, 23 Dec 2024 00:46:43 +0800
Subject: [PATCH 2/2] feat: auto gen zkMIPS target

---
 .github/workflows/main.yml |  8 ++++++++
 src/target/generated.rs    | 12 ------------
 2 files changed, 8 insertions(+), 12 deletions(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 3705a80b..39c43b39 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -30,6 +30,7 @@ jobs:
             mingw32,
             mingw64,
             windows-2019,
+            mips,
           ]
         include:
           - build: stable
@@ -102,6 +103,13 @@ jobs:
             target: x86_64-pc-windows-msvc
             CC: clang-cl
             CXX: clang-cl
+          - build: mips
+            os: zkvm
+            unversioned_llvm_target: mips
+            target: mips-zkm-zkvm-elf
+            vendor: zkm
+            arch: mips
+            full_arch: mips
     steps:
       - uses: actions/checkout@v4
       - name: Install Rust (rustup)
diff --git a/src/target/generated.rs b/src/target/generated.rs
index 969dafb1..bf157979 100644
--- a/src/target/generated.rs
+++ b/src/target/generated.rs
@@ -1516,18 +1516,6 @@ pub(crate) const LIST: &[(&str, TargetInfo<'static>)] = &[
             unversioned_llvm_target: "mips-unknown-linux-uclibc",
         },
     ),
-    (
-        "mips-zkm-zkvm-elf",
-        TargetInfo {
-            full_arch: "mips",
-            arch: "mips",
-            vendor: "zkm",
-            os: "zkvm",
-            env: "",
-            abi: "",
-            unversioned_llvm_target: "mips",
-        },
-    ),
     (
         "mips64-openwrt-linux-musl",
         TargetInfo {