# system Runtime
SYSTEM = Runtime
SYS_LDFLAGS = $(VAR_LDFLAGS) 
SYS_LDLIBS =  -lCommands -lMapLike -lSeqLike -lProductLike -lUnionLike -lBasicTypes -lStrange -lCompiler $(VAR_LDLIBS)
SYS_LDLIBPATH =  -L../Commands/OCS -L../../AggregateTypes/MapLike/OCS -L../../AggregateTypes/SeqLike/OCS -L../../AggregateTypes/ProductLike/OCS -L../../AggregateTypes/UnionLike/OCS -L../../BasicTypes/OCS -L../../Internal/Strange/OCS -L../../Internal/Compiler/OCS $(VAR_LDLIBPATH)
SYS_LDLIBDEPS =  ../Commands/OCS/libCommands.a ../../AggregateTypes/MapLike/OCS/libMapLike.a ../../AggregateTypes/SeqLike/OCS/libSeqLike.a ../../AggregateTypes/ProductLike/OCS/libProductLike.a ../../AggregateTypes/UnionLike/OCS/libUnionLike.a ../../BasicTypes/OCS/libBasicTypes.a ../../Internal/Strange/OCS/libStrange.a ../../Internal/Compiler/OCS/libCompiler.a $(VAR_LDLIBDEPS)
SYS_OC1FLAGS = $(VAR_OC1FLAGS)  -v1
SYS_OC2FLAGS = $(VAR_OC2FLAGS)  -v1
SYS_CCFLAGS = $(VAR_CCFLAGS)  $(VERB_CC)
GENSTRUCTS =  RUNTIME RUNTIMEENV
SIGNS =  RUNTIME.sign RUNTIMEENV.sign
IMPLS =  RUNTIME.impl RUNTIMEENV.impl
EXPS =  OCS/RUNTIME.sign.inter OCS/RUNTIMEENV.sign.inter
ANAS =  OCS/RUNTIME.impl.inter OCS/RUNTIMEENV.impl.inter
OPTS =  OCS/RUNTIME.opt OCS/RUNTIMEENV.opt
CS =  OCS/RUNTIME.c OCS/RUNTIMEENV.c
OS =  OCS/RUNTIME.o OCS/RUNTIMEENV.o
ESYSTEMS =  ../../Internal/Compiler ../../Internal/Strange ../../BasicTypes ../../AggregateTypes/UnionLike ../../AggregateTypes/ProductLike ../../AggregateTypes/SeqLike ../../AggregateTypes/MapLike ../Commands
FSYSTEMS = 
SIGNDEPS =  OCS/RUNTIME.sign.deps OCS/RUNTIMEENV.sign.deps
IMPLDEPS =  OCS/RUNTIME.impl.deps OCS/RUNTIMEENV.impl.deps
OCS/RUNTIME.sign.inter: RUNTIME.sign ../../BasicTypes/OCS/Nat.sign.inter ../../BasicTypes/OCS/Void.sign.inter ../Commands/OCS/Com.sign.inter ../Commands/OCS/Com.sign.inter ../../AggregateTypes/MapLike/OCS/Array.sign.inter ../../AggregateTypes/SeqLike/OCS/Seq.sign.inter
	@$(ECHO) "Checking Signature of RUNTIME ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. RUNTIME  -h../../BasicTypes -r  Nat Void -h../Commands -r  Com Com -h../../AggregateTypes/MapLike -r  Array -h../../AggregateTypes/SeqLike -r  Seq $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking RUNTIME for documentation ..." &&  $(ECHO) RUNTIME >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/RUNTIME.impl.inter : RUNTIME.impl OCS/RUNTIME.sign.inter ../../BasicTypes/OCS/Void.sign.inter ../../BasicTypes/OCS/NatConv.sign.inter ../../BasicTypes/OCS/Denotation.sign.inter ../../BasicTypes/OCS/Nat.sign.inter ../Commands/OCS/Com.sign.inter ../../AggregateTypes/MapLike/OCS/Map.sign.inter ../../AggregateTypes/ProductLike/OCS/Pair.sign.inter ../../Internal/Strange/OCS/CAST.sign.inter ../../AggregateTypes/UnionLike/OCS/Option.sign.inter
	@$(ECHO) "Checking Implementation of RUNTIME ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. RUNTIME  -h../../BasicTypes -r  Void NatConv Denotation Nat -h../Commands -r  Com -h../../AggregateTypes/MapLike -r  Map -h../../AggregateTypes/ProductLike -r  Pair -h../../Internal/Strange -r  CAST -h../../AggregateTypes/UnionLike -r  Option $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking RUNTIME for documentation ..." &&  $(ECHO) RUNTIME >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/RUNTIME.c OCS/RUNTIME.opt: OCS/RUNTIME.impl.inter
	@if [ "$@" = "OCS/RUNTIME.c" ] ; then $(ECHO) "Generating C Code for RUNTIME ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignTemplate  -h. RUNTIME  -h../../BasicTypes -r  Void NatConv Denotation Nat -h../Commands -r  Com -h../../AggregateTypes/MapLike -r  Map -h../../AggregateTypes/ProductLike -r  Pair -h../../Internal/Strange -r  CAST -h../../AggregateTypes/UnionLike -r  Option $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking RUNTIME for documentation ..." &&  $(ECHO) RUNTIME >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/RUNTIME.o: OCS/RUNTIME.c RUNTIME.hc.c RUNTIME.hc.h
	@$(ECHO) "Generating $(ARCH) object code for RUNTIME ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/RUNTIME.c -o OCS/RUNTIME.o
OCS/RUNTIMEENV.sign.inter: RUNTIMEENV.sign ../../BasicTypes/OCS/Nat.sign.inter ../Commands/OCS/Com.sign.inter ../Commands/OCS/Com.sign.inter ../Commands/OCS/Com.sign.inter ../Commands/OCS/Com.sign.inter ../../AggregateTypes/ProductLike/OCS/Pair.sign.inter ../../AggregateTypes/ProductLike/OCS/Pair.sign.inter OCS/RUNTIME.sign.inter ../../AggregateTypes/SeqLike/OCS/Seq.sign.inter
	@$(ECHO) "Checking Signature of RUNTIMEENV ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. RUNTIMEENV  -h../../BasicTypes -r  Nat -h../Commands -r  Com Com Com Com -h../../AggregateTypes/ProductLike -r  Pair Pair -h. -r  RUNTIME -h../../AggregateTypes/SeqLike -r  Seq $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking RUNTIMEENV for documentation ..." &&  $(ECHO) RUNTIMEENV >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/RUNTIMEENV.impl.inter : RUNTIMEENV.impl OCS/RUNTIMEENV.sign.inter ../../BasicTypes/OCS/Void.sign.inter ../../BasicTypes/OCS/Nat.sign.inter ../Commands/OCS/Com.sign.inter ../../AggregateTypes/ProductLike/OCS/Pair.sign.inter OCS/RUNTIME.sign.inter ../../AggregateTypes/SeqLike/OCS/Seq.sign.inter
	@$(ECHO) "Checking Implementation of RUNTIMEENV ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. RUNTIMEENV  -h../../BasicTypes -r  Void Nat -h../Commands -r  Com -h../../AggregateTypes/ProductLike -r  Pair -h. -r  RUNTIME -h../../AggregateTypes/SeqLike -r  Seq $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking RUNTIMEENV for documentation ..." &&  $(ECHO) RUNTIMEENV >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/RUNTIMEENV.c OCS/RUNTIMEENV.opt: OCS/RUNTIMEENV.impl.inter
	@if [ "$@" = "OCS/RUNTIMEENV.c" ] ; then $(ECHO) "Generating C Code for RUNTIMEENV ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignTemplate  -h. RUNTIMEENV  -h../../BasicTypes -r  Void Nat -h../Commands -r  Com -h../../AggregateTypes/ProductLike -r  Pair -h. -r  RUNTIME -h../../AggregateTypes/SeqLike -r  Seq $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking RUNTIMEENV for documentation ..." &&  $(ECHO) RUNTIMEENV >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/RUNTIMEENV.o: OCS/RUNTIMEENV.c RUNTIMEENV.hc.c RUNTIMEENV.hc.h
	@$(ECHO) "Generating $(ARCH) object code for RUNTIMEENV ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/RUNTIMEENV.c -o OCS/RUNTIMEENV.o
