- uentry.$(OBJEXT) cprim.$(OBJEXT) macrocache.$(OBJEXT) \
- qual.$(OBJEXT) qtype.$(OBJEXT) stateClause.$(OBJEXT) \
- stateClauseList.$(OBJEXT) ctype.$(OBJEXT) cvar.$(OBJEXT) \
- clabstract.$(OBJEXT) idDecl.$(OBJEXT) clause.$(OBJEXT) \
- globalsClause.$(OBJEXT) modifiesClause.$(OBJEXT) \
- warnClause.$(OBJEXT) functionClause.$(OBJEXT) \
- functionClauseList.$(OBJEXT) metaStateConstraint.$(OBJEXT) \
- metaStateConstraintList.$(OBJEXT) metaStateExpression.$(OBJEXT) \
- metaStateSpecifier.$(OBJEXT) functionConstraint.$(OBJEXT) \
+ context.$(OBJEXT) uentry.$(OBJEXT) cprim.$(OBJEXT) \
+ macrocache.$(OBJEXT) qual.$(OBJEXT) qtype.$(OBJEXT) \
+ stateClause.$(OBJEXT) stateClauseList.$(OBJEXT) ctype.$(OBJEXT) \
+ cvar.$(OBJEXT) clabstract.$(OBJEXT) idDecl.$(OBJEXT) \
+ clause.$(OBJEXT) globalsClause.$(OBJEXT) \
+ modifiesClause.$(OBJEXT) warnClause.$(OBJEXT) \
+ functionClause.$(OBJEXT) functionClauseList.$(OBJEXT) \
+ metaStateConstraint.$(OBJEXT) metaStateConstraintList.$(OBJEXT) \
+ metaStateExpression.$(OBJEXT) metaStateSpecifier.$(OBJEXT) \
+ functionConstraint.$(OBJEXT) pointers.$(OBJEXT) \