Fix unfree evaluation (#7)

* try allowing unfree * add NIXPKGS_ALLOW_UNFREE
mistzzt · Oct 28, 2024 · 3df671b · 3df671b
1 parent d460854
commit 3df671b
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 2 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -21,6 +21,8 @@ jobs:
         nixPath:
           - nixpkgs=channel:nixos-24.05
     runs-on: ubuntu-latest
+    env:
+      NIXPKGS_ALLOW_UNFREE: '1'
     steps:
     - name: Checkout repository
       uses: actions/checkout@v4

diff --git a/flake.nix b/flake.nix
@@ -15,7 +15,7 @@
   in {
     legacyPackages = forAllSystems (system:
       import ./default.nix {
-        pkgs = import nixpkgs {inherit system;};
+        pkgs = import nixpkgs {inherit system; config.allowUnfree = true;};
       });
     packages = forAllSystems (system: nixpkgs.lib.filterAttrs (_: v: nixpkgs.lib.isDerivation v) self.legacyPackages.${system});
   };

diff --git a/pkgs/AutoLifter/default.nix b/pkgs/AutoLifter/default.nix
@@ -60,7 +60,7 @@ stdenv.mkDerivation rec {
   meta = with lib; {
     description = "Artifact for TOPLAS24: Decomposition-Based Synthesis for Applying D&C-Like Algorithmic Paradigms";
     homepage = "https://github.com/jiry17/AutoLifter";
-    license = licenses.unfreeRedistributable;
+    license = licenses.mit;
     platforms = ["x86_64-linux"];
   };
 }