make error on macOS

[wky17]

When I try to build Vericert on macOS Monterey, there is a make error during step nix-shell.
error info is like:

I wonder what's the matter with this.

[ymherklotz]

Hi, thanks for the report, I'm working on MacOS and Linux so both should be supported. Are you on the master branch?

That branch is fixed to quite an old version of nixpkgs, mainly because it needs an old version of Coq to build, so I'm guessing that it may not be compatible with something on Monterey.

I'm currently working on merging the dev/scheduling branch, which is the up-to-date version of Vericert (although not 100% verified). You could try checking out that branch and seeing if it builds using the same commands. That branch is still a work-in-progress though, but I'm planning on merging it into master in the next few weeks.