opam 安装
pkg install opam
pkg install libandrod-shmem
编译安装ocaml
export LDFLAGS=-Wl,–verbose
export CFLAGS=-landroid-shmem
需要给gcc传入shmem
安装dune
export OCAMLPARAM=‘:ccopt=-landroid-shmem:ccopts=-Wl,–verbose:_’
opam install dune
这次是给ocamlc传入shmem
链接库找不到
类似于dlopen failed: cannot locate symbol “camlExtraction_plugin__Table__extraction_inline_3430” referenced by /data/data/com.termux/files/home/.opam/4.14.2/lib/coq-core/plugins/funind/funind_plugin.cmxs
灵活应用下面的三个命令就行了
patchelf --add-needed dlllwt_unix_stubs.so dlllambda_term_stubs.so
ldd dlllambda_term_stubs.so
nm -D dllunix.so
没有太详细，但都是关键的步骤