| 24 May 2022 |
a-kenji | In reply to @oliver:matrix.nrp-nautilus.io Has anyone managed to build a Yew app w/ nix? The plugins here are built with nix: https://github.com/zellij-org/zellij | 20:47:12 |
oliver | Thanks a-kenji. Do you happen to know how this line works? Does buildRustPackage have network access (unlike mkDerivation)? Or are the dependencies pre-fetched somehow? | 20:57:35 |
a-kenji | Sorry, I have problems figuring out which line you linked. | 20:59:51 |
a-kenji | But yes, the dependencies are pre fetched. | 21:00:00 |
| bernardo left the room. | 21:00:12 |
oliver | Ah, just the cargo build line in https://github.com/zellij-org/zellij/blob/main/nix/plugins.nix.
Does buildRustPackage do that automatically, or is the pre-fetching handled somewhere else in the nix files?
| 21:08:45 |
a-kenji | In reply to @oliver:matrix.nrp-nautilus.io
Ah, just the cargo build line in https://github.com/zellij-org/zellij/blob/main/nix/plugins.nix.
Does buildRustPackage do that automatically, or is the pre-fetching handled somewhere else in the nix files?
It is integrated into the buildRustPackage | 21:52:28 |
a-kenji | In reply to @oliver:matrix.nrp-nautilus.io
Ah, just the cargo build line in https://github.com/zellij-org/zellij/blob/main/nix/plugins.nix.
Does buildRustPackage do that automatically, or is the pre-fetching handled somewhere else in the nix files?
But you can do it manually with cargoDeps, I think. If you search GH for that I think you will get some examples. | 21:52:53 |
oliver | Thanks for the tips! | 21:53:03 |
| 26 May 2022 |
| ElvishJerricco joined the room. | 05:44:46 |
ElvishJerricco | What would be the equivalent nix platform name for rust's aarch64-unknown-none-softfloat? | 05:45:10 |
ElvishJerricco | Redacted or Malformed Event | 06:31:59 |
| notgne2 joined the room. | 22:20:53 |
| 27 May 2022 |
| yellovv joined the room. | 15:20:20 |
| 28 May 2022 |
| Mic92 (Old) changed their display name from Mic92 to Mic92 (Old). | 10:27:02 |
| Mic92 (Old) invited Mic92. | 11:06:56 |
| Mic92 joined the room. | 11:06:56 |
| Mic92 (Old) left the room. | 11:09:34 |
| 29 May 2022 |
| Andrés Rodríguez changed their display name from Andrés Rodríguez to mixedCase. | 18:10:18 |
| Andrés Rodríguez changed their display name from mixedCase to Andrés Rodríguez. | 18:10:31 |
| 30 May 2022 |
| Sridhar Ratnakumar changed their profile picture. | 01:30:22 |
| Florian | W3F changed their display name from Florian | OoO -> 29.5. to Florian | W3F. | 09:04:29 |
| 1 Jun 2022 |
| underpantsgnome! joined the room. | 09:06:09 |
| jay joined the room. | 14:53:41 |
| 3 Jun 2022 |
| piegames joined the room. | 23:19:30 |
| 4 Jun 2022 |
| wiredhikari changed their display name from hikari to wiredhikari. | 17:09:11 |
| 13 Jun 2022 |
| kraem joined the room. | 21:55:47 |
| 14 Jun 2022 |
| problems changed their profile picture. | 00:44:23 |
| kolektiv joined the room. | 12:33:22 |
| susnico joined the room. | 14:23:04 |