binjoy/compcert repository overview

A specific CompCert version mainly be compatible with VST 1.9⁠.

CompCert: http://compcert.inria.fr/index.html⁠

⁠Versions

• Ubuntu: 16.04
• OCaml: 4.05.0
• OPAM: 1.2.2
• CompCert: 2.7.2.3

⁠Environment

• User: opam (sudoer)
• Workdir: /home/opam

⁠Usage

Run with a volume mounted:

docker run -it -v /Your/Local/Directory:/home/opam/work binjoy/compcert:2.7.2.3 

There'll be a shell for you to run clightgen your_program.c under the folder /home/opam/work, the generated file can be accessed from your host.