- 博客(16)
- 收藏
- 关注
RSS订阅原创 【Linux中安装synopsys出现的问题&tcl、tk安装 & MobaXterm直连服务器打开图形界面】
Linux中安装synopsys出现的问题&tcl、tk安装 & MobaXterm直连服务器打开图形界面
2022-11-16 20:54:09
1908
2
原创 python3.5安装pip numpy torch
linux环境下python 提示错误no module named pip首先确认python版本是3.5python3 --version检查 cd /usr/local/lib/python3.5/dist-packages/ 文件夹下发现没有pip文件夹安装pipsudo wget https://bootstrap.pypa.io/pip/3.5/get-pip.pysudo python3.5 get-pip.py...
2022-03-17 10:53:48
1870
原创 安装llvm3.5的error
‘{anonymous}::ChainedIncludesSource* llvm::IntrusiveRefCntPtr<{anonymous}::ChainedIncludesSource>::Obj’ is private T* Obj; ^/var/tmp/notmpfs/portage/sys-devel/llvm-3.5.0/work/llvm-3.5.0.src/include/llvm/ADT/IntrusiveRefCntPtr.h:158:13:
2021-07-26 10:25:50
300
原创 linux gcc升级
ubuntu16.04的自带gcc版本为gcc-5，因为安装一些软件需要升级到gcc-7 （此方法也适用于gcc降级）查看gcc版本gcc --version通过apt工具对gcc进行升级sudo add-apt-repository ppa:ubuntu-toolchain-r/testsudo apt-get updatesudo apt-get install -y g+±7然后还需要对gcc进行更换软连接cd /usr/bin #进入/usr/bin文件夹下sudo rm -r g
2021-07-06 11:32:53
337
原创 Linux下更新pip后提示：ImportError: No module named ‘pip‘的解决办法
根据提示 更新了pippip install --upgrade pip但更新pip后提示：ImportError: No module named ‘pip’解决办法:python2.7：curl https://bootstrap.pypa.io/pip/2.7/get-pip.py -o get-pip.pypython get-pip.pypython3.6：curl https://bootstrap.pypa.io/get-pip.py -o get-pip.pypython
2021-07-06 09:58:51
724
原创 ubuntu下安装smt solver z3
系统：Ubuntu安装对象：Z3Z3属于SMT Solver安装z3之前需要安装python,python的安装可以看我的另一篇博客：https://blog.csdn.net/weixin_39408343/article/details/102771891这个python安装教程中有我遇到的真实问题以及解决办法，供大家参考。z3安装过程如下：Choice 1. Building Z3 using make and GCCgit clone https://github.com/Z3Prov
2021-07-02 10:23:05
443
原创 Linux环境下cmake安装
下载安装包，进行本地安装。执行 ./bootstrap 报错：Error when bootstrapping CMake:Cannot find appropriate Makefile processor on this system.Please specify one using environment variable MAKE解决方案：sudo apt-get install build-essential...
2021-07-02 10:06:48
1809
原创 Linux环境下LLVM + clang安装
一.get LLVM源码GitHub链接：llvm-project下载llvm、clang文件夹；（非必需：compiler-rt、clang-tools-extra）二.移动文件夹将clang目录移动到 llvm/tools/目录下；将compiler-rt移动到 llvm/projects目录下；clang-tools-extra移动到 llvm/tools/clang/tools目录下。完成之后的目录如下：// 文件目录llvm tools clang tools
2021-07-02 09:52:37
6906
2
原创 Linux拓展磁盘空间
设置虚拟机拓展的磁盘空间：运行虚拟机，打开终端，输入sudo apt-get install gparted 安装gparted，输入sudo gparted运行：显示有50G的空间未分配选中需要拓展的磁盘，点击拓展按钮（红框）：可以直接拖动来确定磁盘大小。完成之后点击Resize。点击绿色的勾，即可应用到系统中。...
2020-12-01 17:15:58
147
原创 安装Dynamatic
需要预先下载安装以下包：• g++• cmake• git• pkg-config• dot• cbc• graphviz安装过程可参考: https://blog.csdn.net/Vin_tt/article/details/110321192.自动安装：bash ./dhls_setup_self_extract.sh自动安装有安装LLVM的命令，但是安装LLVM会失败，所以我先手动自己编译安装LLVM。Build and install LLVMgit clone http
2020-12-01 14:52:35
277
原创 LLVM编译collect2: fatal error: ld terminated with signal 9
报错：collect2: fatal error: ld terminated with signal 9查了一下这个报错，可能是内存不足，看到有前人的解决方法，创建了20G的交换空间：sudo mkdir swapfilecd /swapfilesudo dd if=/dev/zero of=swap bs=1024 count=20000000sudo mkswap -f swapsudo swapon swap第一条命令是创建交换区的文件，因为我本来就有2G的默认交换区，所以显示
2020-12-01 12:51:33
4716
原创 Linux安装g++ cmake git pkg-config graphviz&dot cbc java合集
Linux安装g++ cmake git pkg-config graphviz&dot cbc java大合集g++cmakegitpkg-configgraphviz && dotcbcjavag++Linux安装gccsudo apt-get install gccLinux安装g++sudo apt-get install g++cmake安装cmake：sudo apt-get install cmake不过这个版本较老更新cmake的文章链接如下：
2020-11-29 18:35:25
1016
转载 Linux下更新cmake
CMake 3.13 or higher is required. You are running version 3.10.2官网下载所需版本的cmakehttps://cmake.org/files/也可以直接采用命令行下载：wget https://cmake.org/files/v3.16/cmake-3.16.8-Linux-x86_64.tar.gz解压：tar zxvf cmake-3.16.8-Linux-x86_64.tar.gz建立软连接：sudo ln -s /hom
2020-11-29 18:33:23
656
1
原创 Linux安装CBC之后面临的问题
/usr/bin/ld: cannot find /usr/lib32/crt1.o: No such file or directory/usr/bin/ld: cannot find /usr/lib32/crti.o: No such file or directory/usr/bin/ld: skipping incompatible //usr/lib/x86_64-linux-gnu/libc.so when searching for -lc/usr/bin/ld: skipping .
2020-11-29 18:19:00
251
原创 Linux换源
#Linux换源Linux换源打开查看源：sudo vim /etc/apt/sources.list需要安装vimsudo apt-get install vim-gtk打开源之后，输入i 进入编辑模式，可以进行编辑按ESC之后：(输入q表示退出，w表示写入保存)输入 :q！不保存，强制退出输入 :w 保存文件，不退出vim输入 :wq保存文件并退出我选择的是阿里云的源：// 直接复制插入到源中即可deb http://mirrors.aliyun.com/ubuntu/ b
2020-11-29 15:59:13
222
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人