00663ac Call for the internal SAT solver. — HardenedBSD-pkg

rad:z3QDZAW2FAfuLvihrhiyDC9fAD8G9

HardenedBSD Package Manager

Call for the internal SAT solver.

Vsevolod Stakhov committed 12 years ago

commit 00663ac3b5950a124dd15a00c6b01ff29e7e913e
parent bbbdffb

1 file changed +7 -0

modified libpkg/pkg_jobs.c

@@ -983,6 +983,13 @@ pkg_jobs_solve(struct pkg_jobs *j)

 					pclose(spipe);
 				}
 			}
 			else {
 				if (!pkg_solve_sat_problem (problem)) {
 					pkg_emit_error("cannot solve job using SAT solver");
 					ret = EPKG_FATAL;
 					j->solved = false;
 				}
 			}
 		}
 	}
 	return (ret);