New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Fix missing headers in Debian package #203

Open

pantor wants to merge 5 commits into main from fix-packaging

Owner

pantor commented Sep 5, 2024

This PR:

Adds a CI job to build the package and compile the first example, making sure that all headers are present. Previously, this has been failing because of missing headers.
Installs the missing headers into include/ruckig/third_party and adds the corresponding include directory.

pantor added 5 commits

September 5, 2024 22:10


          test build package

b860bd3


          re-add pybind11 in ci

4493a5a


          apt install with sudo

c3ade8a


          change example CMake dirs

4ba04dc


          fix missing header installation

76e1d0a

Owner Author

pantor commented Sep 5, 2024

Resolves #202.

pantor mentioned this pull request

default repository checkout in install workspace fails to include nlohmann dependency #202

Open

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

Labels

None yet