add l1-proof-veriffier derivation

NilFoundation · Feb 2, 2025 · 780475d · 780475d
1 parent fe8c3e6
commit 780475d
Show file tree

Hide file tree

Showing 2 changed files with 26 additions and 0 deletions.
diff --git a/flake.nix b/flake.nix
@@ -42,6 +42,7 @@
           nilexplorer = (pkgs.callPackage ./nix/nilexplorer.nix { });
           uniswap = (pkgs.callPackage ./nix/uniswap.nix { });
           docsaibackend = (pkgs.callPackage ./nix/docsaibackend.nix { });
+          l1-proof-veriffier = (pkgs.callPackage ./nix/l1-proof-veriffier.nix { });
         };
         checks = rec {
           nil = (pkgs.callPackage ./nix/nil.nix {
@@ -92,12 +93,14 @@
                   mkdir -p ./usr/share/${packages.nildocs.pname}
                   mkdir -p ./usr/share/${packages.nilexplorer.name}
                   mkdir -p ./usr/share/${packages.docsaibackend.name}
+                  mkdir -p ./usr/bin/${packages.l1-proof-veriffier.name}
 
                   cp -r ${pkg}/bin ./usr/
                   cp -r ${pkg}/share ./usr/
                   cp -r ${packages.nildocs.outPath}/* ./usr/share/${packages.nildocs.pname}
                   cp -r ${packages.nilexplorer.outPath}/* ./usr/share/${packages.nilexplorer.name}
                   cp -r ${packages.docsaibackend.outPath}/* ./usr/share/${packages.nilexplorer.name}
+                  cp -r ${packages.l1-proof-veriffier.outPath}/* ./usr/bin/${packages.l1-proof-veriffier.name}/
 
                   chmod -R u+rw,g+r,o+r ./usr
                   chmod -R u+rwx,g+rx,o+rx ./usr/bin

diff --git a/nix/l1-proof-veriffier.nix b/nix/l1-proof-veriffier.nix
@@ -0,0 +1,23 @@
+{ lib
+, stdenv
+}:
+let
+  inherit (lib) optional;
+in stdenv.mkDerivation {
+
+  name = "l1-proof-veriffier";
+  pname = "l1-proof-veriffier";
+
+  src = lib.sourceByRegex ./.. [
+    "^l1-proof-veriffier(/.*)?$"
+  ];
+
+  buildPhase = ''
+    pwd
+    ls -l -a
+    echo "copying l1"
+    cp -r ./l1-proof-veriffier/ $out/
+    echo "finished with l1-proof-veriffier derivation"
+  '';
+
+}