diff options
author | Damien Doligez <damien.doligez-inria.fr> | 2015-07-17 14:31:05 +0000 |
---|---|---|
committer | Damien Doligez <damien.doligez-inria.fr> | 2015-07-17 14:31:05 +0000 |
commit | 860c670848440f791d1b9c68a1ace8fb629da234 (patch) | |
tree | 6b856e6a04cf876221c6740e8df75a8778a3b8b7 /otherlibs/Makefile | |
parent | 7fdba8f53360d9355dc96953a0d8225e111ab722 (diff) | |
download | ocaml-860c670848440f791d1b9c68a1ace8fb629da234.tar.gz |
merge branch 4.02 from 4.02.1 (rev 15540) to a few fixes after 4.02.2 (rev 16205)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16214 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/Makefile')
-rw-r--r-- | otherlibs/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/otherlibs/Makefile b/otherlibs/Makefile index 8516173b1f..ff4dbb09ef 100644 --- a/otherlibs/Makefile +++ b/otherlibs/Makefile @@ -13,8 +13,8 @@ # Common Makefile for otherlibs on the Unix ports -CAMLC=$(ROOTDIR)/boot/ocamlrun $(ROOTDIR)/ocamlc -nostdlib -I $(ROOTDIR)/stdlib -CAMLOPT=$(ROOTDIR)/boot/ocamlrun $(ROOTDIR)/ocamlopt -nostdlib \ +CAMLC=$(CAMLRUN) $(ROOTDIR)/ocamlc -nostdlib -I $(ROOTDIR)/stdlib +CAMLOPT=$(CAMLRUN) $(ROOTDIR)/ocamlopt -nostdlib \ -I $(ROOTDIR)/stdlib COPTFLAG=-O CFLAGS=-I$(ROOTDIR)/byterun $(COPTFLAG) $(SHAREDCCCOMPOPTS) $(EXTRACFLAGS) |