diff options
| -rw-r--r-- | stdlib/Makefile | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/stdlib/Makefile b/stdlib/Makefile index 92d3984f5d..d7028fa0bc 100644 --- a/stdlib/Makefile +++ b/stdlib/Makefile @@ -160,20 +160,26 @@ else # Windows # TODO: see whether there is a way to further merge the rules below # with those above -camlheader target_camlheader camlheader_ur: headernt.c +camlheader: headernt.c $(CC) -c $(CFLAGS) $(CPPFLAGS) -I../byterun \ -DRUNTIME_NAME='"ocamlrun"' $(OUTPUTOBJ)headernt.$(O) $< $(MKEXE) -o tmpheader.exe headernt.$(O) $(EXTRALIBS) rm -f camlheader.exe mv tmpheader.exe camlheader + +target_camlheader: camlheader cp camlheader target_camlheader + +camlheader_ur: camlheader cp camlheader camlheader_ur -camlheaderd target_camlheaderd: headernt.c +camlheaderd: headernt.c $(CC) -c $(CFLAGS) $(CPPFLAGS) -I../byterun \ -DRUNTIME_NAME='"ocamlrund"' $(OUTPUTOBJ)headerntd.$(O) $< $(MKEXE) -o tmpheaderd.exe headerntd.$(O) $(EXTRALIBS) mv tmpheaderd.exe camlheaderd + +target_camlheaderd: camlheaderd cp camlheaderd target_camlheaderd camlheaderi: headernt.c |