diff options
| -rw-r--r-- | otherlibs/graph/Makefile.nt | 1 | ||||
| -rw-r--r-- | otherlibs/win32unix/Makefile.nt | 9 |
2 files changed, 7 insertions, 3 deletions
diff --git a/otherlibs/graph/Makefile.nt b/otherlibs/graph/Makefile.nt index 5d011e794..36ee9e242 100644 --- a/otherlibs/graph/Makefile.nt +++ b/otherlibs/graph/Makefile.nt @@ -11,7 +11,6 @@ allopt: clean: rm -f *.cm* - rm -f graphics.ml realclean: clean rm -f *.a *.o diff --git a/otherlibs/win32unix/Makefile.nt b/otherlibs/win32unix/Makefile.nt index ac07b87d6..ce0e775df 100644 --- a/otherlibs/win32unix/Makefile.nt +++ b/otherlibs/win32unix/Makefile.nt @@ -26,10 +26,11 @@ UNIX_OBJS = $(UNIX_FILES:.c=.obj) C_OBJS=$(WIN_OBJS) $(UNIX_OBJS) CAML_OBJS=unix.cmo +CAMLOPT_OBJS=unix.cmx all: libunix.lib unix.cma -allopt: +allopt: libunix.lib unix.cmxa libunix.lib: copy_unix_files io.h $(C_OBJS) rm -f libthreads.lib @@ -45,8 +46,11 @@ io.h: $(SYSTEM_INCLUDES)\io.h unix.cma: $(CAML_OBJS) $(CAMLC) -a -linkall -o unix.cma $(CAML_OBJS) +unix.cmxa: $(CAMLOPT_OBJS) + $(CAMLOPT) -a -linkall -o unix.cmxa $(CAMLOPT_OBJS) + clean: - rm -f libthreads.lib *.obj *.cm* + rm -f *.lib *.obj *.cm* realclean: rm -f $(UNIX_FILES) @@ -57,6 +61,7 @@ install: cp unix.cmi unix.cma $(LIBDIR) installopt: + cp unix.cmxa unix.cmx unix.lib $(LIBDIR) .SUFFIXES: .ml .mli .cmo .cmi .cmx |