Steps to get [ProtoQuipper](https://github.com/HenriChataing/ProtoQuipper) to run

protoquipper.sh

docker build -t="dockerfile/ubuntu" github.com/dockerfile/ubuntu
docker run -it dockerfile/ubuntu

## Inside the container
apt update
apt install -y libgmp3-dev freeglut3-dev zlib1g-dev libreadline-dev llvm-3.4 clang
wget -c https://downloads.haskell.org/~ghc/7.4.2/ghc-7.4.2-x86_64-unknown-linux.tar.bz2
tar xf ghc-7.4.2-x86_64-unknown-linux.tar.bz2
cd ghc-7.4.2
ln -s /usr/lib/x86_64-linux-gnu/libgmp.so.10 /usr/lib/libgmp.so.3
./configure
make install
ghc --version
cd ..
wget -c https://www.haskell.org/platform/download/2012.4.0.0/haskell-platform-2012.4.0.0.tar.gz
tar xf haskell-platform-2012.4.0.0.tar.gz
cd haskell-platform-2012.4.0.0
./configure
make -j 8
make install
cabal update
cd ..
git clone https://github.com/HenriChataing/ProtoQuipper.git
cd ProtoQuipper
export LC_ALL=C.UTF-8
export LANG="$LC_ALL"
cabal install -p transformers-0.4.3.0 mtl-2.2.2 llvm-general exceptions-0.10.0 tagged-0.8.6 \
semigroups-0.18.5 transformers-compat-0.6.2 readline-1.0.3.0 parsec-3.1.13.0  --reinstall
make -j8
# fix the two errors in source
export LD_LIBRARY_PATH=/usr/local/lib/ghc-7.4.2/
./src/haskell/ProtoQuipper