From 40b6b11a49e9bd6e13261ed1471371cd497d4baf Mon Sep 17 00:00:00 2001 From: Enrico Zini Date: Thu, 10 Sep 2015 15:27:15 +0200 Subject: Also distribute debtags/coll headers --- ept/CMakeLists.txt | 2 ++ 1 file changed, 2 insertions(+) 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 ) -- cgit v1.2.3