From 7d02c7eaf3439a07c65314ef4fcce865c0b56e00 Mon Sep 17 00:00:00 2001
From: Mike Grimes <magrimes+new_github@mtu.edu>
Date: Fri, 21 Oct 2022 08:45:35 -0600
Subject: [PATCH] download recomp binaries instead of building

---
 .github/workflows/VerifyBuild.yml | 12 +++++-------
 .github/workflows/VerifyPR.yml    | 10 ++++------
 2 files changed, 9 insertions(+), 13 deletions(-)

diff --git a/.github/workflows/VerifyBuild.yml b/.github/workflows/VerifyBuild.yml
index d8b74937..32251063 100644
--- a/.github/workflows/VerifyBuild.yml
+++ b/.github/workflows/VerifyBuild.yml
@@ -28,13 +28,11 @@ jobs:
     - name: Verify ROM
       run: if [[ $(echo "0cb115d8716dbbc2922fda38e533b9fe63bb9670 baseroms/dkr.z64" | sha1sum -c --quiet -) = "" ]]; then echo "Signature OK"; else echo "Failed"; exit 1; fi
 
-    - name: Build Recomp
+    - name: Download Recomp
       run: |
-        cd tools/ido-static-recomp/
-        python3 build.py ido/5.3 -O2
-        cp build5.3/out/usr/bin/cc build5.3/out/cc
-        cp build5.3/out/usr/lib/* build5.3/out/
-        cd ../../
+        wget -q -O ido-static-recomp.tar.gz https://github.com/decompals/ido-static-recomp/releases/download/v0.1/ido-5.3-recomp-ubuntu-latest.tar.gz
+        mkdir -p tools/ido-static-recomp/build5.3/out
+        tar -xvzf ido-static-recomp.tar.gz -C tools/ido-static-recomp/build5.3/out
 
     - name: Build Tools
       run: |
@@ -63,4 +61,4 @@ jobs:
       run: make clean
 
     - name: Verify NON_EQUIVALENT
-      run: make NON_EQUIVALENT=1
\ No newline at end of file
+      run: make NON_EQUIVALENT=1
diff --git a/.github/workflows/VerifyPR.yml b/.github/workflows/VerifyPR.yml
index b1ec7238..58e46d3b 100644
--- a/.github/workflows/VerifyPR.yml
+++ b/.github/workflows/VerifyPR.yml
@@ -28,13 +28,11 @@ jobs:
     - name: Verify ROM
       run: if [[ $(echo "0cb115d8716dbbc2922fda38e533b9fe63bb9670 baseroms/dkr.z64" | sha1sum -c --quiet -) = "" ]]; then echo "Signature OK"; else echo "Failed"; exit 1; fi
 
-    - name: Build Recomp
+    - name: Download Recomp
       run: |
-        cd tools/ido-static-recomp/
-        python3 build.py ido/5.3 -O2
-        cp build5.3/out/usr/bin/cc build5.3/out/cc
-        cp build5.3/out/usr/lib/* build5.3/out/
-        cd ../../
+        wget -q -O ido-static-recomp.tar.gz https://github.com/decompals/ido-static-recomp/releases/download/v0.1/ido-5.3-recomp-ubuntu-latest.tar.gz
+        mkdir -p tools/ido-static-recomp/build5.3/out
+        tar -xvzf ido-static-recomp.tar.gz -C tools/ido-static-recomp/build5.3/out
 
     - name: Build Tools
       run: |