Here are the steps to follow to install Lantern on a Raspberry Pi and export your project
install mono-complete (sudo apt-get isntall mono-complete)
untar Lanter.tar on your Raspberry Pi
start Lantern (mono Lantern.exe)
select 'Export to Raspberry Pi' from the menu
cd into the folder with the source code and run make
rename advent.out to the name you want your adventure to have