Skip to content

Commit

Permalink
Move opam install before COPY and remove /dev/null use
Browse files Browse the repository at this point in the history
  • Loading branch information
shakthimaan committed Dec 9, 2021
1 parent 68fb031 commit 06deaf5
Show file tree
Hide file tree
Showing 2 changed files with 4 additions and 4 deletions.
2 changes: 1 addition & 1 deletion Makefile
Expand Up @@ -220,7 +220,7 @@ json:
prep_bench:
@{ $(BENCH_COMMAND); \
$(MAKE) json; \
} > /dev/null 2>&1;
};

bench: prep_bench
@cat data.json
Expand Down
6 changes: 3 additions & 3 deletions bench.Dockerfile
Expand Up @@ -7,12 +7,12 @@ WORKDIR /app
RUN sudo apt-get update
RUN sudo apt-get -y install libgmp-dev libdw-dev jq jo python3-pip pkg-config m4 autoconf

RUN opam update
RUN opam install dune.2.9.0

COPY . .

RUN sudo chown -R opam /app
RUN eval $(opam env)

RUN opam update
RUN opam install dune.2.9.0

RUN export ITER=1

0 comments on commit 06deaf5

Please sign in to comment.