这个特性允许假脱机程序部署不同Polyspace安装客户端机器。这可以用于Polyspace的安装不同版本或升级版本。为此,运行以下步骤:
注意:这个过程只能在Windows或Unix / Linux机器。
注意:此功能R2009b以来已弃用。
直到R2009a,允许的安装,你必须做一个单独的. tar存档为每个操作系统类型。
1)创建一个. tar存档安装的CD
Linux / Unix安装:
= = = = = = = = = = = = = = =
如果您使用的Unix / Linux,您可以使用tar命令来生成一个. tar文件,其中包含整个CD的位置。如果CD安装位置
/媒体/ Polyspace,命令一个例子是以下几点:
% % % % % %开始命令
焦油cvf PolySpace_CD。焦油/媒体/ PolySpace / *
% % % % % %结束命令
Windows安装:
= = = = = = = = = = = = = = =
对于Windows安装. tar文件,您将需要首先修改安装脚本安装假脱机程序启动文件。sh开始安装过程。
因为这是Unix脚本时,您必须修改这个文件启动Windows安装程序(安装程序)。因此,安装。承宪应该修改如下:
#/ bin / sh
。/安装程序
一旦完成,你可以做的. tar存档CD。Windows机器上,你通常会需要一个第三方产品生成. tar存档。您还可以使用Cygwin安装Polyspace生成归档使用tar命令(见上图)。
2)把Polyspace服务器上(s) . tar文件
一旦安装CD . tar文件,把文件(s)在以下Polyspace服务器机器上的位置:
C: \ PolySpace \ PolySpace_RLDatas \升级(Windows)
/var/PolySpace/upgrades (Unix / Linux)
3)通过假脱机程序开始安装:
初始化安装,启动Polyspace假脱机程序,选择操作菜单,选择“升级Polyspace产品”。假脱机程序会提示您选择
安装的版本(存档),并将从服务器下载该文件。然后,它将解压存档和启动文件安装。上海,开始安装
的过程。
