add --clearNimblePath; fixes #12601 (#12609)

This commit is contained in:
Andy Davidoff 2019-11-06 14:40:22 -05:00 • committed by Andreas Rumpf
commit 738c957e94
3 changed files with 7 additions and 0 deletions

View file

@ -102,6 +102,7 @@ Advanced options:
--putenv:key=value set an environment variable
--NimblePath:PATH add a path for Nimble support
--noNimblePath deactivate the Nimble path
--clearNimblePath empty the list of Nimble package search paths
--noCppExceptions use default exception handling with C++ backend
--cppCompileToNamespace:namespace
use the provided namespace for the generated C++ code,