From dcac3ec730176549cd52a9a42db2001dc652c30d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Isma=C3=ABl=20Bouya?= <ismael.bouya@normalesup.org>
Date: Thu, 7 May 2020 11:58:37 +0200
Subject: Remove overlay that overrides the php version

---
 modules/private/websites/piedsjaloux/production.nix | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'modules/private/websites/piedsjaloux/production.nix')

diff --git a/modules/private/websites/piedsjaloux/production.nix b/modules/private/websites/piedsjaloux/production.nix
index 4b2c056..03b9ec5 100644
--- a/modules/private/websites/piedsjaloux/production.nix
+++ b/modules/private/websites/piedsjaloux/production.nix
@@ -2,6 +2,7 @@
 let
   secrets = config.myEnv.websites.piedsjaloux.production;
   app = pkgs.callPackage ./app {
+    composerEnv = pkgs.composerEnv.override { php = pkgs.php72; };
     environment = secrets.environment;
     varDir = "/var/lib/piedsjaloux_production";
     secretsPath = config.secrets.fullPaths."websites/piedsjaloux/production";
@@ -50,6 +51,7 @@ in {
       phpWatchFiles = [
         app.secretsPath
       ];
+      phpPackage = pkgs.php72;
     };
 
     secrets.keys = [
-- 
cgit v1.2.3