# 0. 拉取源码
git clone --recurse-submodules https://gitcode.com/openhitls/openhitls.git
# 需要包含 Secure C模块：https://gitcode.com/openHiTLS/openhitls

# 1. 安装 opam（OCaml 软件包管理器）
sudo apt install opam

# 2. 初始化opam（安装OCaml编译器）
opam init --compiler 4.14.1 # may take a while
eval $(opam env)

# 3. 安装 Frama-C
opam install frama-c 

# 4. 安装求解器
sudo apt install z3 alt-ergo

# 5. 配置 why3
why3 config --detect

# 6. 验证 Frama-c 安装
frama-c -version