diff options
author | Andreas Rumpf <rumpf_a@web.de> | 2017-03-14 08:36:57 +0100 |
---|---|---|
committer | Andreas Rumpf <rumpf_a@web.de> | 2017-03-14 08:36:57 +0100 |
commit | 15a8996d57eb201cdc1db2e1e79faba4a3530636 (patch) | |
tree | 80942fcfed23e1211f934005197dcfed8e2eae38 /koch.nim | |
parent | d59441340dcc3b131c984def530084da93796775 (diff) | |
download | Nim-15a8996d57eb201cdc1db2e1e79faba4a3530636.tar.gz |
valgrind support for nim
Diffstat (limited to 'koch.nim')
-rw-r--r-- | koch.nim | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/koch.nim b/koch.nim index 7c0193917..37b33c5ac 100644 --- a/koch.nim +++ b/koch.nim @@ -512,6 +512,14 @@ proc pushCsources() = finally: setCurrentDir(cwd) +proc valgrind(cmd: string) = + exec("nim c " & cmd) + var i = cmd.len-1 + while i >= 0 and cmd[i] != ' ': dec i + let file = if i >= 0: substr(cmd, i+1) else: cmd + let supp = getAppDir() / "tools" / "nimgrind.supp" + exec("valgrind --suppressions=" & supp & " " & changeFileExt(file, "")) + proc showHelp() = quit(HelpText % [VersionAsString & spaces(44-len(VersionAsString)), CompileDate, CompileTime], QuitSuccess) @@ -548,5 +556,6 @@ of cmdArgument: of "nimsuggest": bundleNimsuggest(buildExe=true) of "tools": buildTools(existsDir(".git")) of "pushcsource", "pushcsources": pushCsources() + of "valgrind": valgrind(op.cmdLineRest) else: showHelp() of cmdEnd: showHelp() |