Skip to content

Commit 225241b

Browse files
committed
Add driver, flatzinc and gist to the build.
1 parent a237a99 commit 225241b

File tree

1 file changed

+9
-1
lines changed

1 file changed

+9
-1
lines changed

CMakeLists.txt

+9-1
Original file line numberDiff line numberDiff line change
@@ -171,6 +171,8 @@ find_package(Qt4)
171171
if (QT4_FOUND)
172172
set(GECODE_HAS_QT "/**/")
173173
set(GECODE_HAS_GIST "/**/")
174+
set(EXTRA_LIBS gist)
175+
include(${QT_USE_FILE})
174176
endif ()
175177

176178
include(CheckSymbolExists)
@@ -299,7 +301,8 @@ foreach (line ${lines})
299301
endif ()
300302
endforeach ()
301303

302-
foreach (lib support kernel search int set float minimodel)
304+
foreach (lib support kernel search int set float
305+
minimodel driver flatzinc ${EXTRA_LIBS})
303306
if (lib STREQUAL "minimodel")
304307
set(libupper MM)
305308
else ()
@@ -318,6 +321,11 @@ target_link_libraries(gecodeint gecodekernel)
318321
target_link_libraries(gecodeset gecodekernel)
319322
target_link_libraries(gecodeminimodel gecodeint gecodeset gecodesearch)
320323

324+
if (GECODE_HAS_QT)
325+
target_link_libraries(gecodeflatzinc ${QT_LIBRARIES})
326+
target_link_libraries(gecodegist ${QT_LIBRARIES})
327+
endif ()
328+
321329
if (FLOATSRC)
322330
target_link_libraries(gecodefloat gecodekernel)
323331
target_link_libraries(gecodeminimodel gecodefloat)

0 commit comments

Comments
 (0)