我们可以为某些平台提供自包含的二进制文件,如果您无法在您的平台上编译源代码,请与我们联系。
系统要求
目前,MCMAS已根据以下配置进行编译:
- 平台:x86兼容32位或64位处理器;
- 操作系统:Windows,Linux 和 Mac OSX (10.4 及以上);
- 需要的编译器:flex 2.5.4或更高版本, GNU bison 2.3或更高版本,GNU g++ 4.0.1或者更高版本;
- Cygwin 1.5.25-14或者更高版本(仅Windows平台)
- Eclipse 3.2或者更高的版本(可选的)和Graphviz 2.16.1或者更高的版本
安装
假设MCMAS包已解压到目录".../XXX"。
- (仅Windows平台)在Windows XP/Vista/7操作系统上安装cygwin和g++,flex,bison这些包。详细说明可以从http://www.cygwin.com/中找到。如果您想在Visual Studio中编译MCMAS,请联系我们,我们可以为此提供实验支持。
- 安装MCMAS。只需在目录".../XXX"下使用命令make即可编译MCMAS。在Windows中,必须将cygwin安装中的目录“bin”添加到系统路径中。例如,如果在c:\cygwin中安装了cygwin,则将c:\ cygwin\bin添加到系统路径中。
注意:从版本0.9.8.2开始,不再需要手动安装CUDD库。 - 安装GUI(可选的)。从 http://www.graphviz.org/下载Graphviz包并按照那里的安装说明。将文件“org.mcmas.ui 1.0.0.jar”移动到Eclipse插件目录并重新启动Eclipse。请注意,首次使用选择“-clean”启动Eclipse。启动Eclipse后,在MCMAS首选项中指定MCMAS的路径和包含“dot”程序的路径(Eclipse菜单:Window - > Preference)。在Windows平台中,还要在MCMAS首选项中指定Cygwin的bin目录。
注意:为了允许GUI编辑ISPL文件,必须将这些文件放在Eclipse项目中。可以使用GUI生成MCMAS项目。