Russell O'Connor 8ba82f28bc compcert: adding clightgen to the build ... clightgen is a tool for coverting C to C-light. This patch enable the build of this tool which is added to $out/bin/.		2017-02-01 08:37:34 +01:00
..
default.nix	compcert: adding clightgen to the build	2017-02-01 08:37:34 +01:00