<commit_before>FROM ubuntu:14.04
MAINTAINER <NAME> <<EMAIL>>

#############################################################################
# Setup base image 
#############################################################################
RUN \
  apt-get update -y && \
  apt-get install software-properties-common -y && \
  echo oracle-java8-installer shared/accepted-oracle-license-v1-1 select true | debconf-set-selections && \
  add-apt-repository ppa:webupd8team/java -y && \
  apt-get update -y && \
  apt-get install -y oracle-java8-installer
# Cut it in two---java takes a long time to install
RUN  apt-get install -y \
                        unzip \
                        ant \
                        build-essential \
                        mercurial \
                        git \
                        vim && \
  rm -rf /var/lib/apt/lists/* && \
  rm -rf /var/cache/oracle-jdk8-installer

#############################################################################
# Environment 
#############################################################################

# set java env
ENV JAVA_HOME /usr/lib/jvm/java-8-oracle
ENV JUNIT_HOME /usr/share/java

# Make dir for distribution
WORKDIR /
RUN mkdir tools
ENV TOOLS_ROOT /tools


#############################################################################
# Install and configure jpf-related tools 
#############################################################################

# Set up jpf conf initially
RUN mkdir /root/.jpf
RUN echo "jpf-core = ${TOOLS_ROOT}/jpf-core" >> /root/.jpf/site.properties
RUN echo "jpf-symbc = ${TOOLS_ROOT}/jpf-symbc" >> /root/.jpf/site.properties
RUN echo "spf-wca = ${TOOLS_ROOT}/spf-wca" >> /root/.jpf/site.properties

# Set extensions var
RUN echo "extensions=\${jpf-core},\${jpf-symbc}" >> /root/.jpf/site.properties

# Install jpf-core
WORKDIR ${TOOLS_ROOT}
RUN hg clone http://babelfish.arc.nasa.gov/hg/jpf/jpf-core

WORKDIR ${TOOLS_ROOT}/jpf-core
# Update to version known to work
RUN hg update -r32
RUN ant

# Install jpf-symbc
WORKDIR ${TOOLS_ROOT}
RUN hg clone http://babelfish.arc.nasa.gov/hg/jpf/jpf-symbc

WORKDIR ${TOOLS_ROOT}/jpf-symbc
# Update to version known to work
RUN hg update -r613
RUN ant

# Finally, get SPF-WCA<commit_msg>Clone jpf-core and spf from GitHub repos<commit_after>FROM ubuntu:14.04
MAINTAINER <NAME> <<EMAIL>>

#############################################################################
# Setup base image 
#############################################################################
RUN \
  apt-get update -y && \
  apt-get install software-properties-common -y && \
  echo oracle-java8-installer shared/accepted-oracle-license-v1-1 select true | debconf-set-selections && \
  add-apt-repository ppa:webupd8team/java -y && \
  apt-get update -y && \
  apt-get install -y oracle-java8-installer
# Cut it in two---java takes a long time to install
RUN  apt-get install -y \
                        unzip \
                        ant \
                        build-essential \
                        git \
                        vim && \
  rm -rf /var/lib/apt/lists/* && \
  rm -rf /var/cache/oracle-jdk8-installer

#############################################################################
# Environment 
#############################################################################

# set java env
ENV JAVA_HOME /usr/lib/jvm/java-8-oracle
ENV JUNIT_HOME /usr/share/java

# Make dir for distribution
WORKDIR /
RUN mkdir tools
ENV TOOLS_ROOT /tools


#############################################################################
# Install and configure jpf-related tools 
#############################################################################

# Set up jpf conf initially
RUN mkdir /root/.jpf
RUN echo "jpf-core = ${TOOLS_ROOT}/jpf-core" >> /root/.jpf/site.properties
RUN echo "jpf-symbc = ${TOOLS_ROOT}/jpf-symbc" >> /root/.jpf/site.properties
RUN echo "spf-wca = ${TOOLS_ROOT}/spf-wca" >> /root/.jpf/site.properties

# Set extensions var
RUN echo "extensions=\${jpf-core},\${jpf-symbc}" >> /root/.jpf/site.properties

# Install jpf-core
WORKDIR ${TOOLS_ROOT}
RUN git clone https://github.com/javapathfinder/jpf-core.git

WORKDIR ${TOOLS_ROOT}/jpf-core
# Update to version known to work
RUN git checkout JPF-8.0
RUN ant

# Install jpf-symbc
WORKDIR ${TOOLS_ROOT}
RUN git clone https://github.com/SymbolicPathFinder/jpf-symbc.git

WORKDIR ${TOOLS_ROOT}/jpf-symbc
# Update to version known to work
RUN git checkout f2a2212
RUN ant

# Finally, get SPF-WCA
{'fraction_non_alphanumeric': 0.303595206391478, 'fraction_numerical': 0.007545494895694629, 'mean_word_length': 3.440394088669951, 'pattern_counts': {'":': 0, '<': 9, '<?xml version=': 0, '>': 25, 'https://': 2, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '553753', 'n_tokens_mistral': 1404, 'n_tokens_neox': 1316, 'n_words': 326}