idyllicvision
diff --git a/‎CMakeLists.txt
+1-1 b/‎CMakeLists.txt
+1-1
diff --git a/‎build/build_fq.txt
-5 b/‎build/build_fq.txt
-5
diff --git a/‎build/build_fr.txt
-5 b/‎build/build_fr.txt
-5
@@ -41,7 +41,7 @@ endif()
 add_subdirectory(src)
 
 
-install(TARGETS prover rapidsnark test_prover
+install(TARGETS prover rapidsnark test_prover witness
     RUNTIME DESTINATION ${CMAKE_INSTALL_PREFIX}/bin
     BUNDLE DESTINATION ${CMAKE_INSTALL_PREFIX}/app
     LIBRARY DESTINATION ${CMAKE_INSTALL_PREFIX}/lib)