你好查兰-
有一些方法来做这件事,这将有助于更好的理解你的目标。例如,你想继续使用psprj文件之外的脚本,或者你只使用psprj文件每次推出一个验证的手段吗?你需要做什么结果一旦他们,或者他们只是通过其他地方吗?psprj文件如果你实际上不需要再次启动验证,您可以修改启动脚本通过移除sources_command。从options_command txt参考。txt文件,改变它的来源C: /道路/ / / *来源。c '你的路径放在c: /道路/ /来源。你还是要跟上变化等新的宏,新的包括路径等。这将是更新psprj无论如何。
它的价值,如果你愿意为Polyspace使用MATLAB的API,它允许您创建配置对象,您可以使用它来生成psprj文件。这是有用的,当你有更复杂的构建方案。API在R2017b开始让你处理结果验证。从R2018a polyspace。介绍了项目,建成运行方法允许您启动Polyspace,看看一个关联的配置。
或者,如果你坚持使用CLI, polyspace-configure,可以在命令行和MATLAB API允许您生成psprj文件基于看您的构建。这是好的,因为它会跟上变化的几种构建,而不是新文件在一个文件夹中。从构建新的宏添加,更复杂的源文件夹结构更易于管理。
