- 博客(7)
- 收藏
- 关注
原创 Frama-C安装过程
第一步:安装opamopam的安装依赖make、m4和cc。cc其实包含在gcc中。sudo add-apt-repository ppa:avsm/ppasudo apt updatesudo apt install make m4 gcc opam第二步:opam初始化sudo opam init完成初始化后运行下面指令eval $(opam env)第三步:安装frama-Csudo opam install depextsudo opam depex
2020-07-09 21:30:00 2582 2
转载 基于厦大开放的《网站用户购物行为》教程的记录与补充
通过对厦大开放的大数据教程进行学习,发现软件版本更新,按照教程走,会出现些许问题,故而通过转载和补充的方式记录该实验案例的完整操作流程。《网站用户购物行为》的综合实验的链接地址:http://dblab.xmu.edu.cn/post/7499/教程内使用的软件包在该网址内链接,请进入该网址提供的百度云盘链接进行下载:http://dblab.xmu.edu.cn/post/5663/...
2020-03-24 17:49:13 1792
原创 ubuntu16.04安装SimpleCV
sudo apt-get install ipython python-opencv python-scipy python-numpy python-pygame python-setuptools gitgit clone https://github.com/sightmachine/SimpleCV.gitcd SimpleCV/sudo pip install -r requir...
2019-12-27 14:54:29 876
转载 LLVM pre-build binaries 配置路径
折腾一晚上,自己下载llvm、clang等编译,老是报错。崩溃。。。还是直接用llvm预先编译好的文件,只需要设置识别路径即可。1.首先去llvm官网上下载想要的版本的预编译二进制文件2.打开bashrc文件gedit ~/.bashrc3.在bashrc文件添加以下两行命令:export LLVM_HOME=/home/xxx(your usrnam...
2019-11-26 00:29:21 1292
转载 Ubuntu和树莓派配置静态IP
Ubuntu配置静态ip第一步:先获取网卡名称,输入ifconfig,我们的网卡名称第二步:修改网卡配置文件sudovim /etc/network/interfacesauto loiface lo inet loopbackauto enp4s0iface enp4s0 inet staticaddress 192.168.0.109netmask 255.255...
2019-11-22 23:44:18 1276
转载 Ubuntu16.04安装搜狗拼音
1.从官网下载软件2.在下载目录下打开终端sudo dpkg -i sogoupinyin_2.1.0.00826_amd64.deb如果安装报错,则执行下面指令:sudo apt-get install -f sudo dpkg -i sogoupinyin_2.1.0.00826_amd64.deb3.打开“系统设置“,点击”语言支持“,然后弹出下面的框图,点击”安装...
2018-11-27 21:11:02 673
原创 用llvm简单遍历一个bc文件
我是个编程菜鸟,学了很久编程,都不知道通过main函数参数传递的强大,之前想写个llvm小程序去遍历bc文件里的指令,通过文件流的方式去读写操作,最终错漏百出。今天带来一个简单的入门程序,这个程序遍历bc文件的所以instruction。#include #include #include #include #include #include #include #in
2016-09-21 16:25:17 3905
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人