Use latest version of Agda from horizon-advance

cardano-scaling · Jun 18, 2024 · 12952b8 · 12952b8
1 parent 38ce47e
commit 12952b8
Show file tree

Hide file tree

Showing 2 changed files with 343 additions and 9 deletions.
diff --git a/flake.lock b/flake.lock
diff --git a/flake.nix b/flake.nix
@@ -2,8 +2,14 @@
 
   description = "Hydra Formal Specification in Agda";
 
+  nixConfig = {
+    extra-substituters = "https://horizon.cachix.org";
+    extra-trusted-public-keys = "horizon.cachix.org-1:MeEEDRhRZTgv/FFGCv3479/dmJDfJ82G6kfUDxMSAw0=";
+  };
+
   inputs = {
     flake-parts.url = "github:hercules-ci/flake-parts";
+    horizon-advance.url = "git+https://gitlab.horizon-haskell.net/package-sets/horizon-advance";
     nixpkgs.url = "github:nixos/nixpkgs";
   };
 
@@ -13,14 +19,14 @@
         "aarch64-darwin"
         "x86_64-linux"
       ];
-      perSystem = { pkgs, ... }:
+      perSystem = { pkgs, system, ... }:
         rec {
           packages = {
-            hydra-agda-spec = pkgs.agdaPackages.mkDerivation { 
+            hydra-agda-spec = pkgs.stdenv.mkDerivation {
               pname = "hydra-formal-specification";
               version = "0.0.1";
               src = ./.;
-              buildInputs = [ pkgs.agda ];
+              buildInputs = [ inputs.horizon-advance.packages.${system}.Agda ];
               meta = { };
               buildPhase = ''
                 agda --latex Hydra/Protocol/Main.lagda