This repository has been archived by the owner on Feb 17, 2022. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Dockerfile
66 lines (52 loc) · 2.05 KB
/
Dockerfile
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
FROM ubuntu:20.04
LABEL org.opencontainers.image.source https://github.com/gradual-verification/ecoop21-artifact
RUN apt-get update && DEBIAN_FRONTEND=noninteractive apt-get install --yes \
autoconf automake bat bzip2 cmake curl gcc git libc6-dev libmpfr-dev \
libsqlite3-dev make openjdk-8-jdk-headless patch pkg-config python2.7 \
tree unzip vim zlib1g-dev
RUN curl -sL \
https://github.com/ocaml/opam/releases/download/2.0.8/opam-2.0.8-x86_64-linux \
> /usr/bin/opam
RUN chmod +x /usr/bin/opam
RUN opam init --disable-sandboxing
RUN eval $(opam env)
RUN git clone https://github.com/gradual-verification/infer-gv-impl.git
WORKDIR /infer-gv-impl
RUN ./build-infer.sh java
RUN make install
WORKDIR /
RUN curl -LO https://services.gradle.org/distributions/gradle-6.8.3-bin.zip
RUN mkdir /opt/gradle
RUN unzip -d /opt/gradle gradle-6.8.3-bin.zip
ENV GRADLE_HOME=/opt/gradle/gradle-6.8.3
ENV PATH=$PATH:$GRADLE_HOME/bin
WORKDIR /root/examples/2.2/infer/unannotated
COPY build.gradle .
COPY SafeReverse.java src/main/java/Main.java
WORKDIR /root/examples/2.2/checker/unannotated
COPY build-checker.gradle build.gradle
COPY SafeReverse.java src/main/java/Main.java
WORKDIR /root/examples/2.2/checker/poly
COPY build-checker.gradle build.gradle
COPY SafeReversePoly.java src/main/java/Main.java
WORKDIR /root/examples/2.2/infer/nonnull
COPY build.gradle .
COPY SafeReverseNonNull.java src/main/java/Main.java
WORKDIR /root/examples/2.2/nullaway/unannotated
COPY build-nullaway.gradle build.gradle
COPY SafeReverse.java src/main/java/Main.java
WORKDIR /root/examples/2.3/infer/unannotated
COPY build.gradle .
COPY Reverse.java src/main/java/Main.java
WORKDIR /root/examples/2.3/nullaway/unannotated
COPY build-nullaway.gradle build.gradle
COPY Reverse.java src/main/java/Main.java
WORKDIR /root/examples/2.3/checker/unannotated
COPY build-checker.gradle build.gradle
COPY Reverse.java src/main/java/Main.java
WORKDIR /root/examples/2.3/infer/nullable
COPY build.gradle .
COPY ReverseNullable.java src/main/java/Main.java
WORKDIR /root
COPY README.md .
COPY Hello.java .