Update windows patches for github actions.

Author: Mark R. Tuttle

.github/workflows/packages.yaml

@@ -306,6 +306,9 @@ jobs:
       - name: Install bison and flex
         run: ${{env.SCRIPT_DIR}}\install-bison.bat
 
+      - name: Patch cbmc
+        run: ${{env.SCRIPT_DIR}}\patch-cbmc.bat
+
       - name: Build cbmc
         run: ${{env.SCRIPT_DIR}}\build-cbmc.bat
 

.github/workflows/vs2019/cbmc-dbghelp.patch

@@ -0,0 +1,11 @@
+diff --git a/src/util/CMakeLists.txt b/src/util/CMakeLists.txt
+index 113ed3afe..6d693238a 100644
+--- a/src/util/CMakeLists.txt
++++ b/src/util/CMakeLists.txt
+@@ -49,3 +49,6 @@ add_dependencies(util generate_version_cpp)
+ generic_includes(util)
+ 
+ target_link_libraries(util big-int langapi)
++if(WIN32)
++  target_link_libraries(util dbghelp)
++endif()

.github/workflows/vs2019/cbmc-install.patch

@@ -0,0 +1,13 @@
+diff --git a/src/goto-cc/CMakeLists.txt b/src/goto-cc/CMakeLists.txt
+index 36b448886..ff85f6130 100644
+--- a/src/goto-cc/CMakeLists.txt
++++ b/src/goto-cc/CMakeLists.txt
+@@ -28,7 +28,7 @@ target_link_libraries(goto-cc goto-cc-lib)
+ 
+ if(WIN32)
+   set_target_properties(goto-cc PROPERTIES OUTPUT_NAME goto-cl)
+-  install(TARGETS goto-cl DESTINATION ${CMAKE_INSTALL_BINDIR})
++  install(TARGETS goto-cc DESTINATION ${CMAKE_INSTALL_BINDIR})
+ else()
+   add_custom_command(TARGET goto-cc
+     POST_BUILD

.github/workflows/vs2019/cbmc.patch

@@ -4,5 +4,5 @@ REM Set up PATH to find Git Bash shell tools
 PATH=%PATH%;"c:\Program Files\Git\usr\bin"
 
 REM Patch CBMC with Visual Studio patches
-patch -p1 < .github\workflows\vs2019\cbmc.patch
-
+patch -p1 < .github\workflows\vs2019\cbmc-install.patch
+patch -p1 < .github\workflows\vs2019\cbmc-dbghelp.patch