我已经查看了几十个用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,但这没有帮助.