From 406717ce786a70e64b9043db45dd5a2add68f817 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias <e+git@x80.org>
Date: Mon, 27 Jun 2016 23:49:09 +0200
Subject: [configure] Support for flambda flags.

We add a new option to configure `-flambda-opts` to allow passing
custom flags to flambda. Example:

```
./configure -flambda-opts "-O3 -unbox-closures"
```
---
 Makefile.build | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile.build')

diff --git a/Makefile.build b/Makefile.build
index 7b2e209a2..63aa41c6c 100644
--- a/Makefile.build
+++ b/Makefile.build
@@ -196,7 +196,7 @@ OCAMLC := $(OCAMLFIND) ocamlc $(CAMLFLAGS)
 OCAMLOPT := $(OCAMLFIND) opt $(CAMLFLAGS)
 
 BYTEFLAGS=$(CAMLDEBUG) $(USERFLAGS)
-OPTFLAGS=$(CAMLDEBUGOPT) $(CAMLTIMEPROF) $(USERFLAGS)
+OPTFLAGS=$(CAMLDEBUGOPT) $(CAMLTIMEPROF) $(USERFLAGS) $(FLAMBDA_FLAGS)
 DEPFLAGS=$(LOCALINCLUDES)$(if $(filter plugins/%,$<),, -I ide -I ide/utils)
 
 # On MacOS, the binaries are signed, except our private ones
-- 
cgit v1.2.3