New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Docker build is broken #2788
Comments
Actually, if I just use the plain
|
Ok, it seems that |
SECtim
added a commit
to SECtim/FStar
that referenced
this issue
Dec 15, 2022
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
SECtim
added a commit
to SECtim/FStar
that referenced
this issue
Feb 14, 2023
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
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
It seems that there is a problem with the Dockerfiles in
.docker
; the images at https://hub.docker.com/r/fstarlang/fstar have not been updated in about a year. I also was not able to get the docker build to work locally (which I used in the past to build custom images with some additional emacs config etc.).I was not able to locate the CI docker build logs (does such a build even exist?). However, my local build of revision 9310344 failed during the
opam config exec -- make
step with the following error:Any hints are greatly appreciated!
The text was updated successfully, but these errors were encountered: