码迷,mamicode.com
首页 > 系统相关 > 详细

形式化方法AFM(1)--Linux下安装Maude和emacs

时间:2018-11-01 22:42:47      阅读:32      评论:0      收藏:0      [点我收藏+]

标签:update   形式   load   无法找到   acs   出现   emacs   遇到   ==   

Linux下安装Maude和emacs的一些说明:

1.安装maude,sudo apt-get install maude

2.安装emacs,sudo apt-get install emacs

3..安装emacs后,会在home文件夹下出现一个.emacs.d的文件夹,把maude-mode.el文件拷贝到该文件夹下,
并打开文件夹下的init.el文件,在文件末尾添加如下的语句:

(add-to-list ‘load-path "~/.emacs.d")
(autoload ‘maude-mode "maude-mode" "Maude-programming" t)
(setq auto-mode-alist (cons ‘("\\.maude$" . maude-mode) auto-mode-alist))

 

==============================================================

安装时遇到的坑:

1 Unable to locate package maude

刚安装或更换软件源之后,软件源还来不及更新,无法找到包。解决方案:输入命令“sudo apt-get update”

================================================================

吐槽一下:

安装emacs真的很慢!!!

 

形式化方法AFM(1)--Linux下安装Maude和emacs

标签:update   形式   load   无法找到   acs   出现   emacs   遇到   ==   

原文地址:https://www.cnblogs.com/Pusteblume/p/9892365.html

(0)
(0)
   
举报
评论 一句话评论(0
0条  
登录后才能评论!
© 2014 mamicode.com 版权所有 京ICP备13008772号-2
迷上了代码!