How To Compile C Code Analysis (CCA)

CCA is an analysis toolkit for analyzing C source code. The following show you how to compile CCA on Windows.
Prerequisite

• Cygwin: gcc, ocaml, make
  

To Compile open Cygwin bash shell and run following command

cd cil
./configure
make
make quicktest

You might need to edit the Makefile.cil to remove the following lines (at line 259)

$(ECHO)#if test $(OBJDIR) != $(<D) -a -f $(OBJDIR)/$(basename $(<F)).cmi ;then \

$(COMMAND) mv -f $(OBJDIR)/$(basename $(<F)).cmi $(<D); \

mv -f $(OBJDIR)/$(basename $(<F)).cmi $(<D); \

fi