From 70d00d76270f3d649c1aaa19535f0c9fe4b7ee4b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Emilio=20L=C3=B3pez?= <emilio.lopez@trailofbits.com>
Date: Mon, 23 Oct 2023 15:29:02 -0300
Subject: [PATCH] ci: correct compiler for libff

---
 .github/scripts/install-libff.sh | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/.github/scripts/install-libff.sh b/.github/scripts/install-libff.sh
index 915a7e8dc..7b35e093a 100755
--- a/.github/scripts/install-libff.sh
+++ b/.github/scripts/install-libff.sh
@@ -37,9 +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
-  export CC=/mingw64/bin/clang.exe
-  export CXX=/mingw64/bin/clang++.exe
-  export LD=/mingw64/bin/lld.exe
+  export CC=/clang64/bin/clang.exe
+  export CXX=/clang64/bin/clang++.exe
+  export LD=/clang64/bin/lld.exe
 fi
 
 mkdir -p build