software/mza/cmake/targets/mzncc.cmake at develop · dekker.one/on-restart-benchmarks

this repo has no description

on-restart-benchmarks / software / mza / cmake / targets / mzncc.cmake

at develop 408 B view raw

 1#### Minizinc bytecode compiler
 2add_executable(mzncc
 3  mzncc.cpp
 4  lib/codegen.cpp
 5  lib/codegen/codegen_internal.hpp
 6  lib/codegen/analysis.hpp
 7  lib/codegen/analysis.cpp
 8  include/minizinc/codegen.hh
 9  include/minizinc/codegen_support.hh)
10target_link_libraries(mzncc mzn)
11
12install(
13  TARGETS mzncc
14  EXPORT libminizincTargets
15  RUNTIME DESTINATION bin
16  LIBRARY DESTINATION lib
17  ARCHIVE DESTINATION lib
18)