我想评测一个由Stack管理的程序。该文件是使用以下命令构建的:
stack build --executable-profiling --library-profiling --ghc-options="-fprof-auto -rtsopts"
用这个命令运行
stack exec myProgram.exe -- inputArg +RTS -p
我知道程序已经运行(从输出文件),但我希望也能生成一个myProgram.prof
文件,我找不到这个文件。
如果我在不使用堆栈的情况下执行程序,就会生成评测文件,但有没有办法使用堆栈来实现这一点?
--
停止RTS处理进一步的命令行参数,但会传递给程序。因此,您的--
对stack
和myProgram.exe
都可见,因此+RTS -p
标志对myProgram.exe
的RTS不可见。请尝试
stack exec -- myProgram.exe inputArg +RTS -p