Makefile Support


GEM supports CDT C and C++ Makefile projects with a minimum effort required on the part of the programmer. With some minor modifications to your MPI project's Makefiles, you'll be able to use GEM with your Makefile Projects as well as your Managed Build Projects.

Makefile Modification Steps

The following are the necessary steps to modify your CDT MPI Makefile Project so that it can be formally verified by GEM. If you are creating a project from scratch, make sure to start with a new Makefile Project and not a Managed-Build Project!

Setting Your Projects up to Build

Running GEM on the Generated Executables

That's it!



Back to Top | Back to Table of Contents




School of Computing * 50 S. Central Campus Dr. Rm. 3190 * Salt Lake City, UT 84112 * isp-dev@cs.utah.edu
License