diff options
| author | alainfrisch <alain@frisch.fr> | 2018-02-28 10:36:54 +0100 |
|---|---|---|
| committer | alainfrisch <alain@frisch.fr> | 2018-02-28 10:36:54 +0100 |
| commit | 6a93e6783d86610b1f4013a1058df387fd4b3bf2 (patch) | |
| tree | fa043f84e2f4f28859bf3c2b87aeba764cffcbe2 | |
| parent | dfea5768067fd7b6f2166f21623d41f15952f3f4 (diff) | |
| download | ocaml-afrisch_fix_stdlib_makefile_windows.tar.gz | |
Avoid rules with multiple targets.afrisch_fix_stdlib_makefile_windows
| -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 |