diff options
Diffstat (limited to 'otherlibs/win32unix')
| -rw-r--r-- | otherlibs/win32unix/Makefile.nt | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/otherlibs/win32unix/Makefile.nt b/otherlibs/win32unix/Makefile.nt index 26e119996..80dcd2fb9 100644 --- a/otherlibs/win32unix/Makefile.nt +++ b/otherlibs/win32unix/Makefile.nt @@ -66,7 +66,7 @@ io.h: "$(SYSTEM_INCLUDES)\io.h" unix.cma: $(CAML_OBJS) $(CAMLC) -a -linkall -o unix.cma $(CAML_OBJS) \ - -cclib -lunix + -dllib -lunix -cclib -lunix wsock32.lib unix.cmxa: $(CAMLOPT_OBJS) $(CAMLOPT) -a -linkall -o unix.cmxa $(CAMLOPT_OBJS) \ @@ -91,6 +91,9 @@ installopt: unixLabels.cmo: unixLabels.ml $(CAMLC) -c $(COMPFLAGS) -nolabels unixLabels.ml +unixLabels.cmx: unixLabels.ml + $(CAMLOPT) -c $(COMPFLAGS) -nolabels unixLabels.ml + .SUFFIXES: .ml .mli .cmo .cmi .cmx .dobj .sobj .mli.cmi: |