Fixed DDLGeneratorTools flag

This commit is contained in:
Lauchmelder 2020-06-15 12:30:28 +02:00 committed by GitHub
parent 1dacaffa2b
commit 8180cc8b04
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -108,7 +108,9 @@ if(ddl_cmake_enable_tests)
add_subdirectory(test)
endif()
add_subdirectory(ddlgenerators)
if(ddl_cmake_enable_ddl_generator_tools)
add_subdirectory(ddlgenerators)
endif()
if(ddl_cmake_enable_installation)
install(TARGETS ddl ARCHIVE DESTINATION lib)