File: libminizinc_scip.cmake

package info (click to toggle)
minizinc 2.9.3%2Bdfsg1-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 17,620 kB
  • sloc: cpp: 74,682; ansic: 8,541; python: 3,322; sh: 79; makefile: 13
file content (17 lines) | stat: -rw-r--r-- 545 bytes parent folder | download | duplicates (3)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
### MiniZinc SCIP Solver Target

if (NOT DEFINED EMSCRIPTEN)
	### Compile target for the SCIP interface
	add_library(minizinc_scip OBJECT
		solvers/MIP/MIP_scip_solverfactory.cpp
		solvers/MIP/MIP_scip_wrap.cpp

		include/minizinc/solvers/MIP/MIP_scip_solverfactory.hh
		include/minizinc/solvers/MIP/MIP_scip_wrap.hh
	)
	add_dependencies(minizinc_scip minizinc_mip)

	### Setup correct compilation into the MiniZinc library
  	target_compile_definitions(mzn PRIVATE HAS_SCIP)
	target_sources(mzn PRIVATE $<TARGET_OBJECTS:minizinc_scip>)
endif()