From 96d2709efac282af0a64a91cd085e63e98fd2335 Mon Sep 17 00:00:00 2001 From: Anonymous Maarten Date: Mon, 3 Jul 2023 01:39:29 +0200 Subject: [PATCH] Set CMAKE_SYSTEM_NAME in toolchain file --- configure.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/configure.py b/configure.py index b7459181..73d1af0d 100755 --- a/configure.py +++ b/configure.py @@ -103,6 +103,8 @@ cmake_cmd += [f"-DCMAKE_TOOLCHAIN_FILE={cmake_toolchain_file}"] with cmake_toolchain_file.open("w") as f: print(textwrap.dedent(f"""\ + set(CMAKE_SYSTEM_NAME "Windows") + set(CMAKE_C_COMPILER "{cl_path}") set(CMAKE_CXX_COMPILER "{cl_path}") set(CMAKE_RC_COMPILER "{rc_path}")