mlabs-haskell / lambda-buffers

LambdaBuffers toolkit for sharing types and their semantics between different languages
https://mlabs-haskell.github.io/lambda-buffers/
Apache License 2.0
29 stars 0 forks source link

Use simplified rustFlake + handle lb package versions #184

Closed szg251 closed 5 months ago

szg251 commented 5 months ago

Depends on: https://github.com/mlabs-haskell/flake-lang.nix/pull/19

Added a new extraVersions to lbfRust, to manually override dependencies. Defaults can be found here: https://github.com/mlabs-haskell/lambda-buffers/blob/e716d60a822f5ad06dad5bac8115dca07e0f0752/extras/lbf-nix/lbf-rust.nix#L85-L90 Non-matching dependencies will use {"path": "../LIB_NAME-0.1.0" }, where LIB_NAME is the name of the build.json dependency

szg251 commented 5 months ago

I dig! I do worry a bit whether we want to specify versions in Cargo.toml or somehow let the pkgset provided by the environment decide on it?

The problem we're having here is actually with the generated Cargo.toml file for lambda buffers rust packages. There are two cases: