[refactor] nix-environment

[muellerbernd]

I wanted to test dora on my NixOS machine and needed to refactor the nix files. With the provided dev-shell in the flake it was also possible to run the python example from the getting started.
After this PR is merged it would also be possible to get a working dora dev-shell via nix by calling the following command:

nix develop github:dora-rs/dora

[haixuanTao]

Thanks for this!

If you happen to know how to test this easily in the CI I would greatly appreciate otherwise i'll just merge it as is

[muellerbernd]

Thanks for this!

If you happen to know how to test this easily in the CI I would greatly appreciate otherwise i'll just merge it as is

I have added a workflow for that. Now there are 2 versions you can build via the nix flake.

• dora-cli (git version)
• dora-cli-release (release version that checks out the 0.3.11)
  To make the git version build via nix I had to update the Cargo.lock because there were duplicates for some dependencies that were pointing to different upstream commits for these.

[muellerbernd]

I have done a rebase with the main branch but I still need to update the Cargo.lock, because for the nix build Sources are not allowed to be defined multiple times. See error message:

> Running phase: unpackPhase
┃        > unpacking source archive /nix/store/6r3p4c0c90sfv69mdmz1zzxvkd9s1ryk-source
┃        > source root is source
┃        > Executing cargoSetupPostUnpackHook
┃        > Finished cargoSetupPostUnpackHook
┃        > Running phase: patchPhase
┃        > Executing cargoSetupPostPatchHook
┃        > Validating consistency between /build/source/Cargo.lock and /build/cargo-vendor-dir…
┃        > Finished cargoSetupPostPatchHook
┃        > Running phase: updateAutotoolsGnuConfigScriptsPhase
┃        > Running phase: configurePhase
┃        > Running phase: buildPhase
┃        > error: source `git+https://github.com/EricLBuehler/mistral.rs.git#8069f9072500398da…
┃        > note: Sources are not allowed to be defined multiple times.
┃        For full logs, run 'nix log /nix/store/hr5q0zkgdnlys05assi8wyk37cxw6xf1-latest.drv'.

[muellerbernd]

@haixuanTao can this be merged? If not, give me a hint on what's missing to get this merged.