I’m trying to adapt the nixpkgs prover9 package (https://github.com/NixOS/nixpkgs/blob/cba1e5d52acb5251b418d0c95c3dcec7d5dc003b/pkgs/applications/science/logic/prover9/default.nix) to build on my mac (aarch64-darwin, mac os 13.6). Prover9 itself builds fine from source with just “make all”, not involving nix.
I’ve basically taken the
mkDerivation from the linked
default.nix and stuck it in a flake, just changing meta.platforms to include aarch64-darwin. When I
nix build this flake (here), I make it to the build phase but then error out with
gcc: command not found.
Probably related: when I just do a “hello world” flake to see where the problem is, I get the same error if I set
buildPhase to a command that runs gcc directly, whereas running clang directly in the
buildPhase works fine. I guess that because I’m on a mac, nix is providing only clang and not gcc to the builds? But then how can I just do a simple