remove unnecessary TODOs
parent
878c626a96
commit
32108ab8ec
|
@ -1,7 +1,6 @@
|
||||||
# Install headers
|
# Install headers
|
||||||
set(subdir discrete)
|
set(subdir discrete)
|
||||||
file(GLOB discrete_headers "*.h")
|
file(GLOB discrete_headers "*.h")
|
||||||
# FIXME: exclude headers
|
|
||||||
install(FILES ${discrete_headers} DESTINATION include/gtsam/discrete)
|
install(FILES ${discrete_headers} DESTINATION include/gtsam/discrete)
|
||||||
|
|
||||||
# Add all tests
|
# Add all tests
|
||||||
|
|
|
@ -1,7 +1,6 @@
|
||||||
# Install headers
|
# Install headers
|
||||||
set(subdir hybrid)
|
set(subdir hybrid)
|
||||||
file(GLOB hybrid_headers "*.h")
|
file(GLOB hybrid_headers "*.h")
|
||||||
# FIXME: exclude headers
|
|
||||||
install(FILES ${hybrid_headers} DESTINATION include/gtsam/hybrid)
|
install(FILES ${hybrid_headers} DESTINATION include/gtsam/hybrid)
|
||||||
|
|
||||||
# Add all tests
|
# Add all tests
|
||||||
|
|
Loading…
Reference in New Issue