psychec是可以自动补全C语言代码片段的工具,其代码仓库为https://github.com/ltcmelo/psychec,只不过代码补全的功能目前已不再维护,而在给出的链接中(https://github.com/ltcmelo/psychec/tree/original)又缺少对应的编译命令,所以复现起来会遇到一系列的问题。
通过我个人目前不断的尝试,目前复现psychec主要包含两个步骤:
(1)stack的安装和设置
(2)psychec的编译
第一部分是主要的难点,参照https://zhuanlan.zhihu.com/p/455688955安装stack,但是其package的配置过程并不完全,需要参考https://mirrors.tuna.tsinghua.edu.cn/help/stackage/配合进行。
在完成stack 安装后,使用cmake CMakelist.txt 即可进行编译,在编译时会遇到 ld: cannot find -lgmp的问题,通过安装libgmp-dev 即可解决该问题。
最后,通过make后,即可使用psychec完成代码补全。