#! /bin/bash

cd "$(dirname "$0")"
unzip graphics-master
patch -E -p0 < dif.txt
cd graphics-master
PREFIX=$HOME/.opam/$(opam switch show) PATH=$PREFIX/bin:$PATH make default install
cd ..
rm -rf graphics-master
