Stream: Nix toolbox devs & users

Topic: Nix CI on mac OS ?


view this post on Zulip Kenji Maillard (May 17 2022 at 14:16):

Thanks to the great help from @Cyril Cohen and @Théo Zimmermann we now have a working nix CI on the metacoq project with reusable artifacts cached through cachix. For now this seems to work fine on linux but quite a few metacoq developpers are using macOS and I was wondering if it was possible to use the coq-nix-toolbox to generate macOS based CIs ?

view this post on Zulip Théo Zimmermann (May 17 2022 at 14:17):

Yes, that's possible. I have an unmerged PR that adds this possibility on the Coq Nix Toolbox repo. See https://github.com/coq-community/coq-nix-toolbox/pull/57

view this post on Zulip Théo Zimmermann (May 17 2022 at 14:17):

I could rebase it if that's useful.

view this post on Zulip Kenji Maillard (May 17 2022 at 14:36):

That would definitely be useful yes !

view this post on Zulip Théo Zimmermann (May 18 2022 at 07:07):

Done.

view this post on Zulip Kenji Maillard (May 18 2022 at 12:15):

@Théo Zimmermann I used this branch to generate the workflows for the CI (using nix-shell --arg do-nothing true --run "genCrossPlatformNixActions") but something seems to go slightly wrong in the process because the 2 files that got generated were setup to run on ubuntu. I fixed that by hand with a sed -i -e 's/ubuntu/macos' nix-action-default-macos.ymland the CI ran without trouble and we were able to use the generated artifacts on a mac.


Last updated: Jan 29 2023 at 16:02 UTC