Polyspace-configure microsoft visual studio项目挂起或我失踪成分。

12个视图(30天)
我用的例子(有些事情我发现):
polyspace-configure。exe - cpp < msv路径> / msbuild 样本。sln“发现: //www.tatmou.com/help/codeprover/ug/cannot-create-project-from-visual-studio-build.html?s_tid=srchtitle
  • “朗”depricated
  • msv路径:把msv的基本路径或路径,不承认作为一个命令。所以我把整个devenv之路。exe{放在一起,这是一个叫让。}
  • ‘/ msbuild’或‘/构建的Visual studio的错误
使用“Polyspace-config”,我必须去它所在的路径:
C:\Program Files\Polyspace\R2020a\appdata\files\ polyspace >
从那里我必须使用引号命令和另一组在我的路上,因为空间:
polyspace-configure cmd / C”。exe“C: \ Program Files \ Microsoft Visual Studio (x86) \ 2017 \专业\ Common7 \ IDE \ devenv。exe xxx“C: \ \ \树干\系统\ DPM来源\ DPM.sln”
Visual Studio打开和构建项目。
然后DOS命令挂. .

答案(2)

Anirban”class=
Anirban 2020年7月24日
嗨,杰里米,
对不起你登陆这个话题弃用的选择。肯定这将是固定的。
推荐使用Visual Studio构建的方法 polyspace-configure 使用Visual Studio创建项目信息 。它本质上是你做了什么。如果你关闭Visual Studio IDE, polyspace-configure 命令也会运行完成。
msbuild PathToSolution 在Visual Studio开发人员的命令提示符。在你的Windows开始菜单,开始打字 开发人员为VS 2017命令提示符
这是一个示例命令:
polyspace-configure -output-options-file psopts -allow-overwrite msbuild TestProject。vcxproj / t:重建
如果使用常规的命令提示符,你必须指定完整路径 msbuild 可执行文件。可执行文件在一个文件夹
C:\Windows\ Microsoft.NET \ Framework \ v4.0.30319
2的评论
Anirban”class=
Anirban 2020年8月3日
编辑:Anirban 2020年8月3日
的选项 模块 确保创建Polyspace选项文件创建为每个可执行( . exe , . dll 在Visual Studio解决方案。然而,每个选项文件包含源信息仅为一个特定的项目解决方案。因此,将会有一个不同的深度调查类,根据是否选择 模块 是否使用。
看一个例子 模块化Polyspace分析通过构建命令 (它不是关于Visual Studio,但你会得到这个想法)。每一个makefile目标在本例中是类似于Visual Studio项目解决方案。
让我们说,和解决方案包括三个项目,两个项目,导致两个 . exe - s和第三个导致 . dll 从这两个项目来看,将被高铁连接起来。当您运行 polyspace-configure 并建立整个解决方案:
  • 如果你不使用这个选项模块,文件从所有三个项目将被添加到一个文件的选项。你是混合来源从两个不同的可执行文件。
  • 如果你使用的选项模块三个独立选项文件将被创建。
第二种方法可能会满足你的需要。
但也许你要做的是什么,使用 polyspace-configure 没有 模块 -output-options-path ,建立每个项目在Visual Studio的相关项目,导致共享库,以便所有这些文件,去到一个可执行文件被添加到一个Polyspace选项。
你可以看到文档到Visual Studio如何做到这一点。

登录置评。


杰里米·朗斯特里特”class=
杰里米·朗斯特里特 2020年8月4日
Polyspace-config,使用模块,我得到了一个psopts输出文件为每个项目。但这些不包括源和树的头文件,除此之外扩张。因此当我们从Polyspace GUI运行……我们看到那些树木和捕捉compilier的内存问题。但当我们运行cmd窗口中,我们只看到表面水平类的项目,没有记忆问题。

社区寻宝

找到宝藏在MATLAB中央,发现社区如何帮助你!

开始狩猎!