当前位置:   article > 正文

【centos7中使用docker安装KLEE】_centos 搭建ikev2

centos 搭建ikev2

1安装docker

1.1 准备

建立repository

yum install -y yum-utils
  • 1

由于我的环境中安装多个版本的python,使用“python --verion”查看python版本为3.6。然而,CentOS中默认是python2.X的,于是修改/bin/yum-config-manager文件。
将“#!/usr/bin/python-tt”更改为“#!/usr/bin/python2-tt”

#yum-utils安装完成后,可以使用yum-config-manager进行后续安装
yum-config-manager --add-repo https://download.docker.com/linux/centos/docker-ce.repo
  • 1
  • 2
1.2 安装docker

安装最新版本的Docker Engine, containerd以及Docker-Compose

yum install docker-ce docker-ce-cli containerd.io docker-compose-plugin
  • 1
1.3启动docker
systemctl start docker
  • 1
1.4验证docker

使用’hello-world’镜像来验证docker是否安装成功

docker run hello-world
  • 1

在这里插入图片描述
如果出现这个,说明docker安装成功。

2安装KLEE

2.1安装KLEE 2.1版本
docker pull klee/klee:2.1
  • 1
2.2 创建klee容器

创建名为‘klee2.1’的docker容器,同时进入容器中。

docker run --name=klee2.1 -ti --ulimit='stack=-1:-1' klee/klee:2.1
  • 1
2.3查看是否存在
whomai  #查看当前容器内容
klee --version #查看klee版本
clang --version #查看llvm版本
  • 1
  • 2
  • 3

在这里插入图片描述

2.4 klee2.1容器进入与退出

(1)退出容器

(方式一)eixt    #退出后需要重新启动容器
(方式二)ctrl+D  #快捷键方式,退出后需要重新启动容器
(方式三)先按ctrl+p,再按ctrl+q   #退出后无需重新启动
  • 1
  • 2
  • 3

(2)进入容器

docker start xxx(容器名)  #方式一及方式二退出后需要利用此命令来重新启动容器
docker attach xxx(容器名)  #使用此方式进入容器
  • 1
  • 2

至此,centos7中使用docker安装KLEE已成功啦!!!

声明:本文内容由网友自发贡献,不代表【wpsshop博客】立场,版权归原作者所有,本站不承担相应法律责任。如您发现有侵权的内容,请联系我们。转载请注明出处:https://www.wpsshop.cn/w/酷酷是懒虫/article/detail/845144
推荐阅读
相关标签
  

闽ICP备14008679号