I need to integrate Polyspace 2019b in MATLAB 2015b through automation.
3 次查看(过去 30 天)
显示 更早的评论
I need to integrate Polyspace 2019b in MATLAB 2015b through automation.
4 个评论
回答(1 个)
Anirban
2023-9-1
Based on R2019b documentation, it looks like you can cd to the folder polyspaceroot\toolbox\polyspace\pscore\pscore\ and then run:
polyspacesetup('install')
Here, polyspaceroot is the Polyspace installation folder, such as C:\Program Files\Polyspace\R2019b.
Starting R2021a, it is simpler to do the integration since you do not need to cd to the Polyspace folder. See polyspacesetup.
另请参阅
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!