diff options
author | Wojciech Meyer <wojciech.meyer@gmail.com> | 2013-09-20 00:22:38 +0000 |
---|---|---|
committer | Wojciech Meyer <wojciech.meyer@gmail.com> | 2013-09-20 00:22:38 +0000 |
commit | 241585bc8320dc6f41e9a885d5bda93a759111c0 (patch) | |
tree | 98aec028105162c5ca887bde4d78676038a6f853 /otherlibs/Makefile | |
parent | 8104198af76eca5d1314947fff8ae5f4a6a320a9 (diff) | |
download | ocaml-241585bc8320dc6f41e9a885d5bda93a759111c0.tar.gz |
build: replace ocamlcomp*.sh.
This script was built from ocamlcomp.sh.in through sed and is called
instead of "ocamlc" (for instance).
It makes it possible to switch from "ocamlc" to "ocamlc.opt" without
changing anything in the Makefiles, only calling sed.
I couldn't cleanly make it handle both a compiler for the target and for
the build. Instead I'm replacing it and doing as much as possible
directly in the Makefiles.
I hoped it would reduce the number of shell invocations, which would
speed things up quite a lot on Windows but I still had to have at least
one since it's not possible to update a make variable from inside a make
rule: i.e. it's not possible to do X=a, build a.opt and update X to be
a.opt.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14168 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/Makefile')
-rw-r--r-- | otherlibs/Makefile | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/otherlibs/Makefile b/otherlibs/Makefile index 6c3e58aa65..df6feafc4b 100644 --- a/otherlibs/Makefile +++ b/otherlibs/Makefile @@ -13,9 +13,11 @@ # Common Makefile for otherlibs on the Unix ports -CAMLC=$(ROOTDIR)/ocamlcomp.sh -CAMLOPT=$(ROOTDIR)/ocamlcompopt.sh -CFLAGS=-I$(ROOTDIR)/byterun -O $(SHAREDCCCOMPOPTS) $(EXTRACFLAGS) +CAMLC=$(CAMLC_BIN) -nostdlib -I ../../stdlib +CAMLOPT=$(CAMLOPT_BIN) -nostdlib -I ../../stdlib +CAMLC_BIN_CMD=$(CAMLC_BIN_CMD_TO_EVAL) -nostdlib -I ../../stdlib +CAMLOPT_BIN_CMD=$(CAMLOPT_BIN_CMD_TO_EVAL) -nostdlib -I ../../stdlib +CFLAGS=-I../../byterun -O $(SHAREDCCCOMPOPTS) $(EXTRACFLAGS) include ../Makefile.shared # Note .. is the current directory (this makefile is included from |