apt-get update apt-get install -y gcc g++ cmake cd /workspace && mkdir build cd build && cmake .. -DCPU=OFF -DFPGA=ON && make -j4
