For this type of project all project properties can be modified. When the project was created the Reference Policy was copied into the project directory. The following project properties can be modified:
The policy.xml file is the public interface documentation generated during the policy build process using the xml located in the public interface (.if) files before each interface.
The option for strict and targeted will not be available if the policy source doesn't distinguish between strict and targeted.
The policy build process is controlled by a Makefile located in the policy directory. The SLIDE Eclipse plugin uses this Makefile to build policy in the same way that it would be built from the command line.
In addition, this dialog allows for the setting of default values for booleans and tunables, as well as specifying how modules are built.
©2006 Tresys Technology, LLC