always-cautious/ortools-clone
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Add makefile recipes for the new SAT samples

Browse Source
This commit is contained in:
Corentin Le Molgat
2019-03-25 13:30:23 +01:00
parent 8ff169ff17
commit 9e1bc75fa4
4 changed files with 8 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
makefiles/Makefile.cpp.mk
View File

@@ -392,6 +392,7 @@ test_cc_sat_samples: \
rcc_bool_or_sample_sat \
rcc_channeling_sample_sat \
rcc_cp_is_fun_sat \
rcc_earliness_tardiness_cost_sample_sat \
rcc_interval_sample_sat \
rcc_literal_sample_sat \
rcc_no_overlap_sample_sat \
@@ -403,6 +404,7 @@ test_cc_sat_samples: \
rcc_simple_sat_program \
rcc_solve_and_print_intermediate_solutions_sample_sat \
rcc_solve_with_time_limit_sample_sat \
rcc_step_function_sample_sat \
rcc_stop_after_n_solutions_sample_sat
.PHONY: check_cc_pimpl

2
makefiles/Makefile.dotnet.mk
View File

@@ -474,6 +474,7 @@ test_dotnet_sat_samples:
$(MAKE) run SOURCE=ortools/sat/samples/BoolOrSampleSat.cs
$(MAKE) run SOURCE=ortools/sat/samples/ChannelingSampleSat.cs
$(MAKE) run SOURCE=ortools/sat/samples/CpIsFunSat.cs
$(MAKE) run SOURCE=ortools/sat/samples/EarlinessTardinessCostSampleSat.cs
$(MAKE) run SOURCE=ortools/sat/samples/IntervalSampleSat.cs
$(MAKE) run SOURCE=ortools/sat/samples/LiteralSampleSat.cs
$(MAKE) run SOURCE=ortools/sat/samples/NoOverlapSampleSat.cs
@@ -485,6 +486,7 @@ test_dotnet_sat_samples:
$(MAKE) run SOURCE=ortools/sat/samples/SimpleSatProgram.cs
$(MAKE) run SOURCE=ortools/sat/samples/SolveAndPrintIntermediateSolutionsSampleSat.cs
$(MAKE) run SOURCE=ortools/sat/samples/SolveWithTimeLimitSampleSat.cs
$(MAKE) run SOURCE=ortools/sat/samples/StepFunctionSampleSat.cs
$(MAKE) run SOURCE=ortools/sat/samples/StopAfterNSolutionsSampleSat.cs
.PHONY: check_dotnet_pimpl

2
makefiles/Makefile.java.mk
View File

@@ -406,6 +406,7 @@ test_java_sat_samples: \
rjava_BoolOrSampleSat \
rjava_ChannelingSampleSat \
rjava_CpIsFunSat \
rjava_EarlinessTardinessCostSampleSat \
rjava_IntervalSampleSat \
rjava_LiteralSampleSat \
rjava_NoOverlapSampleSat \
@@ -417,6 +418,7 @@ test_java_sat_samples: \
rjava_SimpleSatProgram \
rjava_SolveAndPrintIntermediateSolutionsSampleSat \
rjava_SolveWithTimeLimitSampleSat \
rjava_StepFunctionSampleSat \
rjava_StopAfterNSolutionsSampleSat
.PHONY: check_java_pimpl

2
makefiles/Makefile.python.mk
View File

@@ -540,6 +540,7 @@ test_python_sat_samples: \
rpy_bool_or_sample_sat \
rpy_channeling_sample_sat \
rpy_cp_is_fun_sat \
rpy_earliness_tardiness_cost_sample_sat \
rpy_interval_sample_sat \
rpy_literal_sample_sat \
rpy_minimal_jobshop_sat \
@@ -553,6 +554,7 @@ test_python_sat_samples: \
rpy_search_for_all_solutions_sample_sat \
rpy_solve_and_print_intermediate_solutions_sample_sat \
rpy_solve_with_time_limit_sample_sat \
rpy_step_function_sample_sat \
rpy_stop_after_n_solutions_sample_sat
.PHONY: check_python_pimpl