18:39 <evils> is there a way to get an embedded toolchain via nix? (currently using rustup for thumbv6m-none-eabi)

19:38 <pie_> i havent touched the stuff in a while but with the mozilla overlay i think you could specify the desired targets? the thing is i havent looked at it for a while and at the time i think xargo hadnt been integrated yet so you could only get the standard ttargets

19:38 <pie_> evils: anyway id like to know so tell me if you find anythig

19:45 <evils> trying the overlay, still building, but saw `https://static.rust-lang.org/dist/2021-05-06/rust-std-1.52.0-thumbv6m-none-eabi.tar.xz` in there

19:58 <evils> pie_: this seems to work, will commit and publish my shell.nix soon

19:59 <evils> pie_: https://gitlab.com/evils/waad/-/blob/firmware-rs/firmware/shell.nix

20:16 <evils> sigh, i've got less and less excuse to tinker with the toolchain instead of actually learning Rust xD

20:23 <evils> pie_: for completeness, the overlay part of that shell.nix is based on the one shown here https://github.com/mozilla/nixpkgs-mozilla/issues/223

21:54 <evils> different Rust question, the nixpkgs manual says upstream should include the Cargo.lock file, and i get why we need one; but the cargo book chapter linked to explicitly recommends .gitignoring it for libraries

21:54 <evils> is manually generating a Cargo.lock and patching it in the recommended approach for libraries?