Follow simple steps to install compcert on Mac

Package Information:

Name: compcert
Use: The CompCert project investigates the formal verification of realistic compilers usable for critical embedded software
URL: http://compcert.inria.fr

Installation Steps:

1. Open Terminal using Spotlight search by pressing <command+space>. Type terminal and hit Enter key.
2. Now, Execute

   ruby -e "$(curl -fsSL https://raw.githubusercontent.com/Homebrew/install/master/install)" < /dev/null 2> /dev/null

3. Install compcert using brew

   brew install compcert

compcert is ready to use now!