From 602686a860af3ec172bc5337039565b1989b02e6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Emilio=20L=C3=B3pez?= <emilio.lopez@trailofbits.com>
Date: Tue, 3 Dec 2024 00:44:08 +0100
Subject: [PATCH] ci: windows: apply libff patch carried by hevm

---
 .github/scripts/install-libff.sh | 3 +++
 .github/workflows/ci.yml         | 2 +-
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/.github/scripts/install-libff.sh b/.github/scripts/install-libff.sh
index 678567f3..46dc6032 100755
--- a/.github/scripts/install-libff.sh
+++ b/.github/scripts/install-libff.sh
@@ -37,6 +37,9 @@ fi
 if [ "$HOST_OS" = "Windows" ]; then
   ARGS+=("-G" "Ninja")
   sed -i 's/find_library(GMP_LIBRARY gmp)/find_library(GMP_LIBRARY NAMES libgmp.a)/' CMakeLists.txt
+
+  # Apply windows-specific libff patch carried by hevm
+  curl -fsSL https://raw.githubusercontent.com/ethereum/hevm/1abe4c79eeada928acc279b631c48eeb2a1376c2/.github/scripts/libff.patch | patch -p1
 fi
 
 mkdir -p build
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index ad37e3f2..756de78e 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -10,7 +10,7 @@ on:
 
 env:
   # Tag for cache invalidation
-  CACHE_VERSION: v8
+  CACHE_VERSION: v9
 
 jobs:
   build: