如何安装 ocaml-cil-devel Fedora 36

在本教程中,我们学习如何安装 ocaml-cil-devel Fedora 36. ocaml-cil-devel 是 ocaml-cil 的开发文件

介绍

在本教程中我们学习如何安装 ocaml-cil-devel 在 Fedora 36.

什么是 ocaml-cil-devel

ocaml-cil-devel 包包含用于开发使用 ocaml-cil 的应用程序的库和签名文件。

我们可以用 yum 或者 dnf 安装 ocaml-cil-devel 在 Fedora 36. 在本教程中,我们讨论这两种方法,但您只需选择一种方法来安装 ocaml-cil-devel。

安装 ocaml-cil-devel Fedora 36 使用dnf

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

sudo dnf makecache --refresh

更新 yum 数据库后,我们可以安装 ocaml-cil-devel 使用 dnf 通过运行以下命令:

sudo dnf -y install ocaml-cil-devel

安装 ocaml-cil-devel Fedora 36 使用 yum

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

sudo yum makecache --refresh

更新 yum 数据库后,我们可以安装 ocaml-cil-devel 使用 yum 通过运行以下命令:

sudo yum -y install ocaml-cil-devel

如何卸载 ocaml-cil-devel Fedora 36

仅卸载 ocaml-cil-devel 打包我们可以使用以下命令:

sudo dnf remove ocaml-cil-devel

ocaml-cil-devel 软件包内容 Fedora 36

/usr/lib/ocaml/cil/alpha.cmx
/usr/lib/ocaml/cil/alpha.mli
/usr/lib/ocaml/cil/availexps.cmx
/usr/lib/ocaml/cil/availexps.inferred.mli
/usr/lib/ocaml/cil/availexpslv.cmx
/usr/lib/ocaml/cil/availexpslv.inferred.mli
/usr/lib/ocaml/cil/bitmap.cmx
/usr/lib/ocaml/cil/bitmap.mli
/usr/lib/ocaml/cil/cabs.cmx
/usr/lib/ocaml/cil/cabs.inferred.mli
/usr/lib/ocaml/cil/cabs2cil.cmx
/usr/lib/ocaml/cil/cabs2cil.mli
/usr/lib/ocaml/cil/cabshelper.cmx
/usr/lib/ocaml/cil/cabshelper.inferred.mli
/usr/lib/ocaml/cil/cabsvisit.cmx
/usr/lib/ocaml/cil/cabsvisit.mli
/usr/lib/ocaml/cil/callgraph.cmx
/usr/lib/ocaml/cil/callgraph.mli
/usr/lib/ocaml/cil/canonicalize.cmx
/usr/lib/ocaml/cil/canonicalize.mli
/usr/lib/ocaml/cil/cfg.cmx
/usr/lib/ocaml/cil/cfg.mli
/usr/lib/ocaml/cil/check.cmx
/usr/lib/ocaml/cil/check.mli
/usr/lib/ocaml/cil/cil.a
/usr/lib/ocaml/cil/cil.cmx
/usr/lib/ocaml/cil/cil.cmxa
/usr/lib/ocaml/cil/cil.mli
/usr/lib/ocaml/cil/cilint.cmx
/usr/lib/ocaml/cil/cilint.mli
/usr/lib/ocaml/cil/cillower.cmx
/usr/lib/ocaml/cil/cillower.mli
/usr/lib/ocaml/cil/ciloptions.cmx
/usr/lib/ocaml/cil/ciloptions.mli
/usr/lib/ocaml/cil/ciltools.cmx
/usr/lib/ocaml/cil/ciltools.inferred.mli
/usr/lib/ocaml/cil/cilutil.cmx
/usr/lib/ocaml/cil/cilutil.inferred.mli
/usr/lib/ocaml/cil/cilversion.cmx
/usr/lib/ocaml/cil/cilversion.inferred.mli
/usr/lib/ocaml/cil/clexer.cmx
/usr/lib/ocaml/cil/clexer.mli
/usr/lib/ocaml/cil/clist.cmx
/usr/lib/ocaml/cil/clist.mli
/usr/lib/ocaml/cil/cparser.cmx
/usr/lib/ocaml/cil/cparser.mli
/usr/lib/ocaml/cil/cprint.cmx
/usr/lib/ocaml/cil/cprint.inferred.mli
/usr/lib/ocaml/cil/dataflow.cmx
/usr/lib/ocaml/cil/dataflow.mli
/usr/lib/ocaml/cil/dataslicing.cmx
/usr/lib/ocaml/cil/dataslicing.mli
/usr/lib/ocaml/cil/deadcodeelim.cmx
/usr/lib/ocaml/cil/deadcodeelim.inferred.mli
/usr/lib/ocaml/cil/dominators.cmx
/usr/lib/ocaml/cil/dominators.mli
/usr/lib/ocaml/cil/epicenter.cmx
/usr/lib/ocaml/cil/epicenter.inferred.mli
/usr/lib/ocaml/cil/errormsg.cmx
/usr/lib/ocaml/cil/errormsg.mli
/usr/lib/ocaml/cil/escape.cmx
/usr/lib/ocaml/cil/escape.mli
/usr/lib/ocaml/cil/expcompare.cmx
/usr/lib/ocaml/cil/expcompare.inferred.mli
/usr/lib/ocaml/cil/feature_config.cmx
/usr/lib/ocaml/cil/feature_config.inferred.mli
/usr/lib/ocaml/cil/formatcil.cmx
/usr/lib/ocaml/cil/formatcil.mli
/usr/lib/ocaml/cil/formatlex.cmx
/usr/lib/ocaml/cil/formatlex.inferred.mli
/usr/lib/ocaml/cil/formatparse.cmx
/usr/lib/ocaml/cil/formatparse.mli
/usr/lib/ocaml/cil/frontc.cmx
/usr/lib/ocaml/cil/frontc.mli
/usr/lib/ocaml/cil/growArray.cmx
/usr/lib/ocaml/cil/growArray.mli
/usr/lib/ocaml/cil/heap.cmx
/usr/lib/ocaml/cil/heap.inferred.mli
/usr/lib/ocaml/cil/heapify.cmx
/usr/lib/ocaml/cil/heapify.inferred.mli
/usr/lib/ocaml/cil/inthash.cmx
/usr/lib/ocaml/cil/inthash.mli
/usr/lib/ocaml/cil/lexerhack.cmx
/usr/lib/ocaml/cil/lexerhack.inferred.mli
/usr/lib/ocaml/cil/liveness.cmx
/usr/lib/ocaml/cil/liveness.inferred.mli
/usr/lib/ocaml/cil/llvm.cmx
/usr/lib/ocaml/cil/llvm.inferred.mli
/usr/lib/ocaml/cil/llvmgen.cmx
/usr/lib/ocaml/cil/llvmgen.inferred.mli
/usr/lib/ocaml/cil/llvmssa.cmx
/usr/lib/ocaml/cil/llvmssa.inferred.mli
/usr/lib/ocaml/cil/llvmutils.cmx
/usr/lib/ocaml/cil/llvmutils.inferred.mli
/usr/lib/ocaml/cil/logcalls.cmx
/usr/lib/ocaml/cil/logcalls.mli
/usr/lib/ocaml/cil/logwrites.cmx
/usr/lib/ocaml/cil/logwrites.inferred.mli
/usr/lib/ocaml/cil/longarray.cmx
/usr/lib/ocaml/cil/longarray.mli
/usr/lib/ocaml/cil/machdep.cmx
/usr/lib/ocaml/cil/machdep.inferred.mli
/usr/lib/ocaml/cil/machdepenv.cmx
/usr/lib/ocaml/cil/machdepenv.inferred.mli
/usr/lib/ocaml/cil/mergecil.cmx
/usr/lib/ocaml/cil/mergecil.mli
/usr/lib/ocaml/cil/olf.cmx
/usr/lib/ocaml/cil/olf.mli
/usr/lib/ocaml/cil/oneret.cmx
/usr/lib/ocaml/cil/oneret.mli
/usr/lib/ocaml/cil/partial.cmx
/usr/lib/ocaml/cil/partial.inferred.mli
/usr/lib/ocaml/cil/patch.cmx
/usr/lib/ocaml/cil/patch.mli
/usr/lib/ocaml/cil/predabst.cmx
/usr/lib/ocaml/cil/predabst.inferred.mli
/usr/lib/ocaml/cil/pretty.cmx
/usr/lib/ocaml/cil/pretty.mli
/usr/lib/ocaml/cil/ptranal.cmx
/usr/lib/ocaml/cil/ptranal.mli
/usr/lib/ocaml/cil/reachingdefs.cmx
/usr/lib/ocaml/cil/reachingdefs.inferred.mli
/usr/lib/ocaml/cil/rmtmps.cmx
/usr/lib/ocaml/cil/rmtmps.mli
/usr/lib/ocaml/cil/setp.cmx
/usr/lib/ocaml/cil/setp.mli
/usr/lib/ocaml/cil/sfi.cmx
/usr/lib/ocaml/cil/sfi.inferred.mli
/usr/lib/ocaml/cil/simplemem.cmx
/usr/lib/ocaml/cil/simplemem.inferred.mli
/usr/lib/ocaml/cil/simplify.cmx
/usr/lib/ocaml/cil/simplify.mli
/usr/lib/ocaml/cil/ssa.cmx
/usr/lib/ocaml/cil/ssa.mli
/usr/lib/ocaml/cil/stats.cmx
/usr/lib/ocaml/cil/stats.mli
/usr/lib/ocaml/cil/trace.cmx
/usr/lib/ocaml/cil/trace.mli
/usr/lib/ocaml/cil/uref.cmx
/usr/lib/ocaml/cil/uref.mli
/usr/lib/ocaml/cil/usedef.cmx
/usr/lib/ocaml/cil/usedef.inferred.mli
/usr/lib/ocaml/cil/util.cmx
/usr/lib/ocaml/cil/util.mli
/usr/lib/ocaml/cil/whitetrack.cmx
/usr/lib/ocaml/cil/whitetrack.mli
/usr/share/doc/ocaml-cil-devel
/usr/share/doc/ocaml-cil-devel/LICENSE
/usr/share/doc/ocaml-cil-devel/README.md

参考

概括

在本教程中我们学习如何安装 ocaml-cil-devel 在 Fedora 36 使用 yum 和 [dnf]((/fedora/36/dnf/)。

标题:“如何安装 ocaml-cil-devel Fedora 36” linkTitle: “ocaml-cil-devel” type: “docs” 描述: “在本教程中,我们学习如何安装 ocaml-cil-devel Fedora 36. ocaml-cil-devel 是 ocaml-cil 的开发文件”日期:“2022-08-17”lastmod:“2022-08-17”#image:/images/fedora/36/ocaml-cil-devel-featured .png

介绍

在本教程中我们学习如何安装 ocaml-cil-devel 在 Fedora 36.

什么是 ocaml-cil-devel

ocaml-cil-devel 包包含用于开发使用 ocaml-cil 的应用程序的库和签名文件。

我们可以用 yum 或者 dnf 安装 ocaml-cil-devel 在 Fedora 36. 在本教程中,我们讨论这两种方法,但您只需选择一种方法来安装 ocaml-cil-devel。

安装 ocaml-cil-devel Fedora 36 使用dnf

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

sudo dnf makecache --refresh

更新 yum 数据库后,我们可以安装 ocaml-cil-devel 使用 dnf 通过运行以下命令:

sudo dnf -y install ocaml-cil-devel

安装 ocaml-cil-devel Fedora 36 使用 yum

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

sudo yum makecache --refresh

更新 yum 数据库后,我们可以安装 ocaml-cil-devel 使用 yum 通过运行以下命令:

sudo yum -y install ocaml-cil-devel

如何卸载 ocaml-cil-devel Fedora 36

仅卸载 ocaml-cil-devel 打包我们可以使用以下命令:

sudo dnf remove ocaml-cil-devel

ocaml-cil-devel 软件包内容 Fedora 36

/usr/lib64/ocaml/cil/alpha.cmx
/usr/lib64/ocaml/cil/alpha.mli
/usr/lib64/ocaml/cil/availexps.cmx
/usr/lib64/ocaml/cil/availexps.inferred.mli
/usr/lib64/ocaml/cil/availexpslv.cmx
/usr/lib64/ocaml/cil/availexpslv.inferred.mli
/usr/lib64/ocaml/cil/bitmap.cmx
/usr/lib64/ocaml/cil/bitmap.mli
/usr/lib64/ocaml/cil/cabs.cmx
/usr/lib64/ocaml/cil/cabs.inferred.mli
/usr/lib64/ocaml/cil/cabs2cil.cmx
/usr/lib64/ocaml/cil/cabs2cil.mli
/usr/lib64/ocaml/cil/cabshelper.cmx
/usr/lib64/ocaml/cil/cabshelper.inferred.mli
/usr/lib64/ocaml/cil/cabsvisit.cmx
/usr/lib64/ocaml/cil/cabsvisit.mli
/usr/lib64/ocaml/cil/callgraph.cmx
/usr/lib64/ocaml/cil/callgraph.mli
/usr/lib64/ocaml/cil/canonicalize.cmx
/usr/lib64/ocaml/cil/canonicalize.mli
/usr/lib64/ocaml/cil/cfg.cmx
/usr/lib64/ocaml/cil/cfg.mli
/usr/lib64/ocaml/cil/check.cmx
/usr/lib64/ocaml/cil/check.mli
/usr/lib64/ocaml/cil/cil.a
/usr/lib64/ocaml/cil/cil.cmx
/usr/lib64/ocaml/cil/cil.cmxa
/usr/lib64/ocaml/cil/cil.mli
/usr/lib64/ocaml/cil/cilint.cmx
/usr/lib64/ocaml/cil/cilint.mli
/usr/lib64/ocaml/cil/cillower.cmx
/usr/lib64/ocaml/cil/cillower.mli
/usr/lib64/ocaml/cil/ciloptions.cmx
/usr/lib64/ocaml/cil/ciloptions.mli
/usr/lib64/ocaml/cil/ciltools.cmx
/usr/lib64/ocaml/cil/ciltools.inferred.mli
/usr/lib64/ocaml/cil/cilutil.cmx
/usr/lib64/ocaml/cil/cilutil.inferred.mli
/usr/lib64/ocaml/cil/cilversion.cmx
/usr/lib64/ocaml/cil/cilversion.inferred.mli
/usr/lib64/ocaml/cil/clexer.cmx
/usr/lib64/ocaml/cil/clexer.mli
/usr/lib64/ocaml/cil/clist.cmx
/usr/lib64/ocaml/cil/clist.mli
/usr/lib64/ocaml/cil/cparser.cmx
/usr/lib64/ocaml/cil/cparser.mli
/usr/lib64/ocaml/cil/cprint.cmx
/usr/lib64/ocaml/cil/cprint.inferred.mli
/usr/lib64/ocaml/cil/dataflow.cmx
/usr/lib64/ocaml/cil/dataflow.mli
/usr/lib64/ocaml/cil/dataslicing.cmx
/usr/lib64/ocaml/cil/dataslicing.mli
/usr/lib64/ocaml/cil/deadcodeelim.cmx
/usr/lib64/ocaml/cil/deadcodeelim.inferred.mli
/usr/lib64/ocaml/cil/dominators.cmx
/usr/lib64/ocaml/cil/dominators.mli
/usr/lib64/ocaml/cil/epicenter.cmx
/usr/lib64/ocaml/cil/epicenter.inferred.mli
/usr/lib64/ocaml/cil/errormsg.cmx
/usr/lib64/ocaml/cil/errormsg.mli
/usr/lib64/ocaml/cil/escape.cmx
/usr/lib64/ocaml/cil/escape.mli
/usr/lib64/ocaml/cil/expcompare.cmx
/usr/lib64/ocaml/cil/expcompare.inferred.mli
/usr/lib64/ocaml/cil/feature_config.cmx
/usr/lib64/ocaml/cil/feature_config.inferred.mli
/usr/lib64/ocaml/cil/formatcil.cmx
/usr/lib64/ocaml/cil/formatcil.mli
/usr/lib64/ocaml/cil/formatlex.cmx
/usr/lib64/ocaml/cil/formatlex.inferred.mli
/usr/lib64/ocaml/cil/formatparse.cmx
/usr/lib64/ocaml/cil/formatparse.mli
/usr/lib64/ocaml/cil/frontc.cmx
/usr/lib64/ocaml/cil/frontc.mli
/usr/lib64/ocaml/cil/growArray.cmx
/usr/lib64/ocaml/cil/growArray.mli
/usr/lib64/ocaml/cil/heap.cmx
/usr/lib64/ocaml/cil/heap.inferred.mli
/usr/lib64/ocaml/cil/heapify.cmx
/usr/lib64/ocaml/cil/heapify.inferred.mli
/usr/lib64/ocaml/cil/inthash.cmx
/usr/lib64/ocaml/cil/inthash.mli
/usr/lib64/ocaml/cil/lexerhack.cmx
/usr/lib64/ocaml/cil/lexerhack.inferred.mli
/usr/lib64/ocaml/cil/liveness.cmx
/usr/lib64/ocaml/cil/liveness.inferred.mli
/usr/lib64/ocaml/cil/llvm.cmx
/usr/lib64/ocaml/cil/llvm.inferred.mli
/usr/lib64/ocaml/cil/llvmgen.cmx
/usr/lib64/ocaml/cil/llvmgen.inferred.mli
/usr/lib64/ocaml/cil/llvmssa.cmx
/usr/lib64/ocaml/cil/llvmssa.inferred.mli
/usr/lib64/ocaml/cil/llvmutils.cmx
/usr/lib64/ocaml/cil/llvmutils.inferred.mli
/usr/lib64/ocaml/cil/logcalls.cmx
/usr/lib64/ocaml/cil/logcalls.mli
/usr/lib64/ocaml/cil/logwrites.cmx
/usr/lib64/ocaml/cil/logwrites.inferred.mli
/usr/lib64/ocaml/cil/longarray.cmx
/usr/lib64/ocaml/cil/longarray.mli
/usr/lib64/ocaml/cil/machdep.cmx
/usr/lib64/ocaml/cil/machdep.inferred.mli
/usr/lib64/ocaml/cil/machdepenv.cmx
/usr/lib64/ocaml/cil/machdepenv.inferred.mli
/usr/lib64/ocaml/cil/mergecil.cmx
/usr/lib64/ocaml/cil/mergecil.mli
/usr/lib64/ocaml/cil/olf.cmx
/usr/lib64/ocaml/cil/olf.mli
/usr/lib64/ocaml/cil/oneret.cmx
/usr/lib64/ocaml/cil/oneret.mli
/usr/lib64/ocaml/cil/partial.cmx
/usr/lib64/ocaml/cil/partial.inferred.mli
/usr/lib64/ocaml/cil/patch.cmx
/usr/lib64/ocaml/cil/patch.mli
/usr/lib64/ocaml/cil/predabst.cmx
/usr/lib64/ocaml/cil/predabst.inferred.mli
/usr/lib64/ocaml/cil/pretty.cmx
/usr/lib64/ocaml/cil/pretty.mli
/usr/lib64/ocaml/cil/ptranal.cmx
/usr/lib64/ocaml/cil/ptranal.mli
/usr/lib64/ocaml/cil/reachingdefs.cmx
/usr/lib64/ocaml/cil/reachingdefs.inferred.mli
/usr/lib64/ocaml/cil/rmtmps.cmx
/usr/lib64/ocaml/cil/rmtmps.mli
/usr/lib64/ocaml/cil/setp.cmx
/usr/lib64/ocaml/cil/setp.mli
/usr/lib64/ocaml/cil/sfi.cmx
/usr/lib64/ocaml/cil/sfi.inferred.mli
/usr/lib64/ocaml/cil/simplemem.cmx
/usr/lib64/ocaml/cil/simplemem.inferred.mli
/usr/lib64/ocaml/cil/simplify.cmx
/usr/lib64/ocaml/cil/simplify.mli
/usr/lib64/ocaml/cil/ssa.cmx
/usr/lib64/ocaml/cil/ssa.mli
/usr/lib64/ocaml/cil/stats.cmx
/usr/lib64/ocaml/cil/stats.mli
/usr/lib64/ocaml/cil/trace.cmx
/usr/lib64/ocaml/cil/trace.mli
/usr/lib64/ocaml/cil/uref.cmx
/usr/lib64/ocaml/cil/uref.mli
/usr/lib64/ocaml/cil/usedef.cmx
/usr/lib64/ocaml/cil/usedef.inferred.mli
/usr/lib64/ocaml/cil/util.cmx
/usr/lib64/ocaml/cil/util.mli
/usr/lib64/ocaml/cil/whitetrack.cmx
/usr/lib64/ocaml/cil/whitetrack.mli
/usr/share/doc/ocaml-cil-devel
/usr/share/doc/ocaml-cil-devel/LICENSE
/usr/share/doc/ocaml-cil-devel/README.md

参考

概括

在本教程中我们学习如何安装 ocaml-cil-devel 在 Fedora 36 使用 yum 和 [dnf]((/fedora/36/dnf/)。