diff options
Diffstat (limited to 'tools/Makefile.nt')
| -rw-r--r-- | tools/Makefile.nt | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/tools/Makefile.nt b/tools/Makefile.nt index ed9b35946d..15c4e796fb 100644 --- a/tools/Makefile.nt +++ b/tools/Makefile.nt @@ -15,7 +15,9 @@ include Makefile.shared # To make custom toplevels OCAMLMKTOP=ocamlmktop.cmo -OCAMLMKTOP_IMPORTS=misc.cmo config.cmo clflags.cmo ccomp.cmo +OCAMLMKTOP_IMPORTS=\ + misc.cmo ext_types.cmo arg_helper.cmo \ + config.cmo clflags.cmo ccomp.cmo ocamlmktop: $(OCAMLMKTOP) $(CAMLC) $(LINKFLAGS) -o ocamlmktop $(OCAMLMKTOP_IMPORTS) $(OCAMLMKTOP) |