Something went wrong. Try again.
This repository has no description
Something went wrong. Try again.
263 B · 11 lines
at develop
123456789101112#### Binary target for MiniZinc documentation generatoradd_executable(mzn2doc mzn2doc.cpp)target_link_libraries(mzn2doc mzn)
install( TARGETS mzn2doc EXPORT libminizincTargets RUNTIME DESTINATION bin LIBRARY DESTINATION lib ARCHIVE DESTINATION lib)