--- CMakeLists.txt	2021-05-27 16:20:04.000000000 -0600
+++ CMakeLists.txt	2021-05-27 16:26:32.000000000 -0600
@@ -539,6 +539,8 @@
 include(${PROJECT_SOURCE_DIR}/cmake/z3_add_component.cmake)
 include(${PROJECT_SOURCE_DIR}/cmake/z3_append_linker_flag_list_to_target.cmake)
 add_subdirectory(src)
+add_executable(qprofdiff contrib/qprofdiff/main.cpp)
+install(TARGETS qprofdiff RUNTIME DESTINATION "${CMAKE_INSTALL_BINDIR}")
 
 ################################################################################
 # Create `Z3Config.cmake` and related files for the build tree so clients can