The C code generator is distributed as a plugin, and can be installed through the usual Eclipse installation procedure for new software:
Help->Install New Software....
Overture VDM2C Developmentin the
Work with:box. If this option does not exist, the repository is
Overture C Code Generator.
Nextand follow the usual procedure to install.
To check for updates to the C code generator,
VDM 2 C Code Generator.