注意事项:
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为例子