From 3ddd1721f4ad5ea3414b2751497b99672703dbc2 Mon Sep 17 00:00:00 2001
From: Rodrigo Arias Mallo <rodrigo.arias@bsc.es>
Date: Mon, 29 Jun 2020 17:39:12 +0200
Subject: [PATCH] Use gcc9 to compile mcxx

---
 default.nix | 1 +
 1 file changed, 1 insertion(+)

diff --git a/default.nix b/default.nix
index eda3cde..7a998ad 100644
--- a/default.nix
+++ b/default.nix
@@ -44,6 +44,7 @@ let
     };
 
     mcxx = callPackage ./bsc/mcxx/default.nix {
+      stdenv = pkgs.gcc9Stdenv;
       nanos6 = nanos6-git;
     };