Makefile: allow arbitrary nim params through EXTRA_NIM_PARAMS

This commit is contained in:
Ștefan Talpalaru 2019-03-12 12:09:33 +01:00 committed by zah
parent fba31263d4
commit 83d811ca1c
2 changed files with 7 additions and 1 deletions

View File

@ -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)

View File

@ -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