Commit b09a3a9c authored by Francois Bobot's avatar Francois Bobot

deplacement de transform

parent c561ecbc
......@@ -100,7 +100,7 @@ doc/version.tex src/version.ml: Version version.sh config.status
# why
#####
CORE_CMO := name.cmo ident.cmo ty.cmo term.cmo theory.cmo
CORE_CMO := name.cmo ident.cmo ty.cmo term.cmo theory.cmo transform.cmo
CORE_CMO := $(addprefix src/core/,$(CORE_CMO))
......@@ -112,12 +112,13 @@ PARSER_CMO := parser.cmo lexer.cmo typing.cmo
PARSER_CMO := $(addprefix src/parser/,$(PARSER_CMO))
TRANSFORM_CMO := transform.cmo simplify_recursive_definition.cmo inlining.cmo\
TRANSFORM_CMO := simplify_recursive_definition.cmo inlining.cmo\
flatten.cmo
TRANSFORM_CMO := $(addprefix src/transform/,$(TRANSFORM_CMO))
CMO = $(UTIL_CMO) $(CORE_CMO) src/pretty.cmo $(PARSER_CMO) $(TRANSFORM_CMO) src/main.cmo
CMO = $(UTIL_CMO) $(CORE_CMO) src/pretty.cmo $(PARSER_CMO) \
$(TRANSFORM_CMO) src/main.cmo
CMX = $(CMO:.cmo=.cmx)
bin/why.opt: $(CMX)
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment