mirror of
https://github.com/macports/macports-ports.git
synced 2026-07-12 18:20:25 -07:00
12 lines
586 B
Diff
12 lines
586 B
Diff
--- 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
|