62 lines
2.7 KiB
Docker
62 lines
2.7 KiB
Docker
FROM ubuntu:14.04
|
|
|
|
# RUN sed -i -e "s/archive.ubuntu.com/old-releases.ubuntu.com/g" /etc/apt/sources.list
|
|
|
|
RUN apt-get update && apt-get install -y git time
|
|
|
|
RUN mkdir /workspace
|
|
RUN git init /workspace/hopper && \
|
|
cd /workspace/hopper && \
|
|
git remote add origin https://github.com/cuplv/hopper.git && \
|
|
git fetch --depth=1 origin 9f0e99360468f74762cacc81dcba933ac255bc87 && \
|
|
git reset --hard FETCH_HEAD
|
|
|
|
RUN git init /workspace/droidel && \
|
|
cd /workspace/droidel && \
|
|
git remote add origin https://github.com/cuplv/droidel.git && \
|
|
git fetch --depth=1 origin 04dd9858a20d166571b56af164059aad5ebe60d2 && \
|
|
git reset --hard FETCH_HEAD
|
|
|
|
RUN apt-get update && apt-get install -y openjdk-7-jdk ant wget unzip maven maven2 binutils g++ \
|
|
make scala python
|
|
|
|
RUN cd /workspace/ && \
|
|
wget http://downloads.sourceforge.net/project/dex2jar/dex2jar-2.0-20140818.061505-10.zip && \
|
|
unzip dex2jar-2.0-20140818.061505-10.zip && rm dex2jar-2.0-20140818.061505-10.zip && \
|
|
mv dex2jar-2.0-SNAPSHOT dex2jar && \
|
|
chmod +x /workspace/dex2jar/*
|
|
|
|
RUN cd /workspace/ && \
|
|
wget -O - https://github.com/sbt/sbt/releases/download/v0.13.18/sbt-0.13.18.tgz | tar xzv && \
|
|
cd sbt && \
|
|
mkdir -p /root/.ivy2/local && \
|
|
cp -r lib/local-preloaded/* /root/.ivy2/local/
|
|
|
|
ENV PATH="/workspace/sbt/bin:/workspace/dex2jar:$PATH"
|
|
|
|
RUN mkdir /workspace/hopper/lib && git init /workspace/hopper/lib/z3 && \
|
|
cd /workspace/hopper/lib/z3 && \
|
|
git remote add origin https://github.com/Z3Prover/z3.git && \
|
|
git fetch --depth=1 origin 7f6ef0b6c0813f2e9e8f993d45722c0e5b99e152 && \
|
|
git reset --hard FETCH_HEAD && \
|
|
python scripts/mk_make.py --java && cd build && make && \
|
|
cp *.jar ../.. && cp *.so ../..
|
|
|
|
RUN sed -i 's#cd walautil#cd walautil \&\& git checkout 6aad86d730da36f6b21363a14612eb7fa45535ac#' /workspace/droidel/lib/install_deps.sh && \
|
|
sed -i 's#cd jphantom#cd jphantom \&\& git checkout 097a8f82bd09cf32b7826fa3876be4018c3eb562#' /workspace/droidel/lib/install_deps.sh && \
|
|
sed -i 's#javac#javac -encoding ISO-8859-1#g' /workspace/droidel/stubs/compile_stubs.sh && \
|
|
cd /workspace/droidel/lib/ && ./install_deps.sh && \
|
|
cd /workspace/droidel && sbt compile && sbt publishLocal
|
|
|
|
COPY android-4.4.2.jar /workspace/droidel/stubs/
|
|
|
|
RUN cd /workspace/droidel/stubs/ && \
|
|
./compile_stubs.sh android-4.4.2.jar && \
|
|
cp /workspace/droidel/stubs/out/droidel_android-4.4.2.jar /workspace/hopper/lib/
|
|
|
|
RUN cd /workspace/hopper && \
|
|
sed -i 's#target/scala-2.10/hopper_2.10-0.1-one-jar.jar#/workspace/hopper/target/scala-2.10/hopper_2.10-0.1-one-jar.jar#' /workspace/hopper/hopper.sh && \
|
|
sed -i 's#pwd#dirname -- "$(readlink -f "${BASH_SOURCE}")"#' /workspace/hopper/hopper.sh && \
|
|
sbt one-jar
|
|
|
|
COPY run.sh /
|