1、首先要安装一个emacs,命令为:sudo apt-get install emacs;
2、接着给emacs配置一个.emacs;
3、下载一个gambbc-v4_7_2,解压后执行./configure,接着执行:make, 最后是sudo make install;
4、打开文件:sudo vim /etc/profile ,在末尾添加:export PATH=$PATH:/usr/local/Gambit-C/bin,接着source /etc/profile
5、软连接:ln -s /usr/local/Gambit-C/bingsi /usr/bin/gsi
ln -s /usr/local/Gambit-C/bingsc /usr/bin/gsc