Update flake.nix (#26)

Author: carlostome

.github/workflows/nix-ci.yml

@@ -1,18 +1,17 @@
 name: "Nix CI"
-on: [pull_request, push, workflow_dispatch]
+on:
+  push:
+    branches:
+      - 'master'
+  pull_request:
+    branches:
+      - 'master'
+  workflow_dispatch:
+
 jobs:
   nix-build:
-    name: ${{ matrix.pretty }} with nix (${{ matrix.derivation }})
     runs-on: ubuntu-latest
-    strategy:
-      fail-fast: false
-      matrix:
-        derivation: [agda2lambox]
-        include:
-          - pretty: "Compile agda2lambox"
-            derivation: agda2lambox
     steps:
-    - uses: actions/checkout@v4
-    - uses: cachix/install-nix-action@v22
-    - uses: DeterminateSystems/magic-nix-cache-action@v4
-    - run: nix build .#${{ matrix.derivation }} --print-build-logs
+    - uses: actions/checkout@v5
+    - uses: cachix/install-nix-action@v31
+    - run: nix build ./#agda2lambox --print-build-logs

flake.lock

@@ -1,27 +1,70 @@
 {
   description = "agda2lambox";
 
-  inputs.nixpkgs.url = github:NixOS/nixpkgs;
-  inputs.flake-utils.url = github:numtide/flake-utils;
+  inputs = {
+    nixpkgs.url = "github:NixOS/nixpkgs";
+    flake-utils.url = "github:numtide/flake-utils";
+    agda = {
+      url = "github:agda/agda";
+      flake = false;
+    };
+  };
 
-  outputs = {self, nixpkgs, flake-utils}:
-    flake-utils.lib.eachDefaultSystem (system:
+  outputs =
+    {
+      self,
+      nixpkgs,
+      flake-utils,
+      ...
+    }@inputs:
+    let
+      overlay-agda2lambox =
+        final: prev:
+        let
+          hLib = prev.haskell.lib;
+          lib = prev.lib;
+          src = lib.fileset.toSource {
+            root = ./.;
+            fileset = lib.fileset.unions [
+              ./src
+              ./agda2lambox.cabal
+            ];
+          };
+        in
+        {
+          haskellPackages = prev.haskellPackages.extend (
+            hfinal: hprev: {
+              sexpresso = hLib.doJailbreak (hLib.markUnbroken hprev.sexpresso);
+              Agda = hLib.dontCheck (hLib.dontHaddock (hfinal.callCabal2nix "Agda" inputs.agda { }));
+              agda2lambox = hLib.doJailbreak (hfinal.callCabal2nix "agda2lambox" ./. { });
+            }
+          );
+        };
+    in
+    flake-utils.lib.eachDefaultSystem (
+      system:
       let
-        pkgs = import nixpkgs {inherit system;};
-        agda2lambox = pkgs.haskellPackages.callCabal2nix "agda2lambox" ./. {};
-      in {
+        pkgs = import nixpkgs {
+          inherit system;
+          overlays = [
+            overlay-agda2lambox
+          ];
+        };
+        agda2lambox = pkgs.haskellPackages.agda2lambox;
+      in
+      {
         packages = {
           inherit agda2lambox;
           default = agda2lambox;
         };
         devShells.default = pkgs.haskellPackages.shellFor {
-          packages = p: [agda2lambox];
+          packages = p: [ p.agda2lambox ];
           buildInputs = with pkgs.haskellPackages; [
             cabal-install
             cabal2nix
             haskell-language-server
-            pkgs.agda
           ];
         };
-      });
+      }
+    );
 }