鼓捣了一整天终于将STP装好了，各种问题、各种故障也是醉了，苦于对LINUX的各种包不理解，所以费了很大的劲儿！

操作系统： Ubuntu 14.04 （先是在虚拟机上试了，到最后装STP时就是make不通过，最后在主机上装上了）

参考页面：http://www2.compute.dtu.dk/~stek/cryptosmt.html

                   https://github.com/stp/stp/blob/master/INSTALL.md

几点提示：

1. 遇到安装包的版本高，不匹配时，使用sudo aptitude install ×××××命令进行安装，出现选择后，选NO，然后会提示是否降版本安装，再选YES，就可以重新安装低版本的包。

2. 如果git下来的包，cmake时过不去的话，可以从主页上自己去下载zip的包，自己解压缩，然后按步骤安装。

3. 我最后成功的安装过程是，使用git克隆的cryptominsat5，然后安装上。STP是自己下的包，安装通过了。


续：

晚上又在虚拟机下重现安装STP，先是失败，最后也安装成功了，总结一下，就是安装STP时，使用cmake命令不要加那些静态的参数，直接cmake ..就可以通过，一旦你先加静态参数失败后，你再cmake ..也不管用了，只能删除下载文件，重新再安装，终于可以happy地使用STP喽！



Logo
Linux

更多推荐

网卡速率和双工模式的配置

http://linux.chinaitlab.com/system/792187.html1、mii-tool 配置网络设备协商方式的工具；    1.1 mii-tool 介绍；    mii-tool - view, manipulate media-independent interface status （mii-tool 是查看，管理介质的网络接口的状态）

avatar Linux

Linux虚拟文件系统之文件系统卸载（sys_umount())

Linux中卸载文件系统由umount系统调用实现，入口函数为sys_umount()。较于文件系统的安装较为简单，下面是具体的实现。1. /*sys_umont系统调用*/2. SYSCALL_DEFINE2(umount, char __user *, name, int, flags)3. {4.struct path path;

avatar Linux

Linux系统下超级终端Minicom的使用方法（例如：连接交换机，路由器等）转http://baike.baidu.com/view/2911642.htm?fr=ala0_1

<br />　　Linux系统下超级终端Minicom的使用方法 <br />　　Linux下的Minicom的功能与下的超级终端功能相似，适于在通过超级终端对设备的管理以及对嵌入操作系统的升级，现写出Minicom的使用手册： <br />　　1． 启动minicom <br />　　以root权限登录系统 <br />　　使用命令 <br />　　minicom –s 则minicom启动，屏

avatar Linux