dreal

How to use gprof with cmake

寵の児 提交于 2019-12-23 07:38:36
问题 I have looked at dozens of tutorials for profiling with gprof. I'm trying to work with code for the SMT solver dReal. To build the program, I first installed g++-4.8, Bison, Flex, and Cmake. Then to build dReal, the instructions said to execute the following: 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 Where in here am I supposed to