BAP 0.8 Dockerfile for ubuntu 12.04

Dockerfile

FROM ubuntu:12.04

RUN apt-get update && apt-get -y --no-install-recommends install \
  automake \
  binutils-dev \
  bison \
  build-essential \
  ca-certificates \
  camlidl \
  camlp4-extra \
  cvc3 \
  flex \
  g++ \
  g++-multilib \
  gcc-multilib \
  lib32z1-dev \
  libcamomile-ocaml-dev \
  libgmp3-dev \
  libllvm-3.1-ocaml-dev \
  libpcre3-dev \
  libtool \
  make \
  ocaml-findlib \
  ocaml-nox \
  ocaml-native-compilers \
  otags \
  wget \
  zlib1g-dev

WORKDIR /opt/
RUN wget http://bap.ece.cmu.edu/download/bap-0.8.tar.gz && tar xvzf bap-0.8.tar.gz && rm bap-0.8.tar.gz
WORKDIR ./bap-0.8

# Install PIN crap
WORKDIR ./pintraces
RUN ./getpin.sh
WORKDIR ../

RUN ./autogen.sh && ./configure --with-llvm && make -j $(nproc)