Skip to content

Commit

Permalink
Merge pull request #438 from hacspec/make-devshell-lighter
Browse files Browse the repository at this point in the history
fix(nix/devshell): make devshell much lighter
  • Loading branch information
W95Psp authored Jan 16, 2024
2 parents f57c322 + d2a4fbb commit 97dbd53
Showing 1 changed file with 8 additions and 1 deletion.
9 changes: 8 additions & 1 deletion flake.nix
Original file line number Diff line number Diff line change
Expand Up @@ -79,7 +79,14 @@
devShells = let
inputsFrom = [
packages.hax-rust-frontend.unwrapped
packages.hax-engine
# `hax-engine`'s build requires `hax-rust-frontend` and
# `hax-engine-names-extract`, but in a dev environment,
# those two packages are supposed to be built locally,
# thus we kill them here
(packages.hax-engine.override {
hax-rust-frontend = pkgs.hello;
hax-engine-names-extract = pkgs.hello;
})
];
in let
packages = [
Expand Down

0 comments on commit 97dbd53

Please sign in to comment.