#!/bin/bash -e

git clone https://github.com/trailofbits/codereason
cd codereason
./install_vex.sh
./make.sh
cd ..

mkdir -p bin
cd bin
ln -s ../codereason/build/bin/* .
cd ..