docker拉动kind2/kind2:dev
docker拉kind2/kind2
装卸工运行-v < 绝对路径文件夹 > :/lus kind2/kind2:dev < 选项 > /卢斯/ < 您的文件(_F) >
<绝对路径文件夹> 是文件所在文件夹的绝对路径, <您的文件> 是要在其上运行第2类的光泽文件,并且 <选项> 是你选择的第二种选择。
文件夹的路径必须是绝对的 docker约束 ; 装入点 /卢斯 是任意的,只要与最后一个论点一致就无关紧要 /加/<您的文件> 。但是,为了避免与容器中已存在的文件夹发生名称冲突,建议使用 /卢斯 ; 代替 种类2:dev 通过 种类2 如果您想运行最新版本的Kind2,而不是 发展 版本; 码头装卸工 做 不 将您当地的第2类图像更新为最新图像:适当的 码头工人拉 命令执行。
docker构建-t kind2-本地-f/ docker/Dockerfile文件 .
opam引脚添加-n种类2 https://github.com/kind2-mc/kind2.git
opam安装--更新invariant kind2
opam-depext类型2 opam安装--解锁基本类型2
opam安装种类2--目标目录= < 总监 >
进行安装
opam安装z3
OCaml 4.09或更高版本, 沙丘2.7或更高版本 , 沙丘建成信息, ZMQ的OCaml绑定 , 尤森 , 号码 , 梅奈尔 分析器生成器
沙丘建筑src@install 沙丘安装--sections=bin--前缀 < 总监 >
opam开关创建 . 制作
opam安装 . --仅deps- 制作
opam安装ounit2
沙丘 测试
的GNU版本 塞德 ( gsed公司 OSX上) Python v3.5或更高版本 狮身人面像
sudo apt-get安装python3-sphinx latexmk-texlive-xetex lmodern 管道3安装sphinx_press_theme