this repo has no description
dekker.one
1message("\n----- MiniZinc build configuration ----")
2if(BUILD_REF)
3 set(STR_BUILD_REF "build ${BUILD_REF}")
4endif()
5message("MiniZinc version: ${libminizinc_VERSION} ${STR_BUILD_REF}")
6message("Enabled drivers:")
7
8if(TARGET minizinc_cplex)
9 if(CPLEX_PLUGIN)
10 set(STR_CPLEX_PLUGIN " PLUGIN")
11 endif()
12 message("\tCPLEX${STR_CPLEX_PLUGIN}: ${CPLEX_INCLUDE_DIRS}")
13endif()
14if(TARGET minizinc_geas)
15 message("\tGeas: ${GEAS_INCLUDE_DIRS}")
16endif()
17if(TARGET minizinc_gecode)
18 message("\tGecode ${GECODE_VERSION}: ${GECODE_INCLUDE_DIRS}")
19endif()
20if(TARGET minizinc_gurobi)
21 if(GUROBI_PLUGIN)
22 set(STR_GUROBI_PLUGIN " PLUGIN")
23 endif()
24 message("\tGurobi${STR_GUROBI_PLUGIN}: ${GUROBI_INCLUDE_DIRS}")
25endif()
26if(TARGET minizinc_osicbc)
27 message("\tOSICBC: ${OSICBC_INCLUDE_DIRS}")
28endif()
29if(TARGET minizinc_scip)
30 message("\tSCIP: ${SCIP_INCLUDE_DIRS}")
31endif()
32if(TARGET minizinc_xpress)
33 message("\tXPress: ${XPRESS_INCLUDE_DIRS}")
34endif()
35message("---------------------------------------\n")