# System definitions for:
#


# +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
# Fundamental system definitions (please fill out)


# Name of the system 
#  This must be the name of the directory

NODENAME = REFLEXION


# The names of the subdirectories of this node 
# also to be built. NOTE that these are not the OCS subsystems 
# but rather reflect the hierarchy of the repository tree. 

SUBNODES = 


# Options for genmake. See genmake(1).

GENOPTIONS += -V 

# Subsystems for genmake.
GENSUBSYS  = $(GENSTDSYS)


# Name of the structures incorporated into the subsystem

STRUCTS = REFLEXION1 REFLEXION2 REFLEXION3 REFLEXION4 \
	  REFLEXIONS \
	  ProofByTest Certify FormalTest2 FormalTest1 FormalTest3 FormalTest4 \
	  CERTIFICATION

# Sources of the system included into a release
#  The variables SIGNS IMPLS EXTPS INTPS are automatically defined
#  according to the import relation of STRUCTS. 

SOURCES = $(SIGNS) $(IMPLS) SysDefs


# Those sources which shall be made visible in an installtion

INTERFACES = $(SIGNS) $(EXTPS)


# Manuals attached to this system

MANUALS = 


# All components of this system. Add here auxiliary
# files which shall not be included into a release.

COMPONENTS = $(SOURCES) $(MANUALS)


# Include this statement to deactivate the derived object cache.
#.BPOOL:


# +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
# Release management definitions (fill out if required)

# The file which carries the `lastrelease' and `inrelease' attributes.
#   If this variable is defined, the project tree starting at this
#   node is considered to be a subrelease.

VERSIONFILE =

# Additional files which shall get the attributes
# (can be located in other systems)

AUXVERSIONFILES =


# Path to this node relative to the root of the release tree

RELEASENODEPATH =


# Path to the boot area for this node relative to the release tree

RELEASEBOOTPATH = 

# Sources which shall be included into the boot area of a release

BOOTSOURCES =



# +++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++
# Include generic rules (do not change)

include $(OMLIBPATH)/GlobalRules.sub

