I built `hal` myself (just by running `make` in the cloned Git repo) and this is what I see when I try to select Thorntail 2.5.0.Final: 
I built
halmyself (just by runningmakein the cloned Git repo) and this is what I see when I try to select Thorntail 2.5.0.Final: