Skip to content
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.

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

Reinstall libtcmu API and header files #444

Open
wants to merge 5 commits into
base: main
Choose a base branch
from

Commits on Jul 14, 2018

  1. Revert "build: drop versionless libtcmu.so symlink"

    This reverts commit 8727a38.
    Yaowei Bai committed Jul 14, 2018
    Configuration menu
    Copy the full SHA
    e8b26c4 View commit details
    Browse the repository at this point in the history
  2. Revert "libtcmu: do not install headers and drop libtcmu stable API"

    This reverts commit a00cb71.
    Yaowei Bai committed Jul 14, 2018
    Configuration menu
    Copy the full SHA
    d5fec27 View commit details
    Browse the repository at this point in the history
  3. libtcmu: explicitly include tcmu-runner.h where necessary

    Separate tcmu-runner.h from libtcmu_priv.h and include it explicitly
    where it's necessary. We will export libtcmu_priv.h as part of libtcmu
    in the next patch.
    
    Signed-off-by: Yaowei Bai <[email protected]>
    Yaowei Bai committed Jul 14, 2018
    Configuration menu
    Copy the full SHA
    b1db372 View commit details
    Browse the repository at this point in the history
  4. libtcmu_priv.h: drop unnecessary header files

    Signed-off-by: Yaowei Bai <[email protected]>
    Yaowei Bai committed Jul 14, 2018
    Configuration menu
    Copy the full SHA
    1f925d0 View commit details
    Browse the repository at this point in the history
  5. CMakeList.txt: install more header files for dependence of libtcmu

    Signed-off-by: Yaowei Bai <[email protected]>
    Yaowei Bai committed Jul 14, 2018
    Configuration menu
    Copy the full SHA
    96d0625 View commit details
    Browse the repository at this point in the history