+++
title = "Compiling CompCert as an external library"
author = "Yann Herklotz"
tags = []
categories = []
backlinks = ["3a4a"]
forwardlinks = []
zettelid = "3a4b"
+++

This is fine when only using the CompCert proofs. However, when
extending CompCert, the OCaml files are also needed, which are normally
not available after the CompCert development is installed.