From 83d811ca1c3b0fdec3ddecc463f667b788396e27 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=C8=98tefan=20Talpalaru?= <stefantalpalaru@yahoo.com>
Date: Tue, 12 Mar 2019 12:09:33 +0100
Subject: [PATCH] Makefile: allow arbitrary nim params through EXTRA_NIM_PARAMS

---
 Makefile  | 2 +-
 README.md | 6 ++++++
 2 files changed, 7 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 9d0f09ce2..1206da36f 100644
--- a/Makefile
+++ b/Makefile
@@ -26,7 +26,7 @@ ENV_SCRIPT := "$(CURDIR)/env.sh"
 # duplicated in "env.sh" to prepend NIM_DIR/bin to PATH
 NIM_DIR := vendor/Nim
 # extra parameters for the Nim compiler
-NIM_PARAMS :=
+NIM_PARAMS := $(EXTRA_NIM_PARAMS)
 # verbosity level
 V := 1
 NIM_PARAMS := $(NIM_PARAMS) --verbosity:$(V)
diff --git a/README.md b/README.md
index cdb0a788c..292f333ff 100644
--- a/README.md
+++ b/README.md
@@ -115,6 +115,12 @@ make LOG_LEVEL=DEBUG nimbus # this is the default
 make LOG_LEVEL=TRACE nimbus # log everything
 ```
 
+- pass arbitrary parameters to the Nim compiler:
+
+```bash
+make EXTRA_NIM_PARAMS="-d:release"
+```
+
 - if you want to use SSH keys with GitHub:
 
 ```bash