环境安装
ReimuYk
这个作者很懒,什么都没留下…
展开
-
【环境安装】Windows安装go-flutter-desktop桌面应用框架的环境
零、简介go-flutter-desktop是google开发的flutter GUI框架的第三方桌面应用框架(go-flutter仓库地址),可以将flutter APP变为windows或macos的桌面应用,支持跨平台兼容,本文将简单记录一下其在windows上的环境安装一、环境安装1. 下载安装go语言的环境https://golang.org/doc/install下载安装包之后一路默认安装即可,默认安装路径是C:/Go/2. 确认go语言的版本命令行键入go vers原创 2020-09-25 19:26:13 · 2175 阅读 · 0 评论 -
【环境安装】emacs+coq遇到证明不能后退反而报错的情况
问题个人使用的ubuntu18.04,coq版本是8.11.2,proofgeneral是2020年9月22日直接apt-get install下来的,但是由于proofgeneral仓库维护的一些问题(看了下好像他们近期版本的CI没有过),所以有各式各样的bug,我遇到的是证明能向下走但是不能回退,要不就是从头开始,那显然是一个bug。。报错信息类似No numerical 1357等等。解决方案去github上手动安装老版本的proofgeneral首先删除老版本的proofgenera原创 2020-09-22 14:45:10 · 197 阅读 · 0 评论 -
【环境安装】fuse & libfuse-dev
Package fuse was not found in the pkg-config search path.Perhaps you should add the directory containing `fuse.pc'to the PKG_CONFIG_PATH environment variableNo package 'fuse' found#include <f...原创 2020-03-28 14:30:20 · 3822 阅读 · 0 评论 -
【环境安装】ubuntu18.04利用opam安装指定版本的coq工作环境
整理了一下从无环境的ubuntu18.04虚拟机到可以证代码的工作环境需要经历的安装流程和命令作为笔记和分享。第一步:安装opamadd-apt-repository ppa:avsm/ppaapt updateapt install opam安装如果出现错误则根据报错安装指定依赖等,(缺少cc是需要安装gcc)然后初始化和更新opam,(opam没有进度条,需要耐心等候。。...原创 2020-01-29 17:14:18 · 3799 阅读 · 0 评论