You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
While cleaning up the phasar integration into the VaRA-Tool-Suite (se-sic/VaRA-Tool-Suite#664) I got the following CMake error basically for all phasar libraries:
CMake Error at cmake/phasar_macros.cmake:239 (install):
install TARGETS given no LIBRARY DESTINATION for shared library target
"phasar_analysis_strategy".
Call Stack (most recent call first):
lib/AnalysisStrategy/CMakeLists.txt:13 (add_phasar_library)
Hi @boehmseb, that looks quite strange. On my private system I could not reproduce that error -- that is, vara-buildsetup init phasar; vara-buildsetup build phasar complete successfully; actually include(GNUInstallDirs) from out top-level CMakeLists.txt should already set all these required paths correctly. I will investigate further
While cleaning up the phasar integration into the VaRA-Tool-Suite (se-sic/VaRA-Tool-Suite#664) I got the following CMake error basically for all phasar libraries:
It seems like 9c39fd8 could be the culprit.
The text was updated successfully, but these errors were encountered: