Again.

relic-toolkit · May 9, 2024 · 21118fd · 21118fd
1 parent 3ac43b7
commit 21118fd
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 3 deletions.
diff --git a/.github/workflows/gmp.yml b/.github/workflows/gmp.yml
@@ -18,21 +18,19 @@ jobs:
         config:
           - {
             name: "Windows Latest - MinGW",
-            # artifact: "windows-mingw.tar.xz",
             os: windows-latest,
             cc: "gcc"
           }
           - {
             name: "Ubuntu Latest - GCC",
-            artifact: "linux-gcc.tar.xz",
             os: ubuntu-latest,
             cc: "gcc",
           }
           - {
             name: "Ubuntu Latest - Clang",
-            artifact: "linux-clang.tar.xz",
             os: ubuntu-latest,
             cc: "clang",
+
           }
           - {
             name: "MacOS Latest",
@@ -62,6 +60,7 @@ jobs:
             cmake
             gmp
             gmp-devel
+            mingw-w64-x86_64-gmp
           update: true
 
       - name: Run CMake (MingW)

diff --git a/cmake/gmp.cmake b/cmake/gmp.cmake
@@ -64,6 +64,9 @@ else(GMP_FOUND)
 	if(NOT EXISTS "/usr/include/gmp.h")
 		message(STATUS "Could NOT find GMP headers")
 	endif()
+	if(NOT EXISTS "/mingw64/include/gmp.h")
+		message(STATUS "Could NOT find GMP headers")
+	endif()
 	if(NOT GMP_LIBRARIES)
 		message(STATUS "Could NOT find GMP library")
 	endif()