spass: fix darwin build

[stephank]

Motivation for this change

ZHF: #122042
cc @NixOS/nixos-release-managers

Hydra failure: https://hydra.nixos.org/build/142946017/nixlog/1

Things done

• Tested using sandboxing (nix.useSandbox on NixOS, or option sandbox in nix.conf on non-NixOS linux)
• Built on platform(s)
  • NixOS
  • macOS
  • other Linux distributions
• Tested via one or more NixOS test(s) if existing and applicable for the change (look inside nixos/tests)
• Tested compilation of all pkgs that depend on this change using nix-shell -p nixpkgs-review --run "nixpkgs-review wip"
• Tested execution of all binary files (usually in ./result/bin/)
• Determined the impact on package closure size (by running nix path-info -S before and after)
• Ensured that relevant documentation is up to date
• Fits CONTRIBUTING.md.

[stephank]

Oh, I didn't notice #37165. It apparently works with clang. What's the better solution?

[r-rmcgibbo]

Result of nixpkgs-review pr 123509 at 3ae4f82 run on aarch64-linux 1

1 package built successfully:

• spass

2 suggestions:

• warning: missing-phase-hooks

  buildPhase should probably contain runHook preBuild and runHook postBuild.

  Near pkgs/applications/science/logic/spass/default.nix:24:3:

     |
  24 |   buildPhase = ''
     |   ^
  

• warning: missing-phase-hooks

  installPhase should probably contain runHook preInstall and runHook postInstall.

  Near pkgs/applications/science/logic/spass/default.nix:27:3:

     |
  27 |   installPhase = ''
     |   ^
  

---

Result of nixpkgs-review pr 123509 at 3ae4f82 run on x86_64-linux 1

2 packages built successfully:

• spass
• tests.trivial

2 suggestions:

• warning: missing-phase-hooks

  installPhase should probably contain runHook preInstall and runHook postInstall.

  Near pkgs/applications/science/logic/spass/default.nix:27:3:

     |
  27 |   installPhase = ''
     |   ^
  

• warning: missing-phase-hooks

  buildPhase should probably contain runHook preBuild and runHook postBuild.

  Near pkgs/applications/science/logic/spass/default.nix:24:3:

     |
  24 |   buildPhase = ''
     |   ^
  

[stephank]

Closing this. It doesn't actually build without gccStdenv. Looks like it'd mostly just be some makefile changes that'd need to be upstreamed, but I don't see a way to contact upstream.

cc @mbode just in case you are interested in pursuing this, but I'm leaving it as is. 🙂