diff options
Diffstat (limited to 'demangler/gnu3')
| -rw-r--r-- | demangler/gnu3/CMakeLists.txt | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/demangler/gnu3/CMakeLists.txt b/demangler/gnu3/CMakeLists.txt index b7b4b149..58d7fe4f 100644 --- a/demangler/gnu3/CMakeLists.txt +++ b/demangler/gnu3/CMakeLists.txt @@ -7,7 +7,11 @@ file(GLOB SOURCES *.c *.h) -add_library(${PROJECT_NAME} SHARED ${SOURCES}) +if(DEMO) + add_library(${PROJECT_NAME} STATIC ${SOURCES}) +else() + add_library(${PROJECT_NAME} SHARED ${SOURCES}) +endif() if(NOT BN_INTERNAL_BUILD) # Out-of-tree build |