X-Git-Url: https://git.immae.eu/?p=perso%2FImmae%2FConfig%2FNix.git;a=blobdiff_plain;f=modules%2Fprivate%2Fwebsites%2Fisabelle%2Faten_integration.nix;h=6f8f985af6ae77d71d6b1d12ca0be7a9c4d3b412;hp=61c35cc42fa6fec14bfbd6ae05fc5d4e9187dade;hb=dcac3ec730176549cd52a9a42db2001dc652c30d;hpb=06029fac6a34ef8111ee2f2f07b2118ddb2e1559

diff --git a/modules/private/websites/isabelle/aten_integration.nix b/modules/private/websites/isabelle/aten_integration.nix
index 61c35cc..6f8f985 100644
--- a/modules/private/websites/isabelle/aten_integration.nix
+++ b/modules/private/websites/isabelle/aten_integration.nix
@@ -2,6 +2,7 @@
 let
   secrets = config.myEnv.websites.isabelle.aten_integration;
   app = pkgs.callPackage ./aten_app {
+    composerEnv = pkgs.composerEnv.override { php = pkgs.php72; };
     environment = secrets.environment;
     varDir = "/var/lib/isabelle_aten_integration";
   };
@@ -37,6 +38,7 @@ in {
       phpEnv = {
         SYMFONY_DEBUG_MODE = "\"yes\"";
       };
+      phpPackage = pkgs.php72;
     };
 
     secrets.keys = [{