Browse Source

Make it build with rustc 1.66.1, which is what's in Ubuntu 20.04

Ian Goldberg 1 year ago
parent
commit
92bd229c4b
1 changed files with 1 additions and 0 deletions
  1. 1 0
      Docker/Dockerfile

+ 1 - 0
Docker/Dockerfile

@@ -5,4 +5,5 @@ RUN apt update && apt install -y wget git build-essential net-tools iproute2 ipe
 WORKDIR /root
 COPY . ramen
 WORKDIR /root/ramen
+RUN cargo update -p clap@4.4.7 --precise 4.1.4
 RUN cargo build --release --example=bench_doram