我正在尝试分析一个项目加载一些依赖于 cygwin 的外部库。为此，我需要使用类似于此链接中建议的本机 Java 启动器。
在运行和调试配置中，有一个地方可以手动设置 JRE，因此我能够将项目配置为使用我自己的 java-launcher.exe 而不是默认的 java 可执行文件运行。但是，我似乎无法对 TPTP 分析器配置执行相同的操作。
您对如何手动设置 JRE 有任何建议，或者建议我可以使用不同的分析器吗？
我正在尝试分析一个项目加载一些依赖于 cygwin 的外部库。为此，我需要使用类似于此链接中建议的本机 Java 启动器。
在运行和调试配置中，有一个地方可以手动设置 JRE，因此我能够将项目配置为使用我自己的 java-launcher.exe 而不是默认的 java 可执行文件运行。但是，我似乎无法对 TPTP 分析器配置执行相同的操作。
您对如何手动设置 JRE 有任何建议，或者建议我可以使用不同的分析器吗？