search

project-everest / everest-ci

CI scripts for project everest
3 stars 8 forks source link

Install opam package pprint on the linux container to fix the build #26

Closed msprotz closed 7 years ago

msprotz commented 7 years ago

This involves running opam install pprint inside the docker container.

CC @kyoDralliam

darrenge commented 7 years ago

This is now fixed in the container (FStar2) that is used on the build machine