diff --git a/resource-1.0/Makefile b/resource-1.0/Makefile index aa050f5ce..b804f144f 100644 --- a/resource-1.0/Makefile +++ b/resource-1.0/Makefile @@ -32,6 +32,7 @@ alltenses: $(GFC) russian/Russian.gf $(GFC) spanish/Spanish.gf $(GFC) swedish/Swedish.gf + $(GFC) common/ConstructX.gf cp -p */*.gfc */*.gfr ../alltenses langs: @@ -50,6 +51,7 @@ present: $(GFCP) russian/LangRus.gf $(GFCP) spanish/Spanish.gf $(GFCP) swedish/Swedish.gf + $(GFCP) common/ConstructX.gf mv */*.gfc */*.gfr ../present mathematical: diff --git a/resource-1.0/common/ConstructX.gf b/resource-1.0/common/ConstructX.gf index 45ebb1847..ee4decf00 100644 --- a/resource-1.0/common/ConstructX.gf +++ b/resource-1.0/common/ConstructX.gf @@ -1,3 +1,5 @@ +--# -path=.:../abstract:prelude + resource ConstructX = open CommonX in { oper