| 28 Jul 2021 |
 sterni (he/him) | John Ericson: thanks a lot! | 14:21:14 |
 John Ericson | In reply to @sternenseemann:systemli.org
John Ericson: thanks a lot! np! sorry i didn't see before, always feel free to ping me | 15:16:30 |
| sterni (he/him) | John Ericson: btw I also got gnat to build as cross compiler, although it is probably only useful for bare metal targets because gcc's build system somehow falls apart when building libada for a cross compiler: https://github.com/NixOS/nixpkgs/pull/131136 | 16:44:17 |
| John Ericson | I saw! | 16:52:14 |
| John Ericson | That's good because the libs should be built separately anyways | 16:52:19 |
| John Ericson | If you make that separate derivative like I did for libgcc but then we actually use it, I'll be very happy! | 16:52:52 |
| sterni (he/him) | I'll look into building it separately but it seems there is very little accurate documentation on it atm | 16:53:25 |
| John Ericson | Even better if always use the separate derivation including in native case | 16:53:36 |
| John Ericson | Ok losing internet | 16:54:11 |
| sterni (he/him) | it'd also be great for the ada case since there are special libadas for certain targets etc. | 16:54:26 |
| sterni (he/him) | so supporting swapping it out would be very useful | 16:54:38 |
| John Ericson | Good luck! | 16:58:04 |
| John Ericson | sterni (he/him) besides our libgcc, check the Exherbo distro | 17:03:08 |
| sterni (he/him) | I will, that's probably a good hint, thanks | 17:03:30 |
| John Ericson | sterni (he/him) about to loose internet, so that's all I got! | 17:03:28 |
| sterni (he/him) | ty :) | 17:03:42 |
| John Ericson | Exherbo did all the gcc/g++ libs, which I am jealous of | 17:04:06 |
| 30 Jul 2021 |
|  philipp changed their profile picture. | 20:21:36 |
| 1 Aug 2021 |
|  Jamie joined the room. | 08:11:32 |
| sterni (he/him) | John Ericson: seems to me that exherbo doesn't have GNAT at all, at least their gcc seems to statically disable ada and I also did not find any libada package | 17:08:32 |
| sterni (he/him) | checked arbor's sys-libs and sys-devel/gcc | 17:08:59 |
| sterni (he/him) | not sure if there is another place I should've looked | 17:09:19 |
| John Ericson | sterni (he/him): we'll just have to do based off other libs | 17:10:58 |
| sterni (he/him) | yeah libgfortran and libgcc are good candidates I'm guessing | 17:11:31 |
| John Ericson | sterni (he/him): i was just talking to to friend and coworker who was hitting libssp issues with mingw | 17:11:51 |
| John Ericson | i was going to make an issue for repackaging gcc | 17:12:11 |
| sterni (he/him) | is that the GMP cross issue? | 17:12:16 |
| John Ericson | link? I didn't make mine yet | 17:13:06 |
| sterni (he/him) | https://github.com/NixOS/nixpkgs/pull/132188 (which is linked from https://github.com/NixOS/nixpkgs/pull/132199) | 17:14:07 |
| sterni (he/him) | so not issue technically :) | 17:14:16 |
