make: Add USE_DOTNET_CORE_31 and USE_DOTNET_6
This commit is contained in:
@@ -26,6 +26,9 @@ USE_PDLP := ON # OFF not supported
|
||||
USE_SCIP ?= ON
|
||||
USE_CPLEX ?= OFF
|
||||
USE_XPRESS ?= OFF
|
||||
|
||||
USE_DOTNET_CORE_31 ?= ON
|
||||
USE_DOTNET_6 ?= ON
|
||||
JOBS ?= 4
|
||||
|
||||
# Main targets.
|
||||
@@ -53,6 +56,8 @@ third_party:
|
||||
-DUSE_SCIP=$(USE_SCIP) \
|
||||
-DUSE_CPLEX=$(USE_CPLEX) \
|
||||
-DUSE_XPRESS=$(USE_XPRESS) \
|
||||
-DUSE_DOTNET_CORE_31=$(USE_DOTNET_CORE_31) \
|
||||
-DUSE_DOTNET_6=$(USE_DOTNET_6) \
|
||||
-DCMAKE_BUILD_TYPE=$(BUILD_TYPE) \
|
||||
-DCMAKE_INSTALL_PREFIX=$(INSTALL_DIR) \
|
||||
$(CMAKE_ARGS) \
|
||||
|
||||
Reference in New Issue
Block a user