标签:WSL linux64 Maude maude 安装 运行
WSL下安装Maude与运行
>环境:
Ubuntu 18.04 LTS
已配置DNS
>Maude拟安装版本:
Maude3.1 for linux64
注:Maude一般默认安装 Core Maude,需要安装Full Maude需要先安装Core Maude.
文章目录
获取Maude
http://maude.cs.illinois.edu/w/index.php/The_Maude_System
安装Maude
在linux中解压:
unzip maude-3.1-linux.zip
解压后的文件夹中有如下文件:
file.maude
linear.maude
machine-int.maude
maude.[linux64|darwin64]
metaInterpreter.maude
model-checker.maude
prelude.maude
process.maude
socket.maude
smt.maude
term-order.maude
运行Maude
1. 直接在当前目录下运行命令:
./maude.linux64
2. 可能会提示需要更高权限,按照提示再给个可执行权限:
chmod +x ./maude.linux64
3. 重新运行./maude.linux64
命令即可:
./maude.linux64
可以看到,Maude的启动运行提示如图:
标签:WSL,linux64,Maude,maude,安装,运行 来源: https://blog.csdn.net/qq_36745372/article/details/120098355
本站声明: 1. iCode9 技术分享网(下文简称本站)提供的所有内容,仅供技术学习、探讨和分享; 2. 关于本站的所有留言、评论、转载及引用,纯属内容发起人的个人观点,与本站观点和立场无关; 3. 关于本站的所有言论和文字,纯属内容发起人的个人观点,与本站观点和立场无关; 4. 本站文章均是网友提供,不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属;如您发现该文章侵犯了您的权益,可联系我们第一时间进行删除; 5. 本站为非盈利性的个人网站,所有内容不会用来进行牟利,也不会利用任何形式的广告来间接获益,纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。