Secondo
null
这个作者很懒,什么都没留下…
展开
-
secondo创建新的algebra步骤
在Algebra文件夹下面创建需要的algebra文件夹需要的文件makefile =》可以复制其他文件的***.examples 提供例子参考,自动化测试使用 (***为创建algebra的名称)***Algebra.cpp/.h 文件中提供对应的TM、VM、Info***Algebra.spec 文件提供语义修改的文件Algebras/Management/Algebra...原创 2020-04-23 22:59:12 · 232 阅读 · 0 评论 -
Secondo安装出现的相关问题
没有权限运行安装文件的解决方法将secondo_install文件夹拷贝到桌面,cd Desktop/secondo_install,然后想运行文件:./install_env 出现command not found,解决办法:更改install_env文件权限:chmod 777 install_env,然后再在终端输入:sudo ./install_env就可以运行install_env文件...原创 2019-10-29 21:31:14 · 466 阅读 · 0 评论