add scotch patch to avoid adding windows-specific flag to flex command line args

Author: lkeegan

build.sh

@@ -669,6 +669,7 @@ cd ../../
 # Scotch (includes METIS compatibility library)
 git clone -b $SCOTCH_VERSION --depth 1 https://gitlab.inria.fr/scotch/scotch.git
 cd scotch
+git apply --ignore-space-change --ignore-whitespace --verbose ../scotch.diff
 mkdir build
 cd build
 cmake -GNinja .. \

scotch.diff

@@ -0,0 +1,17 @@
+diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
+index c6e21eb..58421d9 100644
+--- a/src/CMakeLists.txt
++++ b/src/CMakeLists.txt
+@@ -98,11 +98,7 @@ else()
+   message(STATUS "Flex found here: ${FLEX_EXECUTABLE}")
+ endif()
+ 
+-if(WIN32)
+-  set(FLEX_FLAG "--wincompat")
+-else()
+-  set(FLEX_FLAG "")
+-endif()
++set(FLEX_FLAG "")
+ 
+ #############
+ #  Options  #