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

fix(tests/shared): include shared_test in the test suite

Browse source
This commit is contained in:
Leonardo de Moura 2015-08-13 11:52:38 -07:00
parent 52138b8232
commit 3de290db35
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/tests/shared/CMakeLists.txt
View file

@ -1,2 +1,3 @@
add_executable(shared_test shared.cpp)
target_link_libraries(shared_test ${EXTRA_LIBS} leanshared)
add_test(shared_test "${CMAKE_CURRENT_BINARY_DIR}/shared_test")