diff options
| author | Enrico Zini <enrico@enricozini.org> | 2015-09-10 15:27:15 +0200 |
|---|---|---|
| committer | Enrico Zini <enrico@enricozini.org> | 2015-09-10 15:27:15 +0200 |
| commit | 40b6b11a49e9bd6e13261ed1471371cd497d4baf (patch) | |
| tree | 2162d700a9b88aae220e6eb3d16fd941d314dcbd | |
| parent | f6cc4a1633ab4fdd8f58b7399b8e853c18d04d46 (diff) | |
| download | libept-40b6b11a49e9bd6e13261ed1471371cd497d4baf.tar.gz | |
Also distribute debtags/coll headers
| -rw-r--r-- | ept/CMakeLists.txt | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/ept/CMakeLists.txt b/ept/CMakeLists.txt index f5874bf..079cd95 100644 --- a/ept/CMakeLists.txt +++ b/ept/CMakeLists.txt @@ -10,6 +10,7 @@ file( GLOB h_top *.h ) file( GLOB h_apt apt/*.h ) file( GLOB h_debtags debtags/*.h ) file( GLOB h_debtags_maint debtags/maint/*.h ) +file( GLOB h_debtags_coll debtags/coll/*.h ) file( GLOB h_axi axi/*.h ) file( GLOB h_utils utils/*.h ) @@ -56,5 +57,6 @@ install( FILES ${h_top} DESTINATION include/ept ) install( FILES ${h_apt} DESTINATION include/ept/apt ) install( FILES ${h_debtags} DESTINATION include/ept/debtags ) install( FILES ${h_debtags_maint} DESTINATION include/ept/debtags/maint ) +install( FILES ${h_debtags_coll} DESTINATION include/ept/debtags/coll ) install( FILES ${h_axi} DESTINATION include/ept/axi ) install( FILES ${h_utils} DESTINATION include/ept/utils ) |