change defaults; make install

NilFoundation · Aug 22, 2024 · a6a516c · a6a516c
1 parent 269d6a9
commit a6a516c
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 2 deletions.
diff --git a/flake.nix b/flake.nix
@@ -77,7 +77,7 @@
             enableDebug = true;
             runTests = true;
           });
-          default = zkevm-framework-debug-tests;
+          default = zkevm-framework;
         };
         checks = rec {
           gcc = (pkgs.callPackage ./zkevm-framework.nix {

diff --git a/zkevm-framework.nix b/zkevm-framework.nix
@@ -46,7 +46,6 @@ in stdenv.mkDerivation rec {
 
   doBuild = true;
   doCheck = runTests;
-  dontInstall = true;
 
   checkPhase = ''
     bash ../run_tests.sh