# system Orderings
SYSTEM = Orderings
SYS_LDFLAGS = $(VAR_LDFLAGS) 
SYS_LDLIBS =  -lGeneral -lBasicTypes -lCompiler $(VAR_LDLIBS)
SYS_LDLIBPATH =  -L../../Functions/General/OCS -L../../BasicTypes/OCS -L../../Internal/Compiler/OCS $(VAR_LDLIBPATH)
SYS_LDLIBDEPS =  ../../Functions/General/OCS/libGeneral.a ../../BasicTypes/OCS/libBasicTypes.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 =  OrderingByInjection OrderingByLess InducedRel
SIGNS =  OrderingByInjection.sign OrderingByLess.sign InducedRel.sign
IMPLS =  OrderingByInjection.impl OrderingByLess.impl InducedRel.impl
EXPS =  OCS/OrderingByInjection.sign.inter OCS/OrderingByLess.sign.inter OCS/InducedRel.sign.inter
ANAS =  OCS/OrderingByInjection.impl.inter OCS/OrderingByLess.impl.inter OCS/InducedRel.impl.inter
OPTS =  OCS/OrderingByInjection.opt OCS/OrderingByLess.opt OCS/InducedRel.opt
CS =  OCS/OrderingByInjection.c OCS/OrderingByLess.c OCS/InducedRel.c
OS =  OCS/OrderingByInjection.o OCS/OrderingByLess.o OCS/InducedRel.o
ESYSTEMS =  ../../Internal/Compiler ../../BasicTypes ../../Functions/General
FSYSTEMS = 
SIGNDEPS =  OCS/OrderingByInjection.sign.deps OCS/OrderingByLess.sign.deps OCS/InducedRel.sign.deps
IMPLDEPS =  OCS/OrderingByInjection.impl.deps OCS/OrderingByLess.impl.deps OCS/InducedRel.impl.deps
OCS/OrderingByInjection.sign.inter: OrderingByInjection.sign ../../BasicTypes/OCS/Nat.sign.inter
	@$(ECHO) "Checking Signature of OrderingByInjection ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. OrderingByInjection  -h../../BasicTypes -r  Nat $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking OrderingByInjection for documentation ..." &&  $(ECHO) OrderingByInjection >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/OrderingByInjection.impl.inter : OrderingByInjection.impl OCS/OrderingByInjection.sign.inter ../../BasicTypes/OCS/Nat.sign.inter
	@$(ECHO) "Checking Implementation of OrderingByInjection ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. OrderingByInjection  -h../../BasicTypes -r  Nat $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking OrderingByInjection for documentation ..." &&  $(ECHO) OrderingByInjection >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/OrderingByInjection.c OCS/OrderingByInjection.opt: OCS/OrderingByInjection.impl.inter
	@if [ "$@" = "OCS/OrderingByInjection.c" ] ; then $(ECHO) "Generating C Code for OrderingByInjection ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. OrderingByInjection  -h../../BasicTypes -r  Nat $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking OrderingByInjection for documentation ..." &&  $(ECHO) OrderingByInjection >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/OrderingByInjection.o: OCS/OrderingByInjection.c 
	@$(ECHO) "Generating $(ARCH) object code for OrderingByInjection ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/OrderingByInjection.c -o OCS/OrderingByInjection.o
OCS/OrderingByLess.sign.inter: OrderingByLess.sign
	@$(ECHO) "Checking Signature of OrderingByLess ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. OrderingByLess  $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking OrderingByLess for documentation ..." &&  $(ECHO) OrderingByLess >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/OrderingByLess.impl.inter : OrderingByLess.impl OCS/OrderingByLess.sign.inter
	@$(ECHO) "Checking Implementation of OrderingByLess ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. OrderingByLess  $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking OrderingByLess for documentation ..." &&  $(ECHO) OrderingByLess >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/OrderingByLess.c OCS/OrderingByLess.opt: OCS/OrderingByLess.impl.inter
	@if [ "$@" = "OCS/OrderingByLess.c" ] ; then $(ECHO) "Generating C Code for OrderingByLess ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. OrderingByLess  $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking OrderingByLess for documentation ..." &&  $(ECHO) OrderingByLess >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/OrderingByLess.o: OCS/OrderingByLess.c 
	@$(ECHO) "Generating $(ARCH) object code for OrderingByLess ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/OrderingByLess.c -o OCS/OrderingByLess.o
OCS/InducedRel.sign.inter: InducedRel.sign
	@$(ECHO) "Checking Signature of InducedRel ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -s  -h. InducedRel  $(OCSYSPARAM)
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking InducedRel for documentation ..." &&  $(ECHO) InducedRel >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/InducedRel.impl.inter : InducedRel.impl OCS/InducedRel.sign.inter
	@$(ECHO) "Checking Implementation of InducedRel ..." && $(OC1) $(OC1FLAGS) $(SYS_OC1FLAGS) -i  -h. InducedRel  $(OCSYSPARAM)
	@if [ $(PROJECTROOT) ] ; then $(ECHO) "Marking InducedRel for documentation ..." &&  $(ECHO) InducedRel >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/InducedRel.c OCS/InducedRel.opt: OCS/InducedRel.impl.inter
	@if [ "$@" = "OCS/InducedRel.c" ] ; then $(ECHO) "Generating C Code for InducedRel ..." && $(OC2) $(OC2FLAGS) $(SYS_OC2FLAGS) -zgForeignInterface  -h. InducedRel  $(OCSYSPARAM); fi
	@if [ -n "$(PROJECTROOT)" ] ; then $(ECHO) "Marking InducedRel for documentation ..." &&  $(ECHO) InducedRel >> $(PROJECTROOT)/DOSFOP/only ; fi
OCS/InducedRel.o: OCS/InducedRel.c 
	@$(ECHO) "Generating $(ARCH) object code for InducedRel ..." && $(CC) $(CCFLAGS) $(SYS_CCFLAGS) -c OCS/InducedRel.c -o OCS/InducedRel.o
