upgrade dockerfile
This commit is contained in:
parent
9859f56328
commit
45758cefa9
1 changed files with 1 additions and 1 deletions
|
@ -4,7 +4,7 @@ MAINTAINER JacobEberhardt <jacob.eberhardt@tu-berlin.de>, Thibaut Schaeffer <thi
|
|||
|
||||
RUN useradd -u 1000 -m zokrates
|
||||
|
||||
ARG RUST_TOOLCHAIN=nightly-2019-06-02
|
||||
ARG RUST_TOOLCHAIN=nightly-2020-01-01
|
||||
ENV WITH_LIBSNARK=1
|
||||
ENV ZOKRATES_HOME=/home/zokrates/.zokrates
|
||||
|
||||
|
|
Loading…
Reference in a new issue