dekker.one / on-restart-benchmarks
this repo has no description
fork atom
on-restart-benchmarks / software / mza / cmake / targets / libmza.cmake
at develop 295 B view raw
1if(GECODE_FOUND AND USE_GECODE) 2 add_library(mza SHARED 3 lib/c_interface.cpp 4 include/minizinc/c_interface.h 5 ) 6 target_link_libraries(mza mzn) 7 8 install( 9 TARGETS mza 10 EXPORT libminizincTargets 11 RUNTIME DESTINATION bin 12 LIBRARY DESTINATION lib 13 ARCHIVE DESTINATION lib 14 ) 15endif()