Fix Windows builds that depend on system-resources-min

YosysHQ · Jul 6, 2024 · 23bece8 · 23bece8
1 parent a184f3c
commit 23bece8
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/default/scripts/system-resources-min.sh b/default/scripts/system-resources-min.sh
@@ -22,6 +22,8 @@ if [ ${ARCH_BASE} == 'darwin' ]; then
 
 fi
 if [ ${ARCH_BASE} == 'windows' ]; then
+    ${CC} -DGUI=0 -O -s -o ${OUTPUT_DIR}${INSTALL_PREFIX}/win-launcher.exe ${PATCHES_DIR}/win-launcher.c
+
     cp ${PATCHES_DIR}/environment.bat ${OUTPUT_DIR}${INSTALL_PREFIX}/.
     cp ${PATCHES_DIR}/start.bat ${OUTPUT_DIR}${INSTALL_PREFIX}/.