【发布时间】:2014-12-16 23:42:23
【问题描述】:
我查看了几十个使用 gprof 进行分析的教程。我正在尝试使用 SMT 求解器 dReal 的代码。为了构建程序,我首先安装了 g++-4.8、Bison、Flex 和 Cmake。然后构建 dReal,指令执行如下:
git clone git@github.com:soonhokong/dReal.git dreal
cd dreal
mkdir -p build/release
cd build/release
cmake -DCMAKE_BUILD_TYPE=RELEASE -DCMAKE_CXX_COMPILER=g++-4.8 -DCMAKE_C_COMPILER=gcc-4.8 ../../src
make
我应该在哪里添加-pg?我是编程新手,因此非常感谢推理而不是答案。我知道您应该将 -pg 添加到编译阶段,但所有教程都说将其放在 g++ 或 gcc 之后。我找不到如何修改 cmake 的代码。我确实尝试将构建类型更改为 PROFILE,但这没有帮助。
【问题讨论】:
-
您的问题已回答here
标签: cmake profiling gprof dreal