在clisp官网上下载clisp解压缩得到很多文件，具体应该如何安装clisp
https://blog.csdn.net/weixin_30664051/article/details/96082811