Optimising generated rules for SAT solving (5/12 are duplicates)

2016-11-23 Thread Hans Petter Selasky
FYI I've made a patch to hopefully optimise SAT solving in our pkg utility. https://github.com/freebsd/pkg/issues/1505 --HPS ___ freebsd-ports@freebsd.org mailing list https://lists.freebsd.org/mailman/listinfo/freebsd-ports To unsubscribe, send any m

Re: qt5-webkit fails to build

2016-11-23 Thread Raphael Kubo da Costa
Michael Butler writes: > It seems to fail because the qmake config can't find libicu .. You need to find out why exactly it's not finding ICU. Try going to the build directory (work/.build) and check config.log. It's also possible to reproduce the test by cd'ing to work/.build/Tools/qmake/config

Re: qt5-webkit fails to build

2016-11-23 Thread Michael Butler
On 11/23/16 10:07, Raphael Kubo da Costa wrote: Michael Butler writes: It seems to fail because the qmake config can't find libicu .. You need to find out why exactly it's not finding ICU. Try going to the build directory (work/.build) and check config.log. It's also possible to reproduce th

Re: Optimising generated rules for SAT solving (5/12 are duplicates)

2016-11-23 Thread Ed Schouten
Hi Hans, 2016-11-23 15:27 GMT+01:00 Hans Petter Selasky : > I've made a patch to hopefully optimise SAT solving in our pkg utility. Nice! Do you by any chance have any numbers that show the performance improvements made by this change? Assuming that the SAT solver of pkg(1) uses an algorithm simi

Re: Optimising generated rules for SAT solving (5/12 are duplicates)

2016-11-23 Thread Hans Petter Selasky
On 11/23/16 17:27, Ed Schouten wrote: Hi Hans, 2016-11-23 15:27 GMT+01:00 Hans Petter Selasky : I've made a patch to hopefully optimise SAT solving in our pkg utility. Nice! Do you by any chance have any numbers that show the performance improvements made by this change? Hi Ed, I tried mea

Re: Optimising generated rules for SAT solving (5/12 are duplicates)

2016-11-23 Thread Konstantin Tokarev
23.11.2016, 19:42, "Hans Petter Selasky" : > On 11/23/16 17:27, Ed Schouten wrote: >>  Hi Hans, >> >>  2016-11-23 15:27 GMT+01:00 Hans Petter Selasky : >>>  I've made a patch to hopefully optimise SAT solving in our pkg utility. >> >>  Nice! Do you by any chance have any numbers that show the per

Re: Optimising generated rules for SAT solving (5/12 are duplicates)

2016-11-23 Thread Ed Schouten
2016-11-23 17:41 GMT+01:00 Hans Petter Selasky : > GitHub wouldn't allow me to make a .diff attachment. But there's absolutely no need for doing that in the first place! :-) 1. Go to https://github.com/freebsd/pkg 2. Click 'Fork' on the top right. This will probably create a https://github.com/hs

Qt5 printing with lpr

2016-11-23 Thread Marco Beishuizen
Hi, Does Qt5 support normal lpr/lpd printing in FreeBSD? In all Qt5 applications (qpdfview, qupzilla), I'm missing a printer to choose from in the print dialogs. In the Qt5 buildoptions CUPS can be disabled so I assume CUPS isn't required. Is this correct? Thanks and regards, Marco -- The

Re: Bug in heimdal dependency for bdb (forces version 5 and ignores defined version 6)

2016-11-23 Thread Matthias Fechner
Am 19.11.2016 um 14:13 schrieb Herbert J. Skuhra: > security/heimdal/Makefile:64:BDB_USES=bdb:5 localbase > >> Is this wanted or an unwanted side effect? > No, idea. Change the above line and find out yourself if the port > builds/works with bdb6. Good luck! I solved it by disablin

Re: Python27 can't find _ctypes.so

2016-11-23 Thread bob prohaska
On Wed, Nov 23, 2016 at 06:41:10PM +1100, Kubilay Kocak wrote: > > There will be a failure or multiple failures compiling (or executing) > the ctypes extension further up in the build. That should help shed > light on the cause(s) > Indeed so. There was a VFP mismatch in an old library. For some

artil broken

2016-11-23 Thread AN
Hi: FreeBSD BSD_12 12.0-CURRENT FreeBSD 12.0-CURRENT #2 r308887: Sun Nov 20 12:20:05 EST 2016 root@BSD_12:/usr/obj/usr/src/sys/MYKERNEL amd64 After a recent upgrade Atril is broken, is anyone seeing this? # atril Shared object "libicui18n.so.57" not found, required by "libwebkitgtk-1.0.

Re: artil broken

2016-11-23 Thread Kevin Oberman
On Wed, Nov 23, 2016 at 2:58 PM, AN wrote: > Hi: > > FreeBSD BSD_12 12.0-CURRENT FreeBSD 12.0-CURRENT #2 r308887: Sun Nov 20 > 12:20:05 EST 2016 root@BSD_12:/usr/obj/usr/src/sys/MYKERNEL amd64 > > After a recent upgrade Atril is broken, is anyone seeing this? > > # atril > Shared object "lib

Re: artil broken

2016-11-23 Thread AN
On Wed, 23 Nov 2016, Kevin Oberman wrote: On Wed, Nov 23, 2016 at 2:58 PM, AN wrote: Hi: FreeBSD BSD_12 12.0-CURRENT FreeBSD 12.0-CURRENT #2 r308887: Sun Nov 20 12:20:05 EST 2016     root@BSD_12:/usr/obj/usr/src/sys/MYKERNEL  amd64 After a recent upgrade Atril is br

Re: artil broken

2016-11-23 Thread Christoph Moench-Tegeder
## Kevin Oberman (rkober...@gmail.com): > > # atril > > Shared object "libicui18n.so.57" not found, required by > > "libwebkitgtk-1.0.so.0" > libicui18n.so was updated to 58 four days ago, so Atril needs to be rebuilt > against it. libwebkitgtk-1.0.so.0 would be from webkit-gtk2, so that needs t

presupuesto, reportes variables y escenarios

2016-11-23 Thread Excel - presupuestos y proyecciones de rentabilidad
En línea y en Vivo / Para todo su Equipo con una sola Conexión Cómo hacer presupuestos y proyecciones de rentabilidad en Excel 08 de diciembre - Online en Vivo - 10:00 a 13:00 y de 15:00 a 18:00 Hrs Conozca temas tales como el uso de presupuestos para medir el rendimiento del person