| 13 Aug 2025 |
 emily | (it is a joyous occasion) | 18:07:05 |
 Alyssa Ross | * Which is why we have a predicate in Nixpkgs called canExecute, which stdenv uses to decide whether to have checkPhase and reference checkInputs and nativeCheckInputs | 18:07:40 |
 maralorn | So in this case we would want Z3 to be compiled for the target plattform, right? And for that it should be nativeCheckInputs and not checkInputs? | 18:07:40 |
| Alyssa Ross | We would want it to be for the build platform, I thought | 18:07:54 |
| emily | I assume the library invokes Z3 at runtime | 18:08:05 |
| Alyssa Ross | Since PATH was mentioned. | 18:08:06 |
| emily | so you want it for the host platform | 18:08:08 |
| emily | (you almost never want to say "target platform") | 18:08:15 |
| maralorn | Aaah, yeah. | 18:08:15 |
