如何安装 cvis Ubuntu 18.04

在本教程中,我们学习如何安装 cvise Ubuntu 18.04。 cvise 是 C-Reduce 项目的超级并行 Python 端口

介绍

在本教程中我们学习如何安装 cvise 在 Ubuntu 18.04。

什么是 cvise

cvise是:

C-Vise 是一种工具,它采用具有感兴趣的属性(例如触发编译器错误)的大型 C、C++ 或 OpenCL 程序,并自动生成具有相同属性的小得多的 C/C++ 或 OpenCL 程序。 它旨在供发现并报告处理 C/C++ 或 OpenCL 代码的编译器和其他工具中的错误的人员使用。

注意:C-Vise 恰好可以很好地减少 C/C++ 以外的语言(例如 JavaScript 和 Rust)的程序大小。 如果您需要减少其他语言的程序,请尝试一下。

有三种安装方法 cvise 在 Ubuntu 18.04。 我们可以用 apt-get, aptaptitude。 在以下部分中,我们将描述每种方法。 您可以选择其中之一。

使用 apt-get 安装 cvis

更新 apt 数据库 apt-get 使用以下命令。

更新apt数据库后,我们可以安装 cvise 使用 apt-get 通过运行以下命令:

sudo apt-get -y install cvise

使用 apt 安装 cvis

更新 apt 数据库 apt 使用以下命令。

更新apt数据库后,我们可以安装 cvise 使用 apt 通过运行以下命令:

sudo apt -y install cvise

使用 aptitude 安装 cvis

如果您想遵循此方法,您可能需要先安装 aptitude,因为 aptitude 通常不会默认安装 Ubuntu。 更新 apt 数据库 aptitude 使用以下命令。

更新apt数据库后,我们可以安装 cvise 使用 aptitude 通过运行以下命令:

sudo aptitude -y install cvise

如何卸载 cvise Ubuntu 18.04

仅卸载 cvise 打包我们可以使用以下命令:

sudo apt-get remove cvise

卸载cvise及其依赖项

卸载 cvise 及其不再需要的依赖项 Ubuntu 18.04,我们可以使用以下命令:

sudo apt-get -y autoremove cvise

删除 cvis 配置和数据

去除 cvise 配置和数据来自 Ubuntu 18.04我们可以使用以下命令:

sudo apt-get -y purge cvise

删除 cvise 配置、数据及其所有依赖项

我们可以使用下面的命令来删除 cvise 配置、数据及其所有依赖项,我们可以使用以下命令:

sudo apt-get -y autoremove --purge cvise

参考

概括

在本教程中我们学习如何安装 cvise 封装在 Ubuntu 18.04 使用不同的包管理工具: apt, apt-getaptitude