We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent eb2f1ed commit 63db8c1Copy full SHA for 63db8c1
otherlibs/Makefile.otherlibs.common
@@ -34,9 +34,6 @@ OC_CPPFLAGS += -I$(ROOTDIR)/runtime $(EXTRACPPFLAGS)
34
# Compilation options
35
COMPFLAGS=-absname -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g \
36
-safe-string -strict-sequence -strict-formats $(EXTRACAMLFLAGS)
37
-ifeq "$(FLAMBDA)" "true"
38
-OPTCOMPFLAGS += -O3
39
-endif
40
MKLIB=$(CAMLRUN) $(ROOTDIR)/tools/ocamlmklib
41
42
# Variables that must be defined by individual libraries:
0 commit comments