Command Line installation of Arduino Due board


I'm trying to set up some test in a Mac OS node in Jenkins. I need to do the whole installation from scratch without any kind of GUI.
So far, I can successfully get and install Arduino from Homebrew, which works fine.
I have a little problem now, since the Arduino code I need to test is Arduino Due specific, so I'll need to install a new board. This is the only help I've found, which doesn't include installing from the command line:

Perhaps someone could point me to where I can find that information, or if there is a workaround.
If it's just about having a different boards.txt file or something like that, perhaps I can copy it from my personal Mac machine where the command line verification works. It's just I can't really see any difference between how the boards.txt looks before and after installing Due.

Any help would be greatly appreciated :slight_smile: