c8b6bf01d1
flake: Add pytec runnables to devShell
...
Makes it possible to directly run `plot` and `autotune` in the shell.
2024-11-04 16:27:39 +08:00
a7aa78a608
flake: Introduce pytec to PYTHONPATH in devShell
...
For easier testing of pytec client code in the shell.
2024-11-04 16:26:51 +08:00
1f2de942e4
flake: Add rlwrap to devShell
2024-09-19 10:06:45 +08:00
78ec77509f
flake: Install LLVM in devShell too
...
So that developers can use `llvm-objcopy` in their devShells as well.
2024-08-07 16:06:19 +08:00
52aa3890c1
Update nix repos
2024-08-06 13:38:58 +08:00
1ae6a6fdd4
flake: More concise devShell
...
No need for C compiler in development shell + use "packages" to
explicitly refer to devShell packages
2024-08-06 11:14:25 +08:00
7333d2cea5
flake: Don't use deprecated flake output schemas
2024-08-06 11:09:51 +08:00
44e9130010
Use oxalica's rust-overlay
...
Follow ARTIQ, and in this project lets us include the version number
directly in flake.nix instead of linking to the toml file of a specific
release date, as we use stable Rust.
Also, from nixpkgs manual:
both oxalica's overlay and fenix better integrate with nix and cache
optimizations. Because of this and ergonomics, either of those
community projects should be preferred to the Mozilla's Rust overlay
(nixpkgs-mozilla).
2024-06-27 12:42:00 +08:00
76b95f66e0
Use latest working stable rust
2024-01-17 15:29:41 +08:00
78012f6fdd
flake: Use rust from manifest, not from pkgs
...
Fix the rustPlatform deprecation warnings properly.
2023-09-20 11:29:38 +08:00
f29e86310d
Update nix repos
2023-08-09 11:23:32 +08:00
5688b2f1bb
flake: update stm32-eth sha256 hash
2022-03-02 17:21:17 +08:00
e6f63ec940
cargo/nix: update rustc, stm32-eth, smoltcp
2022-03-02 17:21:17 +08:00
67446ae99e
cargo/flake: update package versions
2022-03-02 17:21:17 +08:00
Alex Wong
69dabf5aa1
update hash
2022-01-24 17:20:32 +08:00
4d43709f76
nix flakes support ( #64 )
...
Reviewed-on: M-Labs/thermostat#64
Co-authored-by: mwojcik <mw@m-labs.hk>
Co-committed-by: mwojcik <mw@m-labs.hk>
2022-01-19 11:13:47 +08:00
