| 13 Jan 2024 |
 @samueldr:matrix.org | (the GNU one most likely can't) | 23:26:49 |
| 14 Jan 2024 |
| @samueldr:matrix.org | oh, right, another thing I don't know what to do about: the quatuplet for config, since the (admiteddly old) SDK and all the few remnants of info only specify a triplet | 00:24:41 |
 raitobezarius | (going to sleep for now but I have some ideas) | 03:52:06 |
| raitobezarius | In reply to @samueldr:matrix.org
oh, right, another thing I don't know what to do about: the quatuplet for config, since the (admiteddly old) SDK and all the few remnants of info only specify a triplet I think you can invent whatever you want and if you feel like it, you can even send it upstream to gnu-config | 17:05:24 |
| raitobezarius | I think it would help a lot if you could share a repo or a branch of nixpkgs so that I can take a look at things | 17:05:42 |
| raitobezarius | first step is that I would wire up the libc properly, create a lib/systems/examples.nix for your platform/target thingie, wire the libc in there, then I would add some inspection patterns for this platform, then I would look into stdenv/cross/default.nix and add the special cc for it | 17:07:27 |
| raitobezarius | then… I'd take it for a run with pkgsCross.<my-config-name>.hello ? | 17:07:38 |
| raitobezarius | * then… I'd take it for a run with pkgsCross.<my-example-name>.hello ? | 17:07:45 |
| @samueldr:matrix.org | okay, so papercut 1:
checking target system type... Invalid configuration 'i386-unknown-btron-gnu': Kernel 'btron' not known to work with OS 'gnu'.
| 21:25:49 |
| @samueldr:matrix.org | (I'm not done) | 21:26:09 |
| @samueldr:matrix.org | so uh, "OS 'gnu'... weird" | 21:26:19 |
| @samueldr:matrix.org | mostly to make my headcanon more complete, I try i386-unknown-btron-btron in Nixpkgs | 21:26:59 |
| @samueldr:matrix.org | Unknown ABI: btron | 21:27:07 |
| @samueldr:matrix.org | yeah, my understanding was that the last bit was the ABI, not the "OS" | 21:27:19 |
| @samueldr:matrix.org | is it that gnu config thing having other definitions than what Nixpkgs uses? | 21:27:33 |
| @samueldr:matrix.org | * is it that gnu config thing having other terminology than what Nixpkgs uses? | 21:27:43 |
| @samueldr:matrix.org | still working out the suggestions you made in a branch, will come back with something | 21:29:34 |
| * @samueldr:matrix.org grumbles | 21:30:49 |
| @samueldr:matrix.org | https://www.gnu.org/software/autoconf/manual/autoconf-2.68/html_node/System-Type.html#System-Type | 21:30:50 |
| @samueldr:matrix.org | no definition of os in here | 21:30:55 |
| raitobezarius | In reply to @samueldr:matrix.org
is it that gnu config thing having other terminology than what Nixpkgs uses? I think the situation is that we have diverged quite a bit from the gnu-config parser, yes | 21:31:54 |
| raitobezarius | There's a PR to put us back on the right rails | 21:31:59 |
| raitobezarius | And John Ericson and Adam Joseph have been sending patches to gnu-config to correct them too | 21:32:11 |
| raitobezarius | Is btron supposed to run Linux? | 21:32:54 |
| @samueldr:matrix.org | btron is an os | 21:32:59 |
| raitobezarius | And it has its own ABI? | 21:33:06 |
| @samueldr:matrix.org | * btron is an os | 21:33:07 |
| @samueldr:matrix.org | b-right/v is an os | 21:33:12 |
| @samueldr:matrix.org | it uses AFAIUI the gnu ABI | 21:33:17 |
| raitobezarius | I see | 21:33:27 |
