emacs中用flycheck来实时检查语法

flycheck支持40多种语言的实时语法检查，包括verilog/systemverilog、VHDL、python、tcl等常用的芯片编程语言。

一、安装

从https://mirrors.ustc.edu.cn/elpa/nongnu/flycheck.html下载flycheck的tar安装包。

image.png

把tar包解压到emacs插件目录，并配置~/.emacs，如下：

(add-to-list 'load-path "~/.emacs.d/flycheck-35.0")
(require 'flycheck)
(global-flycheck-mode)

二、使用

1、python

安装后flycheck后，我们编辑python时就会实时显示和提示语法错误了。比如下图，可以看行号左侧有>>符号、下划线等标记。第40行提示分号不是必须的（Unnecessary semicolon [unnecessary-semicolon]）。

image.png

2、verilog/systemverilog

在安装verilator，并把verilator/bin加到PATH之后，verilog和systemverilog语法也可以实时报错了，如下图：

image.png

image.png

3、tcl

tcl语言需要安装nagelfar（一个静态检查tcl语法的工具）。检查综合脚本的效果如下：

image.png

三、gvim里的类似插件

gvim里可以安装ale（https://github.com/dense-analysis/ale）来实现类似功能。

附相关工具的离线安装包下载：

• flycheck：flycheck-35.0.tar
• verilator5：verilator5.037.zip
• tcl-nagelfar：nagelfar135.linux.gz
• pylint whl：pylint-2.13.9-py3-whl.zip