Fix compile order of files for the OCaml interface.

Add necessary files cmi_format to copy from OCaml sources.
Add dummy implementation for locations in AST.

ocamliface/Makefile

@@ -52,19 +52,19 @@ COPY_FILES=\
   typing/btype.ml typing/oprint.ml \
   typing/subst.ml typing/predef.ml \
   typing/datarepr.ml typing/env.ml \
-  typing/ctype.ml typing/ctype.mli typing/printtyp.ml
+  typing/ctype.ml typing/ctype.mli typing/printtyp.ml typing/cmi_format.mli typing/cmi_format.ml
 
 COMPILE_FILES=\
-  asttypes.mli outcometree.mli asttypes.ml \
+  warnings.ml location.mli asttypes.mli outcometree.mli annot.mli asttypes.ml \
   config.ml misc.ml tbl.ml \
-  clflags.ml consistbl.ml warnings.ml terminfo.ml \
-  location.mli location.ml annot.mli longident.ml \
+  clflags.ml consistbl.ml terminfo.ml \
+  location.ml longident.ml \
   ident.ml path.ml \
   primitive.ml types.ml \
   btype.ml oprint.ml \
   subst.ml predef.ml \
-  datarepr.ml env.ml ctype.mli ctype.ml printtyp.ml
+  datarepr.ml cmi_format.mli cmi_format.ml env.ml ctype.mli ctype.ml printtyp.ml
 
 COMPILE_FILES_ML=$(filter %.ml,$(COMPILE_FILES))
 OBJECTS=$(COMPILE_FILES_ML:.ml=.cmo)
-XOBJECTS=$(COMPILE_FILES_ML:.ml=.cmx)
\ No newline at end of file
+XOBJECTS=$(COMPILE_FILES_ML:.ml=.cmx)

ocamliface/location.ml

@@ -3,6 +3,7 @@
 
 open Lexing
 type t = { loc_start: position; loc_end: position; loc_ghost: bool }
+type 'a loc = { txt: 'a; loc: t }
 
 let none = { loc_start = dummy_pos; loc_end = dummy_pos; loc_ghost = true }
 let dummy x = assert false
@@ -23,3 +24,9 @@ let prerr_warning = dummy
 let echo_eof = dummy
 let reset = dummy
 let highlight_locations = dummy
+let mknoloc = dummy
+let mkloc = dummy
+let print_loc = dummy
+let print_filename = dummy
+let show_filename = dummy
+let absname = ref true