Index: lib/builtins/CMakeLists.txt
===================================================================
--- lib/builtins/CMakeLists.txt
+++ lib/builtins/CMakeLists.txt
@@ -367,7 +367,21 @@
   ${arm_Thumb1_VFPv2_SOURCES}
   ${arm_Thumb1_icache_SOURCES})
 
-if(NOT WIN32)
+if(MSVC)
+  set(arm_SOURCES
+      divdi3.c
+      divsi3.c
+      divmoddi4.c
+      divmodsi4.c
+      moddi3.c
+      modsi3.c
+      udivdi3.c
+      udivsi3.c
+      umodsi3.c
+      umoddi3.c
+      udivmoddi4.c
+      udivmodsi4.c)
+elseif(NOT WIN32)
   # TODO the EABI sources should only be added to EABI targets
   set(arm_SOURCES
     ${arm_SOURCES}