apt-get update
apt-get install -y gcc g++ cmake

cd /workspace && mkdir build
cd build && cmake .. -DCPU=OFF -DFPGA=ON && make -j4