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

Posted 2021-01-16 pusteblume

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真的很慢！！！