IRC log for #luanti-dev, 2025-08-05

Time	Nick	Message
02:04		SFENCE_arch joined #luanti-dev
03:52		Juri5 joined #luanti-dev
03:52		Niklp4 joined #luanti-dev
04:00		MTDiscord joined #luanti-dev
09:01	[MatrxMT]	<Zughy> Is it normal that water's colour changed in 5.13? Using Soothing32 it looks definitely brighter (river water at least, didn't check the sea)
09:37	sfan5	sorta
09:37	sfan5	https://github.com/luanti-org/luanti/issues/16316
09:42	celeron55	that sounds potentially like a png color profile issue
12:12		Topic for #luanti-dev is now Luanti (fka Minetest) core development and maintenance. Chit chat goes to #luanti. https://dev.luanti.org/ https://irc.luanti.org/ https://github.com/luanti-org
13:23	[MatrxMT]	<Zughy> What do I need to recompile properly on Android? Like, I've changed parts of the main menu but it's not updating them. I use Android Studio
13:24	[MatrxMT]	<Zughy> (At least on the emulated device, I haven't compiled the apk)
13:44		SFENCE_arch joined #luanti-dev
14:07		Sharpman joined #luanti-dev
14:38	sfan5	see https://github.com/luanti-org/luanti/blob/master/doc/developing/android.md
14:57	[MatrxMT]	<Zughy> that worked, thank you sfan5
15:37		turtleman joined #luanti-dev
16:59	sfan5	who was the person who wanted ffi enabled for luanti android?
16:59	[MatrxMT]	<repetitivestrain> Me
16:59	[MatrxMT]	<repetitivestrain> And thanks
17:00	sfan5	did you provide a patch?
17:01	[MatrxMT]	<repetitivestrain> No, but I did say it should be a simple matter of deleting the -DLUAJIT_DISABLE_FFI here: https://github.com/luanti-org/luanti_android_deps/blob/master/scripts/LuaJIT.sh
17:21	sfan5	committed, let's see if it works
17:36	sfan5	compiled successfully
17:54	sfan5	pushing https://github.com/luanti-org/luanti/commit/65d498f78e609feff37fcdfb7aa5a321e5733536 if build completes
21:57		loggingbot_ joined #luanti-dev
21:57		Topic for #luanti-dev is now Luanti (fka Minetest) core development and maintenance. Chit chat goes to #luanti. https://dev.luanti.org/ https://irc.luanti.org/ https://github.com/luanti-org
22:32		panwolfram joined #luanti-dev
22:57		fluxionary joined #luanti-dev
23:05		Eragon joined #luanti-dev
23:08		Eragon_ joined #luanti-dev

← Previous day | Channels | #luanti-dev index | Today | Next day → | Google Search | Plaintext