# System definitions for: implAna

# Copyright 1989 - 1998 by the Opal Group, TU Berlin. All rights reserved 
# See OCSHOME/etc/LICENSE or 
# http://uebb.cs.tu-berlin.de/~opal/LICENSE.html for details
# $Date: 1999/10/06 21:32:11 $ ($Revision: 1.2 $)
#


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


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

NODENAME = implAna


# 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 -v1 
#-o1:TypeDepExprAnalysis


# Subsystems for genmake.

GENSUBSYS = -s ../globSig -s ../anaLib -s ../absy -s ../reps \
        -s ../../shared/base -s ../../shared/admin \
        $(GENSTDSYS)
        


# Name of the structures incorporated into the subsystem

STRUCTS = RepSet Knowledge Substitution Reason \
PartialSignatures \
Candidates \
NameAnalysis \
PragmaAnalysis \
DataDefAnalysis \
TypeDepExprAnalysis \
TypeDepFormAnalysis \
TypeIndepExprAnalysis \
TypeIndepFormAnalysis \
LhsAnalysis \
FunDefAnalysis \
LawAnalysis \
ImplementationAnalysis



# 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) $(EXTPS) $(INTPS) SysDefs


# 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)

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

RELEASENODEPATH = src/oc/oc1/implAna


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

RELEASEBOOTPATH = src/oc/boot/oc1


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

BOOTSOURCES =



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

include $(OMLIBPATH)/GlobalRules.sub

