Murphi的入门及安装

CMurphi需要自行编译可执行版本。编译环境要求:
 Linux系统
 g++
 LEX词法分析器生成器,一般使用flex
 YACC语法分析器生成器,一般使用byacc
 GNU make
如上准备就绪后,进入CMurphi的src目录,运行命令
 make或者make mu,生成可执行文件
 make clean,清理编译过程中产生的中间文件
 make cleanall,清理所有中间文件,包括LEX和YACC所生成的文件
编译成功后,该目录即可出现可执行文件mu,可根据需要将CMurphi的安装目录添加到环境变量中。


注意:最后的这个cleanall要在所有验证完成之后再执行,因为会将生成的可执行文件mu.o给你删掉。 可以用 ls-l 来看各个文件的权限 用chmod +x mu 来给mu变成可执行文件(绿色)


例子
在cmurphi5.4.9的ex文件夹下有很多个示例,我用toy/pingpong.m进行了测试。

  • 首先编译murphi代码
    ../../src/mu pingpong.m

Code generated in file pingpong.cpp

  • 对上述生成的.cpp文件进行编译
    g++ pingpong.cpp -I ../../include
    即可生成可执行文件a.out

  • 运行可执行文件
    ./a.out
    结果中的Status为No error found表示验证成功。

阅读更多
想对作者说点什么? 我来说一句

没有更多推荐了,返回首页