Define OPTCOMPFLAGS in Makefile.common.in

master
Greta Yorsh 2020-04-06 15:40:27 +01:00
parent ec03b06ad2
commit 7465e9f2c7
6 changed files with 7 additions and 15 deletions

View File

@ -62,9 +62,7 @@ COMPFLAGS=-strict-sequence -principal -absname -w +a-4-9-40-41-42-44-45-48-66 \
-warn-error A \
-bin-annot -safe-string -strict-formats $(INCLUDES)
ifeq "$(FUNCTION_SECTIONS)" "true"
OPTCOMPFLAGS= -function-sections
else
OPTCOMPFLAGS=
OPTCOMPFLAGS += -function-sections
endif
LINKFLAGS=

View File

@ -66,6 +66,8 @@ else
ocamlopt_cmd = $(FLEXLINK_ENV) $(ocamlopt)
endif
OPTCOMPFLAGS=
# By default, request ocamllex to be quiet
OCAMLLEX_FLAGS ?= -q

View File

@ -32,9 +32,7 @@ OC_CPPFLAGS += -I$(ROOTDIR)/runtime
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"
OPTCOMPFLAGS=-O3
else
OPTCOMPFLAGS=
OPTCOMPFLAGS += -O3
endif
ifeq "$(FUNCTION_SECTIONS)" "true"
OPTCOMPFLAGS += -function-sections

View File

@ -35,9 +35,7 @@ COMPFLAGS=-strict-sequence -principal -absname -w +a-4-9-40-41-42-44-45-48-66 \
-warn-error A \
-bin-annot -safe-string -strict-formats
ifeq "$(FLAMBDA)" "true"
OPTCOMPFLAGS=-O3
else
OPTCOMPFLAGS=
OPTCOMPFLAGS += -O3
endif
ifeq "$(FUNCTION_SECTIONS)" "true"
OPTCOMPFLAGS += -function-sections

View File

@ -36,9 +36,7 @@ CAMLOPT=$(BEST_OCAMLOPT) $(LIBS)
MKLIB=$(CAMLRUN) $(ROOTDIR)/tools/ocamlmklib
COMPFLAGS=-w +33..39 -warn-error A -g -bin-annot -safe-string
ifeq "$(FLAMBDA)" "true"
OPTCOMPFLAGS=-O3
else
OPTCOMPFLAGS=
OPTCOMPFLAGS += -O3
endif
ifeq "$(FUNCTION_SECTIONS)" "true"
OPTCOMPFLAGS += -function-sections

View File

@ -26,9 +26,7 @@ COMPFLAGS=-strict-sequence -absname -w +a-4-9-41-42-44-45-48 \
-g -warn-error A -bin-annot -nostdlib \
-safe-string -strict-formats
ifeq "$(FLAMBDA)" "true"
OPTCOMPFLAGS=-O3
else
OPTCOMPFLAGS=
OPTCOMPFLAGS += -O3
endif
ifeq "$(FUNCTION_SECTIONS)" "true"
OPTCOMPFLAGS += -function-sections