cmake: circt install directory for CAPI (#7028)

This commit is contained in:
Will Dietz 2024-05-13 19:10:34 -05:00 committed by GitHub
parent 474fc3f4a4
commit e117ac3a0b
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 2 additions and 1 deletions

View File

@ -11,8 +11,9 @@ function(add_circt_interface interface)
endfunction()
function(add_circt_public_c_api_library name)
add_mlir_public_c_api_library(${ARGV})
add_mlir_public_c_api_library(${ARGV} DISABLE_INSTALL)
add_dependencies(circt-capi ${name})
add_circt_library_install(${name})
endfunction()
# Additional parameters are forwarded to tablegen.