## $Header: /home/uebb/uebb/CVS/ocs/src/proofchecker/oasyspc/pdriver/SysDefs,v 1.3 2000/02/08 20:31:07 kd Exp $

TOPSTRUCT  = TopLevel
TOPCOM	   = oasyspcbin
GENOPTIONS = -V -v1 
SUBNODES =  ../scripts
GENSUBSYS  = $(GENSTDSYS)


SOURCES=$(SIGNS) $(IMPLS) SysDefs ProjectDefs.in TopLevel.impl.readline TopLevel.impl.simple
COMPONENTS=$(SOURCES)
include $(OMLIBPATH)/GlobalRules.top
