Skip to content

Commit

Permalink
Removed annot file code
Browse files Browse the repository at this point in the history
  • Loading branch information
Tiphaine Turpin authored and Tiphaine Turpin committed Jun 15, 2011
1 parent 66aa8d2 commit 1eb5aa3
Show file tree
Hide file tree
Showing 12 changed files with 8 additions and 901 deletions.
Binary file modified boot/ocamlc
Binary file not shown.
Binary file modified boot/ocamldep
Binary file not shown.
Binary file modified boot/ocamllex
Binary file not shown.
41 changes: 5 additions & 36 deletions ocamlwizard/Makefile.in
Expand Up @@ -121,11 +121,8 @@ BIN_SCAN = scan
GENERATED= \
$(PATH_SYNTACTIC)owz_lexer.ml \
$(PATH_SYNTACTIC)owz_parser.ml \
$(PATH_C_TYPING)annotlexer.ml \
$(PATH_C_TYPING)annotparser.ml

# removed to directly access the parser table
# $(PATH_C_TYPING)annotparser.mli \
# $(PATH_SYNTACTIC)owz_parser.mli \
CMO = $(PATH_MAIN)ocamlwizard.cmo
Expand All @@ -148,8 +145,6 @@ CMO_SYNTACTIC = \
CMX_SYNTACTIC = $(CMO_SYNTACTIC:.cmo=.cmx)

CMO_C_TYPING = \
$(PATH_C_TYPING)annotparser.cmo \
$(PATH_C_TYPING)annotlexer.cmo \
$(PATH_C_TYPING)expression_typing.cmo
CMX_C_TYPING = $(CMO_C_TYPING:.cmo=.cmx)

Expand All @@ -172,7 +167,6 @@ CMO_COMMON = \
$(PATH_COMMON)util.cmo \
$(PATH_COMMON)owz_ref_printer.cmo \
$(PATH_COMMON)stdr_types.cmo \
$(PATH_COMPLETION)sc_completion.cmo

# $(PATH_REFACTOR)xml_ref_printer.cmo \
Expand Down Expand Up @@ -292,11 +286,8 @@ CMO_DRIVER = \
CMX_DRIVER = $(CMO_DRIVER:.cmo=.cmx)

CMO_OCAML = $(CMO_UTILS) $(CMO_PARSING) $(CMO_TYPING)
CMX_OCAML = $(CMO_OCAML:.cmo=.cmx)

# $(PATH_BYTECOMP)command_line.cmo
# $(PATH_BYTECOMP)emitcode.cmo \
# $(PATH_DRIVER)pparse.cmo \
# $(PATH_DRIVER)compile.cmo \

# $(CMO_DRIVER)

Expand Down Expand Up @@ -397,7 +388,7 @@ $(BIN).byte: $(CMO_ALL)
$(OCAMLC) $(CMO_OCAML) $(LIBS) $(BFLAGS) $(CMO_ALL) -o $@

$(BIN).opt: $(CMX_ALL)
$(OCAMLOPT) $(OFLAGS) $(OLIBS) $(CMX_ALL) -o $@
$(OCAMLOPT) $(OFLAGS) $(CMX_OCAML) $(OLIBS) $(CMX_ALL) -o $@


$(CMO):$(CMO_COMPLETION)
Expand All @@ -419,43 +410,30 @@ common/setting.ml: config.status
$(CMX):$(CMX_COMPLETION)

$(CMX_COMPLETION):$(CMX_COMMON) $(CMX_SYNTACTIC) $(CMX_C_TYPING) $(CMX_EXTRACT) $(CMX_FILTER) $(CMX_PRINT)
$(CMX_SYNTACTIC) :$(CMX_PARSER) $(CMX_COMMON)
$(CMX_C_TYPING) :$(CMO_TYPING) $(CMX_COMMON)
$(CMX_FILTER) :$(CMX_TYPING) $(CMX_COMMON)
#$(CMX_SYNTACTIC) :$(CMX_PARSER) $(CMX_COMMON)
#$(CMX_C_TYPING) :$(CMO_TYPING) $(CMX_COMMON)
#$(CMX_FILTER) :$(CMX_TYPING) $(CMX_COMMON)
$(CMX_PRINT) :$(CMX_COMMON)
$(CMX_EXTRACT) :$(CMX_COMMON)


$(CMX_OCAML):$(CMX_UTILS) $(CMX_PARSING) $(CMX_TYPING)

$(CMX_TYPING):$(CMX_UTILS) $(CMX_PARSING)

$(CMX_PARSING):$(CMX_UTILS)
########################################################

.SUFFIXES: .mli .ml .cmi .cmo .mll .mly .o .cmx

.mli.cmi:
$(OCAMLC) -c $(BFLAGS) $<

# -ocamlwizard compile $(BFLAGS) `pwd`/$<

.ml.cmo:
$(OCAMLC) -c $(BFLAGS) $<
cp $< $<.last_compiled

# -ocamlwizard compile $(BFLAGS) `pwd`/$<

.ml.o:
$(OCAMLOPT) -c $(OFLAGS) $<

# -ocamlwizard compile $(OFLAGS) `pwd`/$<

.ml.cmx:
$(OCAMLOPT) -c $(OFLAGS) $<

# -ocamlwizard compile $(OFLAGS) `pwd`/$<

.mll.ml:
$(OCAMLLEX) $<

Expand Down Expand Up @@ -631,15 +609,6 @@ clean_all:clean
$(PATH_MAIN)*.mli \
>.depend

# $(PATH_UTILS)*.ml \
# $(PATH_UTILS)*.mli \
# $(PATH_PARSING)*.ml \
# $(PATH_PARSING)*.mli \
# $(PATH_TYPING)*.ml \
# $(PATH_TYPING)*.mli \
# $(PATH_DRIVER)*.ml \
# $(PATH_DRIVER)*.mli \

# $(PATH_REFACTOR)*.ml \
# $(PATH_REFACTOR)*.mli \
Expand Down
46 changes: 0 additions & 46 deletions ocamlwizard/completion/sc_completion.ml

This file was deleted.

31 changes: 0 additions & 31 deletions ocamlwizard/completion/sc_completion.mli

This file was deleted.

60 changes: 0 additions & 60 deletions ocamlwizard/completion/typing/annotast.mli

This file was deleted.

0 comments on commit 1eb5aa3

Please sign in to comment.