| 30 Apr 2024 |
John Ericson | * (I think it would also be good to double check with Alyssa Ross) | 14:43:18 |
rhelmot | Correct | 14:43:35 |
rhelmot | Though I think a) we should probably understand why the master build produced that result anyway and b) wait for the merge of the nixpkgs PR we’re all working on now | 14:45:24 |
John Ericson | rhelmot: err the freebsd13 -> freebsd is the first commit (I pulled out of ) that PR so I think merging it first would not slow things down | 15:04:45 |
John Ericson | if you saw the thing I pushed, I am very confused why going with the other otherSplices definition breaks things | 15:05:11 |
rhelmot | I SEE OOPS | 15:06:29 |
rhelmot | yes that should probably be addressed asap | 15:06:41 |
rhelmot | In reply to @artemist:mildlyfunctional.gay Does nix currently include freebsd version number in system by default? I tried building upstream and it doesn't seem to include the version Did you build with flake.nix or ./configure && make? | 15:34:15 |
John Ericson | I would not really worry about what nix itself does? | 15:36:10 |
John Ericson | we can just change it to be whatever you all think is correct | 15:36:26 |
rhelmot | fair | 15:36:40 |
rhelmot | the problem is that the version of nixpkgs that flake.nix is pinned to matters. if I add freebsd to cross systems it pulls in a version without the version number-less code and complains error: Unknown kernel: freebsd | 15:37:36 |
rhelmot | is there a nix policy of which nixpkgs version projects get pinned to? | 15:37:48 |
John Ericson | rhelmot: it is generally the last stable version | 15:38:32 |
John Ericson | and in fact freeebsd cross was unfortunately removed cause it is broken on that version | 15:38:46 |
John Ericson | soon 25.05 will be out | 15:38:50 |
John Ericson | * soon 24.05 will be out | 15:38:55 |
John Ericson | so I would just focus on making things how we want for that, and then Nix will be bumped accordingly | 15:39:10 |
John Ericson | Also with https://github.com/NixOS/nixpkgs/pull/308012 master freebsd does build again | 15:39:42 |
John Ericson | fwiw | 15:39:44 |