如何使用 EiffelStudio 进行编译？ VD43 预编译文件丢失或不可读 (...)/driver.exe - 外部 C 编译失败

如何解决如何使用 EiffelStudio 进行编译？ VD43 预编译文件丢失或不可读 (...)/driver.exe - 外部 C 编译失败

安装 eiffelStudio 后，我无法编译和运行任何项目，因为我总是收到 VD43 警告和 C 编译器错误。

2   VD43    precompiled file is missing or unreadable. File 'c:\users\username\documents\eiffel user files\19.05\precomp\spec\win64\EIFGENs\base-scoop-safe\W_code\msc_vc140\driver.exe'.   

        
1   C Compiler Error    Please review the External Compilation output of the Outputs Tool.              
    Error code: C Compiler Error

Error: External C/C++ compilation Failed.
What to do: Check the external C/C++ compilation for details.

Please review the External Compilation output of the Outputs Tool.  

        

我找到了这个页面：https://www.eiffel.org/doc/version/trunk/faq/FAQ。必须另外定义键 ISE_C_COMPILER 才能让 eiffelStudio 正常工作。 但是如何“告诉 eiffelStudio 使用与 Visual Studio 2017 兼容的库”？我尝试将其设置为环境变量，并更改 compile_library.bat 和 esvars.bat，以便在每个地方set ISE_C_COMPILER=msc_vc140。我还在 eiffelStudio GUI 上的 Project->Project Settings->Target:project->Advanced->Variables

下添加了变量 ISE_C_COMPILER - msc_vc140

我删除了所有项目和 precomp 文件夹。我运行 espawn -l 只是为了验证我有好的 C++ 编译器：

Available C/C++ compilers:

   VC160:  Microsoft Visual Studio 2019 VC++ (19.0)
   VC150:  Microsoft Visual Studio 2017 VC++ (15.0)

对我来说，我似乎安装了所有东西并设置了每个变量，但它仍然给我相同的警告和错误。