DEV Community


compiling tic80 for raspberrypi 4

Tony Colston
wanna be gamedev ... all around nerd and dev
・1 min read

I started here but changed it a bit.

Mainly I did not do the backports stuff.

You will also need to run sudo raspi-config and choose Advanced Options (7), then A7 Gl Driver you need to pick the GL driver (G2 Fake KMS OpenGL desktop driver with fake KMS)

Then all of this stuff...

sudo apt install --reinstall libraspberrypi0 libraspberrypi-dev libraspberrypi-doc libraspberrypi-bin

sudo apt install git build-essential libgtk-3-dev libsdl2-dev zlib1g-dev liblua5.3-dev cmake

# this is really weird but needed the link will fail without it
# needed this for bcm_host in the build
# this one took a while to find ha
sudo apt install libraspberrypi-dev raspberrypi-kernel-headers
sudo cp /opt/vc/lib/ /usr/local/lib

git clone --recursive
cd TIC-80
mkdir tonybuild
cd tonybuild
cmake ..

Once you have done that and crossed whatever appendages you have you should have a bin/tic80 that you can run!

Discussion (0)