summaryrefslogtreecommitdiff
path: root/otherlibs/Makefile
diff options
context:
space:
mode:
authorSébastien Hinderer <Sebastien.Hinderer@inria.fr>2017-03-13 17:04:37 +0100
committerSébastien Hinderer <Sebastien.Hinderer@inria.fr>2017-03-29 11:10:06 +0200
commitcc7ad5650aac641053178ec1d08789b8e793e87b (patch)
tree4a3e736f7bfe200b9805ce757487f538a9615e8d /otherlibs/Makefile
parent1effaeb0581cf81e7af3a732d34a7e393423605e (diff)
downloadocaml-cc7ad5650aac641053178ec1d08789b8e793e87b.tar.gz
Get rid of BYTECC and NATIVECC
Use the same C compiler, CC, in all the build system.
Diffstat (limited to 'otherlibs/Makefile')
-rw-r--r--otherlibs/Makefile6
1 files changed, 3 insertions, 3 deletions
diff --git a/otherlibs/Makefile b/otherlibs/Makefile
index 05a093fd07..44d746b634 100644
--- a/otherlibs/Makefile
+++ b/otherlibs/Makefile
@@ -29,10 +29,10 @@ endif
CAMLC=$(CAMLRUN) $(ROOTDIR)/ocamlc -nostdlib -I $(ROOTDIR)/stdlib
CAMLOPT=$(CAMLRUN) $(ROOTDIR)/ocamlopt -nostdlib \
-I $(ROOTDIR)/stdlib
-CFLAGS=-I$(ROOTDIR)/byterun $(SHAREDCCCOMPOPTS) $(EXTRACFLAGS)
+CFLAGS = $(BYTECFLAGS) $(BYTECCCOMPOPTS) \
+ -I$(ROOTDIR)/byterun $(SHAREDCCCOMPOPTS) $(EXTRACFLAGS)
# Compilation options
-CC=$(BYTECC)
COMPFLAGS=-absname -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g \
-safe-string -strict-sequence -strict-formats $(EXTRACAMLFLAGS)
ifeq "$(FLAMBDA)" "true"
@@ -113,4 +113,4 @@ clean:: partialclean
$(CAMLOPT) -c $(COMPFLAGS) $(OPTCOMPFLAGS) $<
.c.$(O):
- $(BYTECC) $(BYTECCCOMPOPTS) $(CFLAGS) -c $<
+ $(CC) $(CFLAGS) -c $<