1#### Binary target for MiniZinc documentation generator 2add_executable(mzn2doc mzn2doc.cpp) 3target_link_libraries(mzn2doc mzn) 4 5install( 6 TARGETS mzn2doc 7 EXPORT libminizincTargets 8 RUNTIME DESTINATION bin 9 LIBRARY DESTINATION lib 10 ARCHIVE DESTINATION lib 11)