or does libGDX have some kind of internal mechanism for extracting its own native libraries?
Probably, our posts were about how.
I meant no disrespect, but I understand how it would work. The tool I wrote for Processing does exactly that (well, similar to that anyway), so I wasn't asking about how it might be done. I couldn't find any easily digestible (I suppose I could traipse through the source) information on it though, so I figured I'd ask here.
Again, I meant no disrespect and I didn't mean to sound dismissive of your answers. I was just looking for specifics on *whether* libGDX in fact did some automagic preprocessing, not *how* it might be done. Mostly I was making sure I was deploying libGDX correctly and not missing a step.
Thanks for the replies!