phasar installs files from googletest, nlohmann json

secure-software-engineering / phasar

A LLVM-based static analysis framework.

Other

927 stars 140 forks source link

phasar installs files from googletest, nlohmann json #566

Open yurivict opened 1 year ago

yurivict commented 1 year ago

===>   Registering installation for phasar-1222
Installing phasar-1222...
pkg-static: phasar-1222 conflicts with googletest-1.12.1 (installs files into the same place).  Problematic file: /usr/local/include/gtest/gtest-death-test.h
*** Error code 1

===>   Registering installation for phasar-1222
Installing phasar-1222...
pkg-static: phasar-1222 conflicts with nlohmann-json-3.11.2 (installs files into the same place).  Problematic file: /usr/local/include/nlohmann/json.hpp
*** Error code 1

Version: 1222

fabianbs96 commented 1 year ago

PhASAR installs these dependencies, because it needs them to compile and run. We are aware that version conflicts are a problem and we are currently completely overhauling our dependency management. See #516.

yurivict commented 5 months ago

@fabianbs96

Any chance to fix this? All distros must have the same problem with conflict between nlohmann json versions. This prevents porting efforts or makes them more difficult.

fabianbs96 commented 5 months ago

Hi @yurivict, I understand that this is an issue, however, fixing this properly is not straightforward. Can you check whether #707 fixes your issue?