enable native for packages

Signed-off-by: Ali Caglayan <[email protected]>
coq-community · Apr 6, 2023 · 5f9b171 · 5f9b171
1 parent 5836357
commit 5f9b171
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.nix/fallback-config.nix b/.nix/fallback-config.nix
@@ -21,10 +21,11 @@ with (import (import ./nixpkgs.nix) {}).lib;
   bundles = (genAttrs [ "8.10" "8.11" "8.12" "8.13" "8.14" "8.15" "8.16" "8.17" ]
     (v: {
       coqPackages.coq.override.version = v;
+      coqPackages.coq.override.native-compiler = true;
     })) // {
     master = {
       coqPackages.coq.override.version = "master";
-      coqPackages.coq.override.native = true;
+      coqPackages.coq.override.native-compiler = true;
       coqPackages.heq.job = false;
     };
   };