FStar icon indicating copy to clipboard operation
FStar copied to clipboard

Published 20 hours ago • verified publisher icon FStarLang

docker dev container: explicit platform, install pkg-config

Open amosr opened this issue 4 months ago • 2 comments

Hi, The docker dev container wasn't working for me on an M1 Mac. I fixed it by specifying AMD64 emulation. I believe this change should not affect other x86 users.

  • Set platform to amd64 so it works on M1 Macs. Otherwise the Z3 binary had the wrong architecture.
  • Install pkg-config with apt. Otherwise the opam was failing for me.

amosr avatar Oct 10 '24 06:10 amosr