This commit is contained in:
James Cherry 2020-09-17 09:22:00 -07:00
parent 7d31cfac8f
commit 3c183908c5
1 changed files with 1 additions and 2 deletions

View File

@ -449,10 +449,9 @@ target_include_directories(OpenSTA
${CUDD_INCLUDE}
)
target_compile_features(OpenSTA PUBLIC cxx_std_11)
# Disable compiler specific extensions like gnu++11.
set_target_properties(OpenSTA PROPERTIES CXX_EXTENSIONS OFF)
target_compile_features(OpenSTA PUBLIC cxx_std_11)
###########################################################
# Executable