Wire up lbt-plutus-rust

Author: szg251

extras/lbf-nix/lbf-plutus-rust.nix

@@ -7,20 +7,19 @@ let
   lbfRustOptsForPlutus = utils.overrideAttrs
     {
       imports = {
-        default = [ ];
-        override = libs: libs ++ [ ../../libs/lbf-prelude ../../libs/lbf-plutus ];
-      };
-      dependencies = {
-        default = [ ];
-        override = deps: deps ++ [ "lbf-prelude-rust" "lbf-plutus-rust" ];
+        default = { };
+        override = libs: libs // {
+          lbf-prelude = ../../libs/lbf-prelude;
+          lbf-plutus = ../../libs/lbf-plutus;
+        };
       };
       classes = {
         default = [ ];
         override = cls: cls ++ [ "Prelude.Eq" "Plutus.V1.PlutusData" ];
       };
       configs = {
         default = [ ];
-        override = _: [ ../../lambda-buffers-codegen/data/rust-prelude.json ../../lambda-buffers-codegen/data/rust-plutus.json ];
+        override = _: [ ../../lambda-buffers-codegen/data/rust-prelude-base.json ../../lambda-buffers-codegen/data/rust-plutus-pla.json ];
       };
     }
     lbfRustOpts;

extras/lbf-nix/lbf-rust.nix

@@ -84,7 +84,7 @@ let
     text = ''
       num-bigint = "0.4.4"
       serde_json = { version = "1.0.107", features = ["arbitrary_precision"] }
-      plutus-ledger-api = { github = "https://github.com/mlabs-haskell/plutus-ledger-api-rust", features = ["lbf"] }
+      plutus-ledger-api = { git = "https://github.com/mlabs-haskell/plutus-ledger-api-rust", features = ["lbf"] }
     '';
   };
 
@@ -123,7 +123,6 @@ let
         mkdir -p $out/src;
         cp -r autogen/* $out/src
         cp Cargo.toml $out/Cargo.toml;
-        cp build.json $out/build.json;
 
         # Generating module files
         chmod -R u+w $out/src

flake.nix

@@ -88,6 +88,7 @@
         ./testsuites/lbt-plutus/lbt-plutus-haskell/build.nix
         ./testsuites/lbt-plutus/lbt-plutus-purescript/build.nix
         ./testsuites/lbt-plutus/lbt-plutus-plutarch/build.nix
+        ./testsuites/lbt-plutus/lbt-plutus-rust/build.nix
         ./experimental/build.nix
       ];
       debug = true;

libs/build.nix

@@ -95,6 +95,18 @@
           "${config.packages.codegen-configs}/plutarch-plutus.json"
         ];
       };
+
+      lbf-plutus-rust = config.lbf-nix.lbfRust {
+        name = "lbf-plutus";
+        src = ./lbf-plutus;
+        imports = { lbf-prelude = ./lbf-prelude; };
+        files = [ "Plutus/V1.lbf" "Plutus/V2.lbf" ];
+        classes = [ "Prelude.Eq" "Prelude.Json" "Plutus.V1.PlutusData" ];
+        configs = [
+          "${config.packages.codegen-configs}/rust-prelude-base.json"
+          "${config.packages.codegen-configs}/rust-plutus-pla.json"
+        ];
+      };
     };
 
     # The following devShells allow one to conveniently play with some of the

testsuites/lbt-plutus/api/build.nix

@@ -19,6 +19,12 @@ _: {
         files = [ "Foo.lbf" "Foo/Bar.lbf" "Days.lbf" ];
       };
 
+      packages.lbf-plutus-golden-api-rust = config.lbf-nix.lbfPlutusRust {
+        name = "lbf-plutus-rust-golden-api";
+        src = ./.;
+        files = [ "Foo.lbf" "Foo/Bar.lbf" "Days.lbf" ];
+      };
+
     };
 }
 

testsuites/lbt-plutus/golden/build.nix

@@ -15,6 +15,13 @@ _:
           phases = "installPhase";
           installPhase = "ln -s $src $out";
         };
+
+        lbt-plutus-golden-rust = pkgs.stdenv.mkDerivation {
+          name = "lbt-plutus-golden-data";
+          src = ./.;
+          phases = "installPhase";
+          installPhase = "ln -s $src $out";
+        };
       };
 
     };

testsuites/lbt-plutus/lbt-plutus-rust/.envrc

@@ -0,0 +1,2 @@
+nix_direnv_watch_file build.json
+use flake ../../..#dev-lbt-plutus-rust

testsuites/lbt-plutus/lbt-plutus-rust/.gitignore

@@ -0,0 +1,4 @@
+/target
+/proptest-regressions
+/.extras
+/data