Sonic Pi 3.1 or higher on HP Elitebook 8440p / Linux

Hey, i just have the opportunity to buy a bunch of hp elitebook 8440p (i5 first generation) for a really decent price. I’d like to use them for my coding courses (processing, python and, of course, sonic pi). For sure i want to use a Linux system (raspbian x86, linux mint would be my favouirites, but any other will be fine). Of course i’d need a current sonic pi version running on this machines. I have seen some manuals about compliling sonic pi for different linux versions, but didn’t manage that yet. (no details here, will check back later with that!)

Problem: I have to decide today, wether to buy these machines or not. But i cannot work on this compiling problem today. So my question for now: Do you think it is surely possible to install / compile sonic pi (3.1 or higher) under any linux on a hp elitebook 8440p, or do you expect any inviolable obstacles?

thanks in advance for any answer