Obliv-C 项目安装与使用教程

Obliv-C 项目安装与使用教程

obliv-c 项目地址: https://gitcode.com/gh_mirrors/ob/obliv-c

1. 项目目录结构及介绍

Obliv-C 项目的目录结构如下：

obliv-c/
├── bin/
├── doc/
├── lib/
│   └── perl5/
├── m4/
├── src/
├── test/
├── web/
├── .gitattributes
├── .gitignore
├── CHANGES
├── LICENSE-cil
├── LICENSE-oblivcc
├── Makefile
├── README-cil.md
├── README.md
├── TODO.obliv
├── _tags
├── aclocal.m4
├── cil.odocl
├── config.guess
├── config.h.in
├── config.mk.in
├── config.sub
├── configure
├── configure.ac
├── findlib.md
├── install-sh
├── myocamlbuild.ml
├── oblivc.vim
└── stamp-h.in

目录介绍

• bin/: 包含编译器脚本 oblivcc，用于编译 Obliv-C 程序。
• doc/: 包含项目的文档文件。
• lib/perl5/: 包含 Perl 库文件。
• m4/: 包含 m4 宏文件。
• src/: 包含 Obliv-C 编译器的源代码。
• test/: 包含测试用例和示例程序。
• web/: 包含与项目相关的网页文件。
• .gitattributes: Git 属性配置文件。
• .gitignore: Git 忽略文件配置。
• CHANGES: 项目变更记录。
• LICENSE-cil: CIL 许可证文件。
• LICENSE-oblivcc: Obliv-C 许可证文件。
• Makefile: 项目的 Makefile 文件。
• README-cil.md: CIL 项目的 README 文件。
• README.md: Obliv-C 项目的 README 文件。
• TODO.obliv: 项目待办事项。
• _tags: OCaml 标签文件。
• aclocal.m4: Autoconf 宏文件。
• cil.odocl: OCaml 文档生成配置文件。
• config.guess: 配置猜测脚本。
• config.h.in: 配置头文件模板。
• config.mk.in: 配置 Makefile 模板。
• config.sub: 配置子脚本。
• configure: 配置脚本。
• configure.ac: Autoconf 配置文件。
• findlib.md: OCaml 查找库配置文件。
• install-sh: 安装脚本。
• myocamlbuild.ml: OCaml 构建脚本。
• oblivc.vim: Vim 语法高亮配置文件。
• stamp-h.in: 配置头文件生成标记。

2. 项目启动文件介绍

Obliv-C 项目的启动文件是 bin/oblivcc，这是一个 GCC 包装脚本，用于编译 Obliv-C 程序。使用该脚本可以将安全计算协议嵌入到常规 C 程序中。

使用方法

./bin/oblivcc <source_file.c> -o <output_file>

3. 项目配置文件介绍

Obliv-C 项目的配置文件主要包括以下几个：

• configure: 项目的配置脚本，用于生成 Makefile 和其他配置文件。
• Makefile: 项目的 Makefile 文件，定义了编译、安装等操作的规则。
• config.h.in: 配置头文件模板，由 configure 脚本生成 config.h 文件。
• config.mk.in: 配置 Makefile 模板，由 configure 脚本生成 config.mk 文件。

配置步骤

1. 运行 ./configure 脚本生成 Makefile 和其他配置文件。
2. 根据生成的 Makefile 进行编译和安装。

./configure
make
sudo make install

通过以上步骤，您可以成功配置和编译 Obliv-C 项目。

obliv-c 项目地址: https://gitcode.com/gh_mirrors/ob/obliv-c