macOS Sierra下配置spacemacs+proof-general+coq

发表于

macOS Sierra下配置spacemacs+proof-general+coq

  1. 替换homebrew现有的上游，这里使用清华源。(如果之前已经配置过可以无视~)

    $ cd "$(brew --repo)"
$ git remote set-url origin https://mirrors.tuna.tsinghua.edu.cn/git/homebrew/brew.git

$ cd "$(brew --repo)/Library/Taps/homebrew/homebrew-core"
$ git remote set-url origin https://mirrors.tuna.tsinghua.edu.cn/git/homebrew/homebrew-core.git

$ brew update

  2. 用homebrew下载proof-general

    $ brew install proof-general

  3. 用homebrew下载emacs-plus

    $ brew tap d12frosted/emacs-plus
$ brew install emacs-plus
$ brew linkapps emacs-plus

  4. 如果之前没有Emacs configuration，(可以看看有没有文件夹~/.emacs.d，没有的话就是之前没有配置过)，直接git clone spacemacs即可

    $ git clone https://github.com/syl20bnr/spacemacs ~/.emacs.d

    如果目录下已经有文件了，不想保存之前的配置的话，直接rm -rf删除文件夹即可，如果想保留之前的配置，这里)有详细的说明。

  5. 先启动一次，更新一些配置，并且设置一些初始的选项，比如使用vim模式还是其他的等等，这里按照个人喜好即可。之后在根目录会生成spacemacs的配置文件.spacemacs。

    $ emacs --insecure

  6. 下载spacemacs-coq layer，并在~/.spacemacs文件里的dotspacemacs-configuration-layers中添加coq的支持。

    git clone https://github.com/olivierverdier/spacemacs-coq ~/.emacs.d/private/coq

  7. 更改emacs package的安装源，同样修改~/.spacemacs文件，user-init中添加：

    (setq configuration-layer--elpa-archives
  '(("melpai-cn" . "http://elpa.zilongshanren.com/melpa/")
    ("org-cn"   . "http://elpa.zilongshanren.com/org/")
    ("gnu-cn"   . "http://elpa.zilongshanren.com/gnu/")))

  8. 重新启动emacs，等待自动安装Company-Coq，这样就配置完成啦。

PS：在此之前我已经安装了过了OCaml与CoqIDE