Open jusito opened 2 years ago
@jusito please give me a ping shortly before this is merged so I can run a final integration test with the phasar in-tree build
@jusito we should also update our GitHub workflows to work with the new build system right? If you do this in the GitHub actions I guess I can reproduce what you do there for the Dockerimages to at least get this off your hands. Just ping me if you need anything for this, but I guess you are also familiar with those things right :)
As update, conan 2.0 is out so I can continue on this. In essence the cmake integration changed in way I have to rethink a bit. Already looked into different solutions in january and it should be fine. Also had a look into install part where the config.cmake.in needs some time, but after that should be fine. Iam planning to invest some time in april.
Phasar meets conan
Our main idea was to reuse our just-simple.cmake, which is like phasar_macros.cmake but more generic, and apply it with all its features to phasar. It took us around a year to mature it, always in mind with good cmake practice. This simplifies the cmake maintenance a lot.
include
,src
,resource
,test
phasar-llvm
and if test folder is present with testsphasar-llvm-test
ninja ccov-all
for debug preset and check*build*/ccov/all-merged/index.html
*build*/html/index.html
git mv
so file history is kept and I double checked for .h, .cpp, *.hpp files./utils/run_debugger.sh OpenSSL
uses ctest to resolves binary according to test filter, executes binary with lldb/gdb in correct wdir and generates gtest filter, prints and executes it E.g.lldb -- phasar-llvm-test --gtest_filter=*IDETSAnalysisOpenSSL*
project-folder[-test|-tool]
phasar-llvm
because there were a lot of circular dependencies (A uses include from B but B depends on A). This can be reverted but I didn't want to touch a lot of code in this pr just cmake and fix paths. Suggesting a follow up after this.(only for internal) Prepare conan to use prebuild llvm packages
pip3 install conan
conan config init
conan profile update settings.compiler=clang default
conan profile update settings.compiler.version=14 default
conan profile update settings.compiler.libcxx=libstdc++11 default
conan config set general.request_timeout=300
our gitlab can be very slow for huge packagesconan remote add just-simple-cmake https://gitlab.cc-asp.fraunhofer.de/api/v4/projects/34353/packages/conan
conan user -r "just-simple-cmake" -p "gitlab_api_read_token" "randomUser"
conan-relog
script in PATH, our gitlab needs sometimes a relog and this makes it way more handy.how to test normal build?
./utils/conan/install_recipes_to_local.sh
cmake --preset debug
cmake --build --preset debug
ctest --preset debug
ctest --preset debug -R IDETSAnalysisOpenSSL
ctest --preset debug -L phasar-llvm
Available preset for all stages are:
debug
debug-shared
release
release-shared
Phasar in tree build?
llvm/tools/phasar
conanfile.in_llvm_tree.txt
cmake/options.cmake
contains a branch for in tree, currently only disables unittests and changes the default conanfilewhat is missing?
#removed wali