Merge pull request #814 from ejgallego/nix_update_flake

[nix] [build] Update flake to more modern ppx packages.
ejgallego · Aug 30, 2024 · f4564b4 · f4564b4
2 parents d3b77ac + c123675
commit f4564b4
Show file tree

Hide file tree

Showing 3 changed files with 25 additions and 32 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -133,10 +133,10 @@ jobs:
           submodules: recursive
 
       - name: ❄️ Setup Nix
-        uses: cachix/install-nix-action@v22
+        uses: cachix/install-nix-action@v27
 
       - name: 🧱 Build coq-lsp
-        run: nix build .?submodules=1
+        run: nix build '.?submodules=1#'
 
   client-compile:
     runs-on: ubuntu-latest

diff --git a/flake.lock b/flake.lock
diff --git a/flake.nix b/flake.nix
@@ -30,18 +30,17 @@
         ...
       }: let
         l = lib // builtins;
-        coqpkg = pkgs.coqPackages_8_18;
+        coqpkg = pkgs.coqPackages_8_20;
         coqPackages = coqpkg.coqPackages;
         ocamlPackages = coqpkg.coq.ocamlPackages;
       in {
         packages.default = config.packages.coq-lsp;
 
-        # NOTE(2023-06-02): Nix does not support top-level self submodules (yet)
         packages.coq-lsp = ocamlPackages.buildDunePackage {
           duneVersion = "3";
 
           pname = "coq-lsp";
-          version = "${self.lastModifiedDate}+8.18-rc1";
+          version = "${self.lastModifiedDate}+8.20-rc1";
 
           src = self.outPath;