Skip to content

Improved installation paths#901

Open
volkm wants to merge 4 commits intostormchecker:masterfrom
volkm:installation
Open

Improved installation paths#901
volkm wants to merge 4 commits intostormchecker:masterfrom
volkm:installation

Conversation

@volkm
Copy link
Contributor

@volkm volkm commented Mar 25, 2026

  • Use CMake variables instead of fixed paths, e.g. CMAKE_INSTALL_LIBDIR instead of lib
  • Install libcarl into the same directory as the Storm libs to avoid issues with subdirectories

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant