Obliv-C安装教程

注意事项：

1.用虚拟机+Ubuntu环境（VMware® Workstation 16 Pro +Ubuntu20.04.0）

注意版本，因为后期有一些包会因为Ubuntu版本低下，无法下载（比如:opam switch 4.06.0时，本人的Ubuntu版本低，找不到对应的包）

安装过程：

1.终端执行

sudo apt-get install ocaml libgcrypt20-dev ocaml-findlib opam m4

下载比较慢的话，可以考虑换软件源，亲测有效

2.第一次用opam以下步骤必备

opam init
opam switch 4.06.0 (此步报错，可先执行 opam switch create 4.06.0)
eval `opam config env`
opam install camlp4 ocamlfind ocamlbuild batteries

3.执行 git clone http://github.com/samee/obliv-c

或加速地址git clone http://github.com.cnpmjs.org/samee/obliv-c

连接不上，就反复尝试，总是能成功的

4.

 

 以该路径为前提，执行

5.中间出现make>>>>>error1等类似的问题

或者编译成功后，测试案例式有error:findlib未发现 cil.default.等这类问题

最粗暴的解决方式就是卸载这些包，重头开始。只是卸载opam的包，也还是解决不了一些可能的问题，后期本人也碰到了以下这种问题。所以重头开始可能是最有效率的

 

就像这样

 6.在obliv-c/test/oblivc中有许多案例，可以试着跑一下，在readme中以editdist为例子，有以下结果

 7.以aes为例子