don't use default app

NilFoundation · Sep 17, 2024 · 97ca784 · 97ca784
1 parent 865de58
commit 97ca784
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/flake.nix b/flake.nix
@@ -231,7 +231,7 @@
             type = "app";
             program = "${self.packages.${system}.proof-producer}/bin/proof-producer-single-threaded";
           };
-          default = {
+          multi-threaded = {
             type = "app";
             program = "${self.packages.${system}.proof-producer}/bin/proof-producer-multi-threaded";
           };

diff --git a/proof-producer/tests/make_proof_for_pairs.sh b/proof-producer/tests/make_proof_for_pairs.sh
@@ -17,7 +17,7 @@ make_proof_for_pair() {
     if [ "$use_nix" = true ]; then
         proof_generator_binary="nix run ${script_dir}/..?submodules=1#single-threaded --"
         if [ "$use_multithreaded" = true ]; then
-            proof_generator_binary="nix run ${script_dir}/..?submodules=1# --"
+            proof_generator_binary="nix run ${script_dir}/..?submodules=1#multi-threaded --"
         fi
     else
         proof_generator_binary="${script_dir}/../build/bin/proof-generator/proof-generator-single-threaded"