From fdded2ac965e022d32fd2a15d7a1e0783e3d5e75 Mon Sep 17 00:00:00 2001
From: SECtim <42440411+SECtim@users.noreply.github.com>
Date: Thu, 15 Dec 2022 15:16:35 +0100
Subject: [PATCH] Set ppxlib version to 0.27.0 in base Dockerfile

ppxlib versions prior to 0.27.0 (and in particular 0.22.0 which was used previously in the Dockerfile) lack the Ast_500 module which is required to build F*.

Fixes #2788
---
 .docker/base/Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.docker/base/Dockerfile b/.docker/base/Dockerfile
index 560afeb70b7..cca354f05f1 100644
--- a/.docker/base/Dockerfile
+++ b/.docker/base/Dockerfile
@@ -18,7 +18,7 @@ WORKDIR /home/build
 # Prepare and build OPAM and OCaml
 RUN opam init -y --disable-sandboxing
 RUN opam update
-RUN opam install -y ocamlbuild ocamlfind batteries stdint zarith yojson fileutils pprint menhir sedlex ppx_deriving ppx_deriving_yojson process pprint visitors fix wasm ppxlib=0.22.0
+RUN opam install -y ocamlbuild ocamlfind batteries stdint zarith yojson fileutils pprint menhir sedlex ppx_deriving ppx_deriving_yojson process pprint visitors fix wasm ppxlib=0.27.0
 
 # Prepare and build Z3
 ENV z3=z3-4.8.5-x64-debian-8.11