Skip to content

Commit

Permalink
Set ppxlib version to 0.27.0 in base Dockerfile
Browse files Browse the repository at this point in the history
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 FStarLang#2788
  • Loading branch information
SECtim committed Dec 15, 2022
1 parent 9310344 commit fdded2a
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion .docker/base/Dockerfile
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down

0 comments on commit fdded2a

Please sign in to comment.