On 06/27/16 12:38, Hans Petter Selasky wrote:
Hi,
I found some bugs in PKG with regard to the SAT_SOLVER environment
variable. Please find patch attached :-)
Issues fixed:
1) No need to use hash table when generating SAT rules for external
solver. Variables are already in a linear array. Fix encoding and
decoding of SAT data.
2) Endless variable loop caused pkg to crash.
3) it->inverse was checked for non-zero, while it should actually be
checked for -1 only. SAT rules produces were all negative.
How to verify:
make -C /usr/ports/math/picosat all install clean
env SAT_SOLVER=picosat pkg upgrade
--HPS
_______________________________________________
freebsd-ports@freebsd.org mailing list
https://lists.freebsd.org/mailman/listinfo/freebsd-ports
To unsubscribe, send any mail to "freebsd-ports-unsubscr...@freebsd.org"
Thanks! this patch saves my day, I was stuck reinstalling a computer in
current, and after few rounds using pkg the solver start complaining and
pretending missing packages was yet installed.
I apply you patch on top of the last version in ports and the patch work
as a charm. I'll keep testing it until a new version comes.
regards,
- rodrigo
_______________________________________________
freebsd-ports@freebsd.org mailing list
https://lists.freebsd.org/mailman/listinfo/freebsd-ports
To unsubscribe, send any mail to "freebsd-ports-unsubscr...@freebsd.org"