> Am 31.05.2015 um 18:27 schrieb Gilles Chehade <[email protected]>: > >> On Sun, May 31, 2015 at 06:28:02PM +0200, Jason A. Donenfeld wrote: >>> On May 31, 2015 6:10 PM, "Gilles Chehade" <[email protected]> wrote: >>> >>> What's the final decision on this ? >> >> Roll with what I've put, and if there are any serious objections, someone >> will submit a pull request. I suspect, though, nobody will take objection, >> because I implement the correct and expected behavior: >> >> * A deliberate sysadmin can explicitly choose what's desired via >> --with-lua-type= >> * Most everyone who has Lua installed has the mainline version, in spite of >> whatever other versions they add later. >> * That means, for people who just have mainline installed, autodetection >> will choose mainline. But, for people who have explicitly added another lua >> version, such as luajit, they'll get the behavior they expect: luajit in >> autodetection. Principle of least surprise. >> * But again, for anyone who actually cares: --with-lua-type= > > Yes, I have rolled what you've proposed because it improves the situation > no matter the decision wrt luajit, I was just curious if there was some > debate taking place off-list ;-)
Nope, nothing off-list. Yes, the proposed solution using --with-lua-type is fine. I have overseen this on the first sight. Sorry for the noise. Regards, Joerg -- You received this mail because you are subscribed to [email protected] To unsubscribe, send a mail to: [email protected]
