diff --git a/CMakeLists.txt b/CMakeLists.txt index 43d9de2d..a11acadf 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -108,7 +108,7 @@ if(PROOF_PRODUCER_VERSION_INCREMENT) string(APPEND CPACK_PACKAGE_VERSION "-${PROOF_PRODUCER_VERSION_INCREMENT}") endif() -set(CPACK_PACKAGING_INSTALL_PREFIX "/usr/lib/zkllvm") +set(CPACK_PACKAGING_INSTALL_PREFIX "/usr/lib/proof-producer") install(SCRIPT cmake/create-symlinks.cmake)