There are builds on Debian’s repositories for x86. If you want a more recent version though, check the Debian backports or maybe even ArchLinux32 if you’re willing to deal with dependency spaghetti. (Maybe also check previous work on static builds on Minetest’s GitHub issue tracker.)