this repo has no description
dekker.one
1### MiniZinc Library Target
2# Combined definition of the MiniZinc core and all solvers compiled
3
4include(cmake/targets/libminizinc_parser.cmake)
5include(cmake/targets/libminizinc_fzn.cmake)
6include(cmake/targets/libminizinc_nl.cmake)
7include(cmake/targets/libminizinc_mip.cmake)
8
9add_library(mzn
10 lib/MIPdomains.cpp
11 lib/ast.cpp
12 lib/astexception.cpp
13 lib/astmap.cpp
14 lib/aststring.cpp
15 lib/astvec.cpp
16 lib/builtins.cpp
17 lib/cdecode.c
18 lib/cencode.c
19 lib/chain_compressor.cpp
20 lib/copy.cpp
21 lib/eval_par.cpp
22 lib/file_utils.cpp
23 lib/flatten.cpp
24 lib/flatten/flat_exp.cpp
25 lib/flatten/flatten_anon.cpp
26 lib/flatten/flatten_arrayaccess.cpp
27 lib/flatten/flatten_arraylit.cpp
28 lib/flatten/flatten_binop.cpp
29 lib/flatten/flatten_call.cpp
30 lib/flatten/flatten_comp.cpp
31 lib/flatten/flatten_id.cpp
32 lib/flatten/flatten_ite.cpp
33 lib/flatten/flatten_let.cpp
34 lib/flatten/flatten_par.cpp
35 lib/flatten/flatten_setlit.cpp
36 lib/flatten/flatten_unop.cpp
37 lib/flatten/flatten_vardecl.cpp
38 lib/flattener.cpp
39 lib/gc.cpp
40 lib/htmlprinter.cpp
41 lib/json_parser.cpp
42 lib/lexer.lxx
43 lib/thirdparty/miniz.c
44 lib/model.cpp
45 lib/optimize.cpp
46 lib/optimize_constraints.cpp
47 lib/output.cpp
48 lib/param_config.cpp
49 lib/parser.cpp
50 lib/parser.yxx
51 lib/passes/compile_pass.cpp
52 lib/pathfileprinter.cpp
53 lib/prettyprinter.cpp
54 lib/solns2out.cpp
55 lib/solver.cpp
56 lib/solver_config.cpp
57 lib/solver_instance_base.cpp
58 lib/statistics.cpp
59 lib/type.cpp
60 lib/typecheck.cpp
61 lib/values.cpp
62 lib/support/regex/parser.yxx
63 lib/support/regex/lexer.lxx
64
65 include/minizinc/ast.hh
66 include/minizinc/ast.hpp
67 include/minizinc/astexception.hh
68 include/minizinc/astiterator.hh
69 include/minizinc/astmap.hh
70 include/minizinc/aststring.hh
71 include/minizinc/astvec.hh
72 include/minizinc/builtins.hh
73 include/minizinc/chain_compressor.hh
74 include/minizinc/config.hh.in
75 include/minizinc/copy.hh
76 include/minizinc/eval_par.hh
77 include/minizinc/exception.hh
78 include/minizinc/file_utils.hh
79 include/minizinc/flat_exp.hh
80 include/minizinc/flatten.hh
81 include/minizinc/flatten_internal.hh
82 include/minizinc/flattener.hh
83 include/minizinc/gc.hh
84 include/minizinc/hash.hh
85 include/minizinc/htmlprinter.hh
86 include/minizinc/interrupt.hh
87 include/minizinc/iter.hh
88 include/minizinc/json_parser.hh
89 include/minizinc/model.hh
90 include/minizinc/optimize.hh
91 include/minizinc/optimize_constraints.hh
92 include/minizinc/output.hh
93 include/minizinc/param_config.hh
94 include/minizinc/parser.hh
95 include/minizinc/passes/compile_pass.hh
96 include/minizinc/pathfileprinter.hh
97 include/minizinc/prettyprinter.hh
98 include/minizinc/process.hh
99 include/minizinc/solns2out.hh
100 include/minizinc/solver.hh
101 include/minizinc/solver_config.hh
102 include/minizinc/solver_instance.hh
103 include/minizinc/solver_instance_base.hh
104 include/minizinc/statistics.hh
105 include/minizinc/support/regex.hh
106 include/minizinc/_thirdparty/b64/cdecode.h
107 include/minizinc/_thirdparty/b64/cencode.h
108 include/minizinc/_thirdparty/b64/decode.h
109 include/minizinc/_thirdparty/b64/encode.h
110 include/minizinc/_thirdparty/miniz.h
111 include/minizinc/timer.hh
112 include/minizinc/type.hh
113 include/minizinc/typecheck.hh
114 include/minizinc/utils.hh
115 include/minizinc/values.hh
116
117 $<TARGET_OBJECTS:minizinc_parser>
118 $<TARGET_OBJECTS:minizinc_fzn>
119 $<TARGET_OBJECTS:minizinc_mip>
120 $<TARGET_OBJECTS:minizinc_nl>
121)
122target_link_libraries(mzn ${CMAKE_THREAD_LIBS_INIT})
123
124### Add Solver Interfaces to the MiniZinc library when available
125include(cmake/targets/libminizinc_cplex.cmake)
126include(cmake/targets/libminizinc_geas.cmake)
127include(cmake/targets/libminizinc_gecode.cmake)
128include(cmake/targets/libminizinc_gurobi.cmake)
129include(cmake/targets/libminizinc_osicbc.cmake)
130include(cmake/targets/libminizinc_scip.cmake)
131include(cmake/targets/libminizinc_xpress.cmake)
132
133if(GECODE_FOUND)
134 target_link_libraries(mzn Gecode::Minimodel Gecode::Support)
135endif()
136
137
138### Add all necessary files to the install target
139install(
140 TARGETS mzn
141 EXPORT libminizincTargets
142 RUNTIME DESTINATION ${CMAKE_INSTALL_BINDIR}
143 LIBRARY DESTINATION ${CMAKE_INSTALL_LIBDIR}
144 ARCHIVE DESTINATION ${CMAKE_INSTALL_LIBDIR}
145)
146install(
147 DIRECTORY share/minizinc
148 DESTINATION ${CMAKE_INSTALL_DATAROOTDIR}
149)
150install(
151 DIRECTORY include/minizinc
152 DESTINATION ${CMAKE_INSTALL_INCLUDEDIR}
153 PATTERN config.hh.in EXCLUDE
154)
155install(
156 DIRECTORY lib/cached/minizinc
157 DESTINATION ${CMAKE_INSTALL_INCLUDEDIR}
158)