michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fix(CMakeLists): DLL generation

Browse source
This commit is contained in:
Leonardo de Moura 2015-08-13 11:38:33 -07:00
parent 498afc1e6f
commit 8746484b8f
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
src/CMakeLists.txt
View file

@ -354,6 +354,7 @@ endif()
set(CMAKE_EXE_LINKER_FLAGS_TESTCOV "${CMAKE_EXE_LINKER_FLAGS} -fprofile-arcs -ftest-coverage")
add_library(leanstatic ${LEAN_OBJS})
add_library(leanshared SHARED ${LEAN_OBJS})
target_link_libraries(leanshared ${EXTRA_LIBS})
add_subdirectory(shell)
add_subdirectory(emacs)