Backport relevant parts of bugfixes [ad22262328b3], [61fdd06833a6] and [4add05447ca0] to branch 1.2 (#623)
7 ${PROJECT_BINARY_DIR}/lemon
10 ADD_EXECUTABLE(lgf-gen lgf-gen.cc)
11 TARGET_LINK_LIBRARIES(lgf-gen lemon)
13 ADD_EXECUTABLE(dimacs-to-lgf dimacs-to-lgf.cc)
14 TARGET_LINK_LIBRARIES(dimacs-to-lgf lemon)
16 ADD_EXECUTABLE(dimacs-solver dimacs-solver.cc)
17 TARGET_LINK_LIBRARIES(dimacs-solver lemon)
20 TARGETS lgf-gen dimacs-to-lgf dimacs-solver
21 RUNTIME DESTINATION bin
27 PROGRAMS ${CMAKE_CURRENT_SOURCE_DIR}/lemon-0.x-to-1.x.sh