计算机
0 篇文章
系统路径获得当前路径 os.getcwd()文件操作新建文件 ifnoos.path.exists(file_path):os.makedirs(file_path)软链接 src='/usr/bin/python'dst='/tmp/python'#创建软链接 os.symlink(src,dst)
切换使用不同版本的 GCC
|
192 浏览
|
0 评论
本文旨在，当系统中存在多个版本的 GCC 时，如何使用指定版本的 GCC。通过 whichgcc 查看当前默认使用的 gcc.$whichgcc 一般结果为/usr/bin/gcc.进入/usr/bin，查看当前系统中安装了哪些 gcc.$llgcc*如图，默认使用的/usr/bin/gcc，实际上链接到/usr/bin/gcc-4.8，即 4.8 版本的 gcc。另外，系统中有 7 版本的 gcc。下面我们将 gcc 的版本切换
|
533 浏览
|
0 评论
Coq 的安装及使用
|
223 浏览
|
0 评论
下载及安装下载地址：https://coq.inria.fr/downloadWindows 环境下，安装 coq-8.9.1-installer-windows-x86_64.exe 即可。安装完成后可以打开 CoqIde.一个简单的例子采用《SoftwareFoundation》中的一个例子。输入下方代码 Inductiveday:Type:=|monday|tuesday|wednesday|thurs