isabelle-fhsenv: add libraries for F# code genHEADmaster

1 files changed, 2 insertions, 0 deletions

diff --git a/isabelle-nix-fhsenv/default.nix b/isabelle-nix-fhsenv/default.nix
index a6fabc7..2ea78a2 100644
--- a/isabelle-nix-fhsenv/default.nix
+++ b/isabelle-nix-fhsenv/default.nix
@@ -41,6 +41,8 @@ let
       xorg.libXScrnSaver xorg.libXcomposite xorg.libXcursor xorg.libXdamage
       xorg.libXext xorg.libXfixes xorg.libXi xorg.libXrandr xorg.libXrender
       xorg.libXtst xorg.libxcb xorg.xcbutilkeysyms zlib
+      # for the dotnet component (icu is optional; without it set DOTNET_SYSTEM_GLOBALIZATION_INVARIANT=1)
+      openssl icu
     ];
     runScript = isabelle;
   };